Mathematicians put AI model AlphaProof to the test | Dark Hacker News