AI proves P != NP. The proof is 20K pages and not comprehensible by humans, who spend the next 30 years deciphering it, by which time the AI has proved the five remaining millennium problems. The AI elects to keep the Clay Prize money each time and donate it all to homeless chia pets, thus proving general-purpose AI is still a ways off.