AI OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First 1 month ago 24