Gowers on the Leiden Declaration: AI is forcing mathematics to rethink proof and certainty
burny_tech · x · 2026-07-28
- Timothy Gowers reflects on the Leiden Declaration, a statement emerging from a workshop on mathematics and AI in Leiden.
- He says he is glad the declaration exists because it has helped the mathematical community confront questions raised by AI, but he does not sign it because he is uncomfortable with several of its confident assertions and recommendations.
- The post argues that AI is forcing mathematicians to rethink what counts as mathematical research, especially around proof, certainty, understanding, and the role of automated tools in the future of the field.
Related event: Fields Medalist Gowers Explores AI's Impact on Mathematics(5 posts)→
More from AGI Musings
- Math and theoretical physics conjectures may be AI’s next AlphaGo, but paradigm shifts still look out of reach — burny_tech · 2026-07-28
- Businesses want AI to do the work, not chat — and prove it with receipts — boringmarketer · 2026-07-28
- A new essay argues AI will become a system of specialized models, not one giant agent — sull · 2026-07-28
- Robots Don't Need to Beat Humans, Just Fill the Empty Shift — VraserX · 2026-07-28
- A screenshot claims AI has solved no everyday problems after five years — HomerDoakQuarlesIII · 2026-07-28
- Sam Altman closes YC Startup School 2026 on agents, ambition, and AI’s future — ycombinator · 2026-07-28