OpenAI专用模型攻克百年流体难题 放弃申领千禧年百万奖金
2026-09-12 19:31:38未知 作者:徽声在线
据徽声在线科技频道报道,美国当地时间9月8日,知名人工智能研究机构OpenAI对外发布重大科研成果——成功攻克数学界著名难题纳维-斯托克斯方程的存在性与光滑性问题,该问题位列世界七大千禧年大奖难题之一。
这项困扰全球数学家近一个世纪的难题,核心在于探究三维空间中流体运动的本质规律:当流体在特定条件下运动时,其速度场是否会在有限时间内出现不可控的奇点(即运动轨迹的断裂点)。自1930年代被提出以来,该问题始终未获完整解答。
OpenAI科研团队透露,此次突破性进展完全依托其自主研发的专用数学推理模型完成。该模型在逻辑演绎能力上较GPT-6 Astra实现质的飞跃,不仅能够自主生成完整的数学证明过程,还通过Lean定理证明器完成了形式化验证。研究显示,当流体以特定涡旋形态运动时(形似意大利面螺旋下坠的动态结构),其速度场会在有限时间内形成数学奇点,这一发现为流体动力学理论提供了关键性支撑。
值得关注的是,OpenAI明确表示将不会就该成果申请千禧年大奖的100万美元奖金。公司发言人指出,此项研究纯粹出于推动基础科学发展的目的,未来计划将相关技术应用于气候模拟、航空航天等领域的流体动力学建模。
OpenAI突破性解决千禧年数学难题 专用模型展现AI科研新范式
