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: Gowers warns AI may remake mathematical culture(5 posts)→
More from AGI Musings
- Douglas Hofstadter's classic talk: analogy as the core of cognition — ArtificialOther · 2026-10-16
- MIT's Neil Thompson: AI comes for tasks before jobs, and fixed costs favor big firms — bigdata · 2026-10-16
- Open-weight models thrive because of China's ecosystem — and new regulation may end that — tokenbender · 2026-10-16
- Podcast host says Claude's 'go to the ER now' warning caught his cancer and likely saved his life — davidsenra · 2026-10-16
- Amba Kak: 64% of Americans now say the data center rush isn't a good thing — AINowInstitute · 2026-10-16
- Peter Diamandis: Stop waiting for the next AI model — it's always weeks away, start building today — PeterDiamandis · 2026-10-16