The AI revolution in math has arrived

The AI Revolution in Math Has Arrived | Quanta Magazine

AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.