@article{ringer-2025-mathematicians, title={Mathematicians put AI model AlphaProof to the test}, volume={651}, ISSN={1476-4687}, url={http://dx.doi.org/10.1038/d41586-025-03585-5}, DOI={10.1038/d41586-025-03585-5}, number={8106}, journal={Nature}, publisher={Springer Science and Business Media LLC}, author={Ringer, Talia}, year={2025}, month=Nov, pages={595–597} }