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: Mathematicians Predict AI Will Soon Handle Research-Level Math(2 posts)→
More from AGI Musings
- Conference slide warns AI optimization could pull mathematics’ goals apart — AlexKontorovich · 2026-07-25
- Goodhart’s law makes generative-AI metrics especially easy to game, slide says — AlexKontorovich · 2026-07-25
- Bronze Age Collapse Analogy Frames a Future Where Civilization Becomes External Compute — dylan522p · 2026-07-25
- Tao’s ICM 2026 hypothesis: AI may soon handle a meaningful share of research math — AlexKontorovich · 2026-07-25
- Researcher forms group to study frontier AI’s economic impacts — RishiBommasani · 2026-07-25
- ICM slide says most AI capability claims lack controlled scientific evidence — AlexKontorovich · 2026-07-25