The Dark Night of Mathematics - by Kirwin Hampshire

What are we really doing?

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 alone. I am suffering a profound spiritual crisis due to these developments. I have been screaming…

saved by

• Trevor Trinh

related reading

• The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com
• The fall of the theorem economydavidbessis.substack.com
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Declaration — Math and AImathandai.org
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• [2608.02859] The crisis of AI-generated mathematicsarxiv.org
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• Mathematics and the LLM: 2026 – Coordinate Changemath.toronto.edu
• No Country for Mediocre Mathematiciansgarvvee.substack.com
• How we can wintasmin.substack.com