An AI just solved a math problem that no human had ever cracked. Not a textbook exercise. An open question in Ramsey theory that mathematicians had been stuck on for years.