https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
The AI Revolution in Math Has Arrived
Konstantin Kakaes
April 13, 2026"AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning."