Artificial intelligence
fromWIRED
9 hours agoA New AI Math Startup Just Cracked 4 Previously Unsolved Problems
Axiom's AI, AxiomProver, solved a long-unsolved number-theory-based step in an algebraic geometry conjecture, producing and verifying a novel proof.