On the Navier–Stokes Millennium Prize Problem
研究人员分享了人工智能生成的纳维 - 斯托克斯千禧年大奖难题解决方案，包含一份撰写报告及在 Lean 中的形式化证明。该方案由 AI 生成，附带详细撰写说明与基于 Lean 定理证明器的正式数学证明文件。
摘要由 AI 生成
2026 年 9 月，OpenAI 宣布其团队利用未发布的内部超 GPT-6 Astra 模型及 10,000 个并发代理，成功解决了困扰数学界约 90 年的纳维 - 斯托克斯方程存在性与光滑性难题。该问题属于自 2000 年起悬赏 100 万美元的七个千禧年大奖难题之一。OpenAI 于 8 月 28 日启动训练，9 月 5 日在约 88 小时后得出解决方案，随后经 17 小时形式化验证完成，整个项目共发送 490 万条消息并消耗约 3000 亿输出令牌。纽约大学教授特里斯坦·巴克马斯特及其合作者此前已投入近一年时间研究此问题，并在 8 月 15 日取得突破，随后指控 OpenAI 存在作弊行为并发布研究成果版本。OpenAI 回应称，其模型未访问用户数据，且证明结果与阿尔波格和巴克马斯特的成果显著不同。
相关事件RELATED EVENTS
事件速览QUICK FACTS
超 GPT-6 Astra模型名称
10,000并发代理数量
100 万美元悬赏金额
17 小时验证时长
关键实体KEY ENTITIES
AnthropicClaudeCodexGPT-6 AstraLeanLevent AlpögeOpenAITristan Buckmaster
事件框架EVENT FRAME
研究成果
OpenAI GPT-5.6 Sol/GPT-6 Astra 用未发布模型解决纳维 - 斯托克斯问题
当前状态
OpenAI 于 9 月 5 日得出解决方案并经 17 小时形式化验证完成，引发学术争议。
报道态势 · 每日报道量LANGUAGE SPLIT
实体关系
整合时间线UNIFIED TIMELINE
-
2026-09-08
OpenAI 宣布解决纳维 - 斯托克斯难题
OpenAI 团队利用内部超 GPT-6 Astra 模型及 10,000 个并发代理，在约 88 小时后得出解决方案，经 17 小时形式化验证完成。该问题属于自 2000 年起悬赏 100 万美元的千禧年大奖难题之一。
3 条报道
信号强度SIGNALS
关键词热度
全部报道（3）SOURCES
Drama swirls around OpenAI’s legendary mathematical milestone
OpenAI 宣布利用内部超 GPT-6 Astra 的 AI 模型及 10,000 个并发代理，解决了困扰约 90 年的纳维 - 斯托克斯方程难题。该问题属于七个千禧年大奖难题之一，悬赏 100 万美元。OpenAI 于 8 月 28 日开始训练内部模型，此前《纽约时报》和《连线》已报道此消息。
On the Navier–Stokes Millennium Prize Problem
OpenAI 团队利用未发布模型解决了纳维 - 斯托克斯方程存在性与光滑性难题，该问题属于自 2000 年 5 月 24 日起悬赏 100 万美元的七个千禧年大奖难题之一。OpenAI 团队于 9 月 1 日启动评估工作，9 月 5 日约 88 小时后得出解决方案，随后经 17 小时形式化验证完成。整个项目共发送 490 万条消息并消耗约 3000 亿输出令牌，其中解决该特定问题消耗约 270 万条消息和 1300 亿输出令牌。纽约大学数学教授特里斯坦·巴克马斯特及其合作者莱文特·阿尔波格此前已投入近一年时间研究此问题，并在 8 月 15 日取得突破。巴克马斯特指控 OpenAI 存在作弊行为，并发布了其研究成果版本。OpenAI 回应称，其模型未访问用户数据，且证明结果与阿尔波格和巴克马斯特的成果显著不同。…