Why the Math Problems AI Solves Are Useless to Scientists
stanislavfort · x · 2026-08-07
Stanislav Fort points out that while AI is making progress in pure mathematics (e.g., solving the Jacobian conjecture), these specific achievements don't help scientists solve their everyday practical problems.
He observes that people typically learn new mathematical tools, like calculus or integrals, to unlock solutions for new classes of real-world problems. However, the complex mathematical problems currently being conquered by AI fail to provide researchers with new problem-solving capabilities. He questions when we might expect AI to generate novel, practically applicable mathematical tools.
Related event: AI Breaks Math Conjectures, Tao Warns of Proof Glut(13 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