Castelvecchi, D. (2025). DeepMind AI crushes tough maths problems on par with top human solvers. Nature. https://doi.org/10.1038/d41586-025-00406-7