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
- François Fleuret: Only Two Long-Term Futures — No Super AI, or Staying Fully Human With It — francoisfleuret · 2026-09-11
- IG reel debunking the 'winning the AI race against China' fallacy hits 500k likes — louisvarge · 2026-09-11
- Post-AI World Leaves No Room for Learning on the Job — rachittshah · 2026-09-11
- Researcher questions AI safety eval firm, citing 'blatantly sloppy' security and monitoring — Kyrannio · 2026-09-11
- AI researcher memes agent-swarm tinkering with He Jiankui's embryo-editing quote — dejavucoder · 2026-09-11
- nabla_theta: happy to be wrong if the AI utopia arrives with little ex ante risk — nabla_theta · 2026-09-11