观察中研究观察中1 家独立报道含官方 110
OpenAI 公布纳维-斯托克斯千禧年难题解法与 Lean 形式化证明
首次出现 · 2026/9/8 18:00最近活动 · 2026/9/8 18:00
OpenAI 发布了一篇针对纳维-斯托克斯方程平滑性与存在性难题的 AI 生成解答，并附带了在 Lean 中完成的形式化证明代码。长期停留在纯数学家黑板上的千禧年难题，被首次交由形式化验证器逐行核验。计算推理跨入未决理论深水区的同时，最终裁决权仍留给了数学界的同行评审。
最近 24 小时事件热度
最近 24 小时共有 8 个真实快照；峰值 10，出现于 9/12 05:00；最新热度 10。
- 9/12 05:00，事件热度 10
- 9/12 08:00，事件热度 10
- 9/12 11: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