DeepMind AI crushes tough maths problems on par with top human solvers - Davide Castelvecchi (Nature, 2025)