热点事件持续更新
OpenAI称AI智能体攻克NS方程引数学界争议
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月，OpenAI称约1万个AI智能体并行研究纳维—斯托克斯方程，从启动到获得候选证明仅用约88小时，随后用GPT-6Astra进行17小时Lean形式化验证。此事引发数学界争议，有数学家批评其为“解题竞赛”。报道还指出，事件暴露出科研数据用途隔离、信息防火墙与贡献链记录等制度空白。
AI 根据报道生成 · 2 小时前更新
最新进展10月28日 00:01
OpenAI披露1万智能体88小时产出NS方程候选证明，数学家批评“解题竞赛”。报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- 虎嗅当科研开始“工业革命”：OpenAI 用 1 万个智能体 88 小时攻关 NS 方程
OpenAI 让约 1 万个 AI 智能体并行研究纳维—斯托克斯方程，从启动到获得候选证明仅用约 88 小时，随后用 GPT-6Astra 进行 17 小时 Lean 形式化验证。这一事件引发数学家对“解题竞赛”的批评，也暴露出科研数据用途隔离、信息防火墙与贡献链记录等制度空白。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。