The AI Revolution in Math Has Arrived

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