The Dark Night of Mathematics - by Kirwin Hampshire

What are we really doing?

The Dark Night of Mathematics What are we really doing? Kirwin Hampshire Jul 25, 2026 686 288 140 Share I am going insane. During the last week or so LLMs have produced a number of counterexamples to significant long-standing conjectures. I will not recount these happenings here, there are many places where you can find the details. Mathematicians, math enthusiasts, and curious laypeople are responding to these developments in ways that I believe obscure what is, for me, the true heart of the problem. I do not speak for everyone in the math community in my response. But I suspect I am not alon

saved by

• Benedict Neo
• Gloria Ma
• Anonymous Bat

related reading

• The Dark Night of Mathematicssubstack.com
• The fall of the theorem economydavidbessis.substack.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Look, Mom, I pressed a button!galoisrepresentations.org
• Declaration — Math and AImathandai.org
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Mathematics and the LLM: 2026 – Coordinate Changemath.toronto.edu
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Work hard | What's newterrytao.wordpress.com
• Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org