OpenAI claims 10,000 of its AI agents solved one of mathematics' hardest problems in 88 hours

Mathematicians outside the company will now review the paper. If the proof holds up, it could show that AI systems can help solve some of mathematics' hardest open problems, rather than simply produce convincing-looking answers.