PhD mathematician quits academia after LLMs deliver years' worth of breakthroughs in months

mishig25 · x · 2026-10-09

A math PhD student announced they are leaving academia—not because of burnout or the job market, but because LLMs helped them achieve multiple breakthroughs on problems they'd worked on for years, progress that would otherwise have taken years of academic life. The retweeter adds: today's best graphic artists are those who use Midjourney best and the best SWEs those who use coding harnesses best, so it's reasonable to predict the best mathematicians will soon be those who use math harnesses and Lean best.

Original post →

More from AGI Musings

AGI Musings channel →