OpenAI未发布模型88小时求解纳维-斯托克斯问题引发学界争议
OpenAI称其未发布模型在约88小时内求解纳维-斯托克斯存在性与光滑性问题，并经GPT-6 Astra完成17小时Lean形式化验证。Anthropic质疑该成果的真实性与验证流程，Simon Willison指出争议焦点在于模型能力与验证透明度。
近日，OpenAI宣布其一个未公开发布的模型在约88小时内成功求解了纳维-斯托克斯方程的存在性与光滑性问题。这一千禧年大奖难题的突破性进展，经由GPT-6 Astra进行了长达17小时的Lean形式化验证，宣称已确认证明的正确性。
该消息迅速引发AI与数学界的广泛关注。Anthropic方面公开质疑这一成果的可信度，认为OpenAI在未披露模型具体架构与训练细节的情况下，仅凭内部验证流程难以服众。Anthropic强调，形式化验证虽能提供逻辑保障，但验证过程本身的可复现性与独立性仍是关键。
知名开发者Simon Willison在评论中指出，此次争议的核心并非数学证明本身，而是两大AI巨头在技术能力展示上的博弈。Willison认为，OpenAI选择用未发布模型进行如此高难度的计算，意在凸显其模型的前沿能力，而Anthropic的质疑则反映了业界对验证流程透明度的普遍担忧。
纳维-斯托克斯问题自2000年被列为千禧年难题以来，一直是数学物理领域的硬骨头。若OpenAI的成果经得起独立验证，将意味着AI在科学发现中扮演的角色从辅助工具跃升为核心推手。然而，目前OpenAI尚未公开证明的完整细节，也未回应外界对模型可访问性的呼吁。
此次事件也折射出AI竞赛中的新动向：企业不仅比拼模型在常规基准上的表现，更开始将目光投向基础科学难题。但随之而来的，是学界对成果验证标准和开源精神的持续追问。后续进展将取决于OpenAI是否愿意公布更多技术细节，以及独立第三方能否复现这一结果。