Pinned post
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)
Will Knight / Wired : A look at Axiom, which is building AxiomProver, an “AI mathematician” it claims has solved at least four previously...
