HN Explorer

digital55

↗ HN profile [ 261 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lance Fortnow: Navier-Stokes and Lean (blog.computationalcomplexity.org)
    1 points 0
  2. They Spent Years on a Math Problem. Then They Were Scooped by A.I (nytimes.com)
    1 points 0
  3. What Is Math's Mysterious Langlands Program About? (quantamagazine.org)
    1 points 0
  4. Global regularity problem for the incompressible three-dimensional Navier-Stokes (terrytao.wordpress.com)
    2 points 0
  5. How One Programming Language Rewrote Mathematics and Why Software Is Next (ibtimes.com)
    2 points 0
  6. The greatest mathematician explains 6 essential concepts of math (bigthink.com)
    2 points 0
  7. Caught in the crossfire of the peer-review wars (nature.com)
    3 points 0
  8. A fundamental flaw leaves LLMs strikingly vulnerable to attack (technologyreview.com)
    8 points 1
  9. From Trust to Verification: Lean's Impact on Mathematics (simonsfoundation.org)
    2 points 0
  10. What Emily Bender meant by "stochastic parrots" (spectrum.ieee.org)
    177 points 35
  11. Instead of banning AI, I made a classroom contract with my students (science.org)
    95 points 19
  12. Mathematics in the Age of AI (quantabooks.org)
    3 points 0
  13. They Spent Years on a Math Problem. Then They Were Scooped by A.I (nytimes.com)
    4 points 0
  14. Remarks on the Disproof of the Unit Distance Conjecture [pdf] (cdn.openai.com)
    1 points 0
  15. The Viruses Causing New Outbreaks Are Less Familiar to Science (nytimes.com)
    6 points 3
  16. A New Consciousness of Mathematics (apoorvapanidapu.substack.com)
    1 points 0
  17. Get Started with Lean Proof Assistant (lean-lang.org)
    2 points 0
  18. Quantum computing is reaching its make-or-break moment (scientificamerican.com)
    3 points 0
  19. The Next 15 Years of Moore's Law, According to Imec (spectrum.ieee.org)
    2 points 1
  20. Alexander Grothendieck Revolutionized 20th-Century Mathematics (quantamagazine.org)
    7 points 1
  21. Math long resisted a digital disruption. AI is poised to change that (sciencenews.org)
    2 points 0
  22. The exotic particles that could break the Standard Model (nature.com)
    3 points 0
  23. What It's Like to Live with an Experimental Brain Implant (spectrum.ieee.org)
    1 points 0
  24. Where Are All These Meteors Coming From? (nytimes.com)
    5 points 0
  25. Are Strings Still Our Best Hope for a Theory of Everything? (quantamagazine.org)
    1 points 0