OpenAI says 10,000 AI agents cracked one of math’s hardest problems in 88 hours · Activ.news