Mathematicians Debate the Future: What if Math is 'Solved' by AI?

AlexKontorovich · x · 2026-08-12

Mathematician Alex Kontorovich shared the core premise of a recent meeting: assuming math is 'solved' by AI, meaning any problem solvable by human-AI collaboration can also be solved by AI alone. Rather than debating the likelihood of this future, participants took it as an axiom to discuss what comes next for the field. Kontorovich noted he has many thoughts to share once he finds the time.

Related event: Mathematician Litt Envisions Perils for Math in AI Superhuman Era(13 posts)→

Original post →

More from AGI Musings

AGI Musings channel →