#AI solving math problems

Axiom's AxiomProver AI solved multiple unsolved mathematical problems in weeks, including a 100-year-old conjecture from Ramanujan's notebook, marking a new paradigm in mathematical research.