A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It.