These Mathematicians Are Putting A.I. to the Test - The New York Times

https://www.nytimes.com/2026/02/07/science/mathematics-ai-proof-hairer.html