OpenAI再公布数百项数学成果 AI正在把数学研究推向前所未有的转折点