唐人日报 9月 9日讯：OpenAI当地时间9月8日宣布，一款尚未公开发布、能力“显著超过GPT-6 Astra”的内部人工智能模型，提出了纳维－斯托克斯方程“存在性与光滑性问题”的完整解决方案。这是数学界著名的七大“千禧年大奖难题”之一，困扰数学家近90年，如果最终获得数学界认可，将成为人工智能在基础科学研究领域迄今最引人注目的突破之一。
纳维－斯托克斯方程是现代流体力学的核心数学工具，被广泛用于描述空气、水和其他流体运动，并应用于天气预测、飞机设计、海洋研究以及工业流体模拟。长期以来，数学家一直无法证明三维流体在正常初始条件下是否永远保持平滑，还是可能在有限时间内出现“奇点”，即速度或其他数学量突然趋向无穷大。OpenAI公布的证明选择了后一种答案，称其构造出一个三维流体系统，可从平滑状态演化至有限时间奇点。
OpenAI表示，公司9月1日启动专项实验，调用约1万个并行AI代理探索多个千禧年难题。纳维－斯托克斯项目中的AI代理共交换约270万条信息、生成约1300亿个输出Token，并在约88小时后找到关键证明路线。随后，GPT-6 Astra又花费17小时，将证明形式化并使用Lean定理证明系统进行机器验证。OpenAI同时公开了论文和Lean形式化证明，供全球数学家审查。
不过，现在还不能简单宣布这一“世纪难题已经正式被解决”。OpenAI目前公布的是一项声称成立的数学证明，独立数学家仍需要逐步检查其逻辑、假设及是否完全符合Clay数学研究所规定的问题范围。Clay数学研究所的规则要求，一个千禧年问题的解决方案必须在合格出版渠道发表，并至少经过两年全球数学界的严格检验和广泛接受，之后研究所才会考虑授予100万美元奖金。
这项突破同时伴随学术优先权争议。纽约大学数学家Tristan Buckmaster和Anthropic研究人员Levent Alpöge此前正在研究相关方向。OpenAI承认，正是在听到有关外部团队取得重要进展的消息后启动了此次大规模攻关，但否认直接使用二人的私人研究数据。OpenAI表示，目前比较双方工作后认为技术路线存在差异。相关争议仍在数学和AI研究界持续讨论。
OpenAI目前表示不会申请这项100万美元奖金。真正值得关注的是，如果这份证明最终经得住全球数学界审查，它不仅意味着又一个千禧年难题被突破，也可能标志着AI从辅助计算、证明验证进一步跨入“主动发现全新数学证明”的阶段。与此同时，关于AI科研成果的原创性、训练数据来源和学术署名规则，也将成为下一阶段科学界必须面对的新问题。
唐人日报赞助商：
纽约华人律师事务所精办移民申请、婚姻绿卡、移民监狱上庭、刑事民事。
【电话：+1 9297891391；地址：3915 Main Street,418,Flushing NY 11354 .周一到周五 AM10:00-PM18:00 人不能成功从监狱出来，只收基本律师费用】
纽约华人会计师事务所 精办散工（1099）、全职（W2）、公司税务、公司注册。
【电话：+1 9295446105；地址：纽约法拉盛主街3915号，邮编418,11354，周一到周五 上午10:00至下午18:00】