Mathematician: a model just produced a nice partial result in my 10-year research program
littmath · x · 2026-09-05
Mathematician littmath describes how, for the first time, a model non-autonomously produced a very nice partial result within his decade-old research program, connecting it to microlocal sheaf theory and Lagrangian Floer homology — areas he barely knew. He has already found improvements and significant implications in the model's arguments, reflects on mathematicians' role in certifying interesting phenomena, and says he'd be excited (if bittersweet) if a future model solved the whole problem autonomously.
More from AGI Musings
- AI glasses cheating spreads worldwide as expert warns of 'checkmate' for traditional exams — _akpiper · 2026-09-05
- The AI Vibe Shift: 80% Feel More Productive, Only 37% of Firms See Profit Impact — beglen · 2026-09-05
- On the '1000-Year Starship' Problem: Spend Six Months Reaching the Frontier First — JacquesThibs · 2026-09-05
- 10x compute for one company may suffice to train a 200T-param ASI, argues blogger — Dr_Singularity · 2026-09-05
- 'Prompts aren't real': users say frontier models have outgrown the problems they can pose — ctjlewis · 2026-09-05
- New podcast asks: should humanity stay in control, or are we a temporary stage? — romanyam · 2026-09-05