A look at Axiom, which is building AxiomProver, an AI model able to verify proofs that it claims has found solutions to at least four longstanding math problems
Axiom says its AI found solutions to several long-standing math problems, a sign of the technology's steadily advancing reasoning capabilities.
My latest story for @wired.com... An AI math startup solved 4 math mysteries, a sign of the technology's steadily advancing reasoning capabilities.https://www.wired.com/ story/a-new-ai-math-ai-startup-just- cracked-4-previously-unsolved- problems/