DeepMind breaks 50-year math record using AI; new record falls a week later
Briefly