OpenAI Says It Has Solved a Millennium Prize Problem—a Holy Grail of Math