UNVERIFIEDSingle SourceOpenAI says 10,000 AI agents cracked one of math's hardest problems in 88 hours - Phys.orgPhys.org|9/9/2026