Lessons from the AI Revolution in Mathematics