OpenAI says 10,000 AI agents solved a $1 million math problem. Now mathematicians are fighting

An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize Problems, though questions are emerging…