Terence Tao predicts AI will be a trustworthy co-author in math research by 2026
burny_tech · x · 2026-09-04
Celebrated mathematician Terence Tao predicts that by 2026, LLMs combined with search and symbolic math tools will become trustworthy co-authors in mathematical research. Jim Fan argues math will be the first discipline with major AI-enabled breakthroughs: it maps naturally to code, can be rigorously verified via theorem provers like Lean, and needs no physical experiments, with work like LeanDojo already showing progress.
More from AGI Musings
- EU will be AI's biggest victim, argues thread: it suppresses everything AI rewards — robleclerc · 2026-09-04
- Agents will soon build software faster than humans can review it — neurosp1ke · 2026-09-04
- François Chollet pulls AGI timeline to sooner than 2030 after Astra and ARC-AGI-3 — relegi · 2026-09-04
- HBR's 12,637-case study: a quarter of top AI uses now involve outsourcing your thinking — luisdans · 2026-09-04
- Study: AI companions rival human friendship, users mourn forced separations — EricTopol · 2026-09-04
- "Start preparing for the possibility that the world isn't going to end": a pushback on AI doom — BLUECOW009 · 2026-09-04