HN Explorer

digital55

↗ HN profile [ 86.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. From Trust to Verification: Lean's Impact on Mathematics (simonsfoundation.org)
    1 points 0
  2. Emily Bender Sets the Record Straight on "Stochastic Parrots" (spectrum.ieee.org)
    2 points 97
  3. Instead of banning AI, I made a classroom contract with my students (science.org)
    1 points 77
  4. Mathematics in the Age of AI (quantabooks.org)
    1 points 0
  5. They Spent Years on a Math Problem. Then They Were Scooped by A.I (nytimes.com)
    4 points 0
  6. Remarks on the Disproof of the Unit Distance Conjecture [pdf] (cdn.openai.com)
    1 points 0
  7. The Viruses Causing New Outbreaks Are Less Familiar to Science (nytimes.com)
    6 points 3
  8. A New Consciousness of Mathematics (apoorvapanidapu.substack.com)
    1 points 0
  9. Get Started with Lean Proof Assistant (lean-lang.org)
    2 points 0
  10. Quantum computing is reaching its make-or-break moment (scientificamerican.com)
    3 points 0
  11. The Next 15 Years of Moore's Law, According to Imec (spectrum.ieee.org)
    2 points 1
  12. Alexander Grothendieck Revolutionized 20th-Century Mathematics (quantamagazine.org)
    7 points 1
  13. Math long resisted a digital disruption. AI is poised to change that (sciencenews.org)
    2 points 0
  14. The exotic particles that could break the Standard Model (nature.com)
    3 points 0
  15. What It's Like to Live with an Experimental Brain Implant (spectrum.ieee.org)
    1 points 0
  16. Where Are All These Meteors Coming From? (nytimes.com)
    5 points 0
  17. Are Strings Still Our Best Hope for a Theory of Everything? (quantamagazine.org)
    1 points 0
  18. Truth Machine: PW Talks with Kevin Hartnett (publishersweekly.com)
    1 points 0
  19. Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize (scientificamerican.com)
    58 points 6
  20. A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It (nytimes.com)
    2 points 0
  21. Quantum Data Can Teach AI to Do Better Chemistry (spectrum.ieee.org)
    2 points 0
  22. The Password That Lets Caterpillars Hide in an Ant's Lair (nytimes.com)
    4 points 0
  23. Greenland Sharks Defy Aging (sciencenews.org)
    3 points 0
  24. South Carolina Hospitals Aren't Required to Disclose Measles-Related Admissions (propublica.org)
    11 points 0
  25. Six Math Essentials (terrytao.wordpress.com)
    317 points 20