OpenAI says its agents solved a Millennium Prize Problem, announcement overshadowed by controversy
MIT Technology Review reports that OpenAI announced its AI agents have solved one of the Millennium Prize Problems, but the claim has quickly been overshadowed by accusations and controversy. The development — if verified — would be a major milestone for AI in formal mathematics, though details and verification remain disputed.