OpenAI宣称攻克著名“千禧年难题”数学突破

OpenAI近日宣布，其AI系统成功破解了数学界“千禧年大奖难题”中与流体运动相关的纳维-斯托克斯方程，证明了该方程在特定条件下会失效。这是计算机首次解决一个真正重大的开放数学问题，消息一出，立刻在数学界和AI领域引发轰动。 据OpenAI介绍，其模型证明了存在这样的流体：初始状态完全正常，但在纳维-斯托克斯方程描述下，能在有限时间内达到无限速度。由于这种物理现象在现实中不可能发生，这意味着该方程在某些情况下可能无法准确反映物理现实。OpenAI数学家Sebastian Bubeck表示，这是过去12个月AI解决日益复杂问题的一个“壮观顶点”。值得注意的是，OpenAI并非唯一取得突破的团队。此前，哈佛大学的Levent Alpöge和纽约大学的Tristan Buckmaster两位数学家，使用Anthropic的Claude模型和OpenAI的Codex模型，已经解决了无粘性简化版问题，并声称已获得更一般问题的解。加州理工学院的Anima Anandkumar团队也通过“物理信息神经网络”独立解决了零粘性版本。 此次突破的“千禧年大奖难题”由克莱数学研究所于2000年提出，共七个问题，每个问题的解答者将获得100万美元奖金。纳维-斯托克斯方程是描述流体运动的核心物理模型，其“存在性与光滑性”问题一直困扰数学家。OpenAI表示，他们最初测试了AI原型对所有六个未解千禧年问题的能力，在听到竞争对手的进展后，于9月1日集中资源攻克纳维-斯托克斯问题。为了攻克这一难题，OpenAI投入了前所未有的计算资源，先是用1000个AI代理在50小时内解决了简化版问题，随后将代理数量增加到10000个以解决完整问题。克莱数学研究所所长Martin Bridson评价称，这是“令人兴奋的一天”，标志着人类对数学理解取得重大进展。加州大学洛杉矶分校数学家陶哲轩也在社交媒体上称赞该工作是“非凡的成就”。