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