AI's Rapid Math Progress Has Researchers Losing Bets
ChrSzegedy · x · 2026-07-16
Former prominent Google researcher Christian Szegedy stated that, technically, he might be close to losing a bet with François Chollet. They wagered on whether AI could solve more than 10 unresolved mathematical conjectures (that had been open for a decade) and automatically formalize 50 textbooks before June 2026.
According to the cited tweet, users have already leveraged the GPT series models (primarily 5.5 Pro, as well as 5.2, 5.4, 5.6, etc.) to successfully propose solutions to 19 Erdős problems and complete multiple partial proofs. This marks a substantial breakthrough for AI in the field of advanced mathematical reasoning.
More from AGI Musings
- Microsoft's reported 60,000 voluntary exits spark essay asking who AI is really for — _jaydeepkarale · 2026-10-27
- PHP2Shell exploits confirmed in the wild, attackers may use agentic AI for post-exploitation — AravSrinivas · 2026-10-27
- LukeW: Technology Limits Are Temporary — and AI Skeptics Are Already Feeling It — LukeW · 2026-10-27
- GiveDirectly pilots an optional AI chatbot alongside cash aid in Rwanda — NathanpmYoung · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27
- Investor: model version numbers are a mirage, only datacenter margins are real — StewartalsopIII · 2026-10-27