A look at Axiom, which is building AxiomProver, an "AI mathematician" it claims has solved at least four previously unsolved math problems (Will Knight/Wired)

A look at Axiom, which is building AxiomProver, an "AI mathematician" it claims has solved at least four previously unsolved math problems (Will Knight/Wired) - Tech Sentiments