OpenAI says its models solved one of math's hardest problems as researchers cry foul — NewsToolBar