Davide Castelvecchi. "DeepMind AI crushes tough maths problems on par with top human solvers." Nature, 2025. doi:10.1038/d41586-025-00406-7