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...
9 Sep 17:45 · TechSpot