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
- India needs an "AI defence force": experts warn of agent swarms and AI worms — ravi_iitm · 2026-10-23
- Anti-AI Slop Books: open tools to detect AI-generated books — TuhinChakr · 2026-10-23
- Founder predicts mass tech layoffs as 2-person AI teams replace big corp teams — kingslyj · 2026-10-23
- Social scientist: CS treats agentic development as a magic black box — RexDouglass · 2026-10-23
- Blogger slams Anthropic for wanting approved institutions to gate access to AI — VraserX · 2026-10-23
- Senior researcher rebuts 'one-person pretraining' fear: your fundamentals matter more, not less — RexDouglass · 2026-10-23