观察中新闻观察中1 家独立报道10
OpenAI 称借助万个智能体协作证明纳维-斯托克斯方程奇点
首次出现 · 2026/9/9 07:14最近活动 · 2026/9/9 07:14
数学猜想的攻坚正被推向模型算力与规模的直接角逐。据称 OpenAI 调动约一万个智能体并在 88 小时内构造出纳维-斯托克斯方程的有限时间奇点证明，并经 Lean 完成形式化校验。尽管同行对其外力设定与训练数据来源提出质疑，机器推演已步步逼近纯数学的核心腹地。
最近 24 小时事件热度
最近 24 小时共有 8 个真实快照；峰值 10，出现于 9/12 14:00；最新热度 10。
- 9/12 14:00，事件热度 10
- 9/12 17:00，事件热度 10
- 9/12 20:00，事件热度 10
- 9/12 23:00，事件热度 10
- 9/13 02:00，事件热度 10
- 9/13 05:00，事件热度 10
- 9/13 08:00，事件热度 10
- 9/13 11:00，事件热度 10