Who solved the $1 million math problem? OpenAI says its AI models did it on their own, but an NYU mathematician is crying ...