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 Cracks Math Problems, Tao Warns of Proof Glut Era(13 posts)→

Original post →

More from AGI Musings

AGI Musings channel →