A New AI Math Startup Just Cracked 4 Previously Unsolved Problems | WIRED

A new AI math startup, Axiom, has cracked four previously unsolved math problems, showcasing the technology’s advancing reasoning capabilities. Axiom’s AI tool, AxiomProver, found solutions to problems in algebraic geometry, number theory, and syzygies, including a conjecture by mathematicians Dawei Chen and Quentin Gendron. The AI’s ability to develop proofs independently and verify them using a specialized mathematical language called Lean highlights its potential to assist professional mathematicians and potentially solve cybersecurity problems.