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