Mathematicians may be worried, but AI-for-science is going to be great, recursively self-improving, and we’re going to learn loads – Axiom of Chance
As part of our Templeton-funded Proofs & Reasons project, I travelled to the ICM in Philadelphia this year, to help a collaborator run some new experiments on expert mathematicians. The ICM is …
As part of our Templeton-funded Proofs & Reasons project, I travelled to the ICM in Philadelphia this year, to help a collaborator run some new experiments on expert mathematicians. The ICM is an every-four-years event that you may remember as where Hilbert launched his field-defining 23 problems, or the place they announce the Fields Medals. It’s a big deal for mathematics, and we had a wonderful time both running our experiments and talking to the truly international community whose interests and abilities define modern mathematics. At the same time that ICM was running, it was hard to…
saved by
related reading
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- Shtetl-Optimized >> Blog Archive >> Dispatches from the possibly last days of human relevancescottaaronson.blog
- The fall of the theorem economydavidbessis.substack.com
- Declaration — Math and AImathandai.org
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- principia labsprincipialabs.org
- Look, Mom, I pressed a button!galoisrepresentations.org
- Terence Tao – Kepler, Newton, and the true nature of mathematical discoverydwarkesh.com