Mathematicians put AI model AlphaProof to the test - Talia Ringer (Nature, 2026)