Declaration — Math and AI
Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society.
Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society. Research…
saved by
related reading
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- [2608.02859] The crisis of AI-generated mathematicsarxiv.org
- Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
- [2608.16753] Mathematics in the age of AIarxiv.org
- How we can wintasmin.substack.com
- The fall of the theorem economydavidbessis.substack.com
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
- Solve math, solve everything. — Math, Inc.math.inc
- AI Safety: A Short FAQ for Mathematiciansalkjash.github.io