Talia Ringer. "Mathematicians put AI model AlphaProof to the test." Nature, 2026. doi:10.1038/d41586-025-03585-5