Nature

Mathematicians put AI model AlphaProof to the test

• Talia Ringer

2025-11-12

Full text

DOI https://doi.org/10.1038/d41586-025-03585-5