OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First — NewsToolBar