OpenAI says it solved one of math’s hardest problems, but controversy taints the milestone - NBC News