AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

For over a century, a simple yet tricky math problem had continued to baffle experts. Mathematicians struggled to find the fewest number of pieces needed to cut an equilateral triangle and rearrange ...

It’s a breakthrough in the field of random walks.