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 Details AI's Impact on Math Community and Hype Warnings(15 posts)→
More from AGI Musings
- LMR-BENCH at EMNLP 2025 tests whether LLM agents can reproduce real LLM research — ZhiyuChen4 · 2026-10-16
- Deep Research becoming useful to experts will signal RSI arrival, researcher predicts — ZeeshanZiaML · 2026-10-16
- Physicist pushes back on ML community's acceptance that models may be beyond understanding — tszzl · 2026-10-16
- Ben Affleck calls AI 'just matrix multiplication'; Grady Booch echoes the skepticism — Grady_Booch · 2026-10-16
- Everyone has a precise AGI definition—until a model gets close to meeting it — VraserX · 2026-10-16
- Viral take: If AI gives us time back, its greatest gift is revealing what we mistook for the cost of living — r0ck3t23 · 2026-10-16