N nature.com Mathematicians put AI model AlphaProof to the test 3 points mauricioc 11 months ago 1 comments