OpenAI says bots solved 90-year-old maths conundrum in just 88 hours

OpenAI says 10,000 AI agents solved part of a 90-year-old mathematical problem in just 88 hours, although the work has yet to be independently verified.