FrontierAugust 1, 2026via The Decoder
AI keeps cracking unsolved math problems, and mathematicians have mixed feelings
Why it matters
OpenAI's refutation of the Unit Distance Conjecture and subsequent AI breakthroughs in unsolved mathematics represent a genuine capability leap—but spark an emerging debate about whether automation erodes the expertise that underpins scientific progress itself.
Key signals
- OpenAI refuted the Unit Distance Conjecture using AI
- GPT 5.6 Pro solved two problems Timothy Gowers had worked on, each on first attempt
- Timothy Gowers (Fields Medal winner) warns of 'possible destruction of mathematical culture'
- Divide among mathematicians: productivity-tool view vs. expertise-erosion concern
- Published August 2026
The hook
Fields Medal winner warns: AI solving math problems faster than mathematicians can learn them.
OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two problems he had spent considerable time working on, each on its first attempt. He warns of the "possible destruction of mathem…