Mathematicians put AI model AlphaProof to the test
Talia Ringer
Nature. 2025 Nov 12. doi: 10.1038/d41586-025-03585-5. Online ahead of print.
Mathematicians use computational tools to prove theorems. An AI model that is trained to use these tools might accelerate mathematical discovery.