Mathematicians Fight Back: Leiden Declaration Targets AI Overreach
johnseach · x · 2026-08-01
The international mathematics community has released the Leiden Declaration on AI and Mathematics to address the impact of AI on the core values of mathematical research. Endorsed by the International Mathematical Union and signed by thousands, including Fields Medalists Peter Scholze and Terence Tao, the declaration stems from a 2025 workshop at the Lorentz Center.
The manifesto emphasizes that mathematicians have a choice in adopting AI and a responsibility to protect the discipline's soul. It advocates for proofs that deliver certainty and understanding, clear human authorship, and transparent arguments. Warning against subtle AI-generated errors and dependence on proprietary systems, it calls for full disclosure of AI tool usage, human responsibility for correctness, and public infrastructure over commercial platforms.
More from AGI Musings
- AI in Math Research: Testing Models to Generate and Solve Conjectures — jachiam0 · 2026-08-01
- Are LLMs Inventing a Denser Language to Bypass Human Limits? — GabGarrett · 2026-08-01
- Thoughts on AI Systems Optimizing for Machine-to-Machine Communication — johnseach · 2026-08-01
- Google Search Traffic to Publishers Drops 34% in a Year — VraserX · 2026-08-01
- Harvard Restructures Writing Center and Lays Off Director Amid AI Era Debate — jonippolito · 2026-08-01
- ChatGPT query uses 0.3Wh, but heavy agent users consume as much as a tumble dryer — didyousayboop · 2026-08-01