OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First | BitMart News | BitMart