Mathematicians put AI model AlphaProof to the test

2 points | by mauricioc 5 hours ago

1 comments