Topic: ai in academia

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...