Mathematician Leaves Academia for AI Verification; 246 Theorem Formalized
新智元 · wechat · 2026-08-18
Mathematician Rishikesh Gajjala left academia after AI solved his long-standing problems in months, shifting to formal verification at Pramaana Labs. This echoes Terence Tao's "proof indigestion" concept, highlighting that AI generates proofs faster than humans can verify. Concurrently, Axiom Math formalized the "246 Theorem," a major result regarding prime gaps, using multi-agent systems and open-sourced the infrastructure, providing machine-verified foundations for future AI math research.
More from AGI Musings
- AI Cannot Replace Human Exploration; Research Papers Pile Up Unfollowed — tak3sh8 · 2026-08-18
- Opinion: transformer will eventually be replaced — can Nvidia disrupt itself and stay ahead? — yangyi · 2026-08-18
- Andrew Wilson Predicts a New Architecture Will Replace Transformer Within Three Years — andrewgwils · 2026-08-18
- AI Solves Grad-Level Theoretical Physics Problems in Days — GregCook2011 · 2026-08-18
- Report: Firefighters, pilots, and tree trimmers least likely to be replaced by AI — Polymarket · 2026-08-18
- "Writing is thinking": Educators alarmed as up to 90% of students use AI — soumitrashukla9 · 2026-08-18