Ringer, T. (2026). Mathematicians put AI model AlphaProof to the test. Nature. https://doi.org/10.1038/d41586-025-03585-5