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
- Economist Bharat Chandar named Research Director for AI Economics at Stanford Digital Economy Lab — RishiBommasani · 2026-10-27
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Deep learning veteran warns: don't let entrenched disbelief derail prep for the next big tech — jachiam0 · 2026-10-27
- Should platforms serve third-party AI agents? The antitrust question — sjgadler · 2026-10-27
- Musk: robot RAM demand will dwarf everything else, and 100% of superintelligence compute goes to deep space — elonmusk · 2026-10-27