AlphaProof, a New A.I. from Google DeepMind, Scores Big at the International Math Olympiad
New York Times
A.I. is getting good at math — and might soon make a worthy collaborator for humans.
https://www.nytimes.com/2024/07/25/science/ai-math-alphaproof-deepmind.html