近日，著名数学家丘成桐在接受《晚点》采访时，谈及AI在数学领域的突破。他表示，如果OpenAI公布的纳维–斯托克斯方程相关证明最终得到验证，将成为AI辅助数学研究的重要里程碑。但他认为，给出证明和