Mathematician predicts AI tools will soon handle some research-level math tasks
AlexKontorovich · x · 2026-07-25
At ICM 2026, Alex Kontorovich presented an “AI capability conjecture” slide stating that, in the near future, some AI tools will likely be able to complete research-level tasks in some fields of mathematics, given some cost and some amount of human supervision.
The slide frames this as a conjecture with multiple placeholders: the timeline is unspecified, the cost is unspecified, the supervision required is unspecified, and the success rate/quality threshold is also unspecified. The point is not a hard claim of current capability, but a structured prediction that mathematical research work will eventually become partially automatable.
Related event: AI's Impact on Math Research Sparks Field-Wide Paradigm Shift(11 posts)→
More from AGI Musings
- Mathematician Daniel Litt Launches Problem Repo to Track Human vs AI Progress: 15 Problems, 1 Solved — littmath · 2026-09-11
- Should AI models be taught morality? Breakout incidents expose missing ethical training — Pfungus_ · 2026-09-11
- SoftBank's Masayoshi Son predicts 100 trillion self-replicating AIs: "humans' era as top life form is ending" — Puzzleheaded-King584 · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- The AlphaFold lesson: AI-solved math may mean fewer mathematicians needed — kiki-le-koala · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11