Topic: mathematical conjectures
-
AI Startup Solves 4 Unsolved Math Problems
Mathematicians Dawei Chen and Quentin Gendron published an unsolved conjecture after hitting a major obstacle in their algebraic geometry work, which involved a peculiar number theory formula. The breakthrough came when Ken Ono used Axiom's AI tool, **AxiomProver**, to generate a complete proof o...
Read More » -
AI Uncovers Hidden Flaws in Fluid Equations
The Navier-Stokes equations are a foundational model for fluid motion, but a key unresolved question—whether they can predict impossible physical infinities—is a major mathematical challenge with a million-dollar prize. Recent research has used machine learning to identify potential "unstable sin...
Read More »