The End of Human Mathematics? AI's Recent Breakthrough -- And What's Next