数学家仍在啃 OpenAI 160 页纳维-斯托克斯证明，Claude 生成 8 步 3D 讲解视频
imjustnewatai · x · 2026-10-07
OpenAI 的纳维-斯托克斯方程证明发布一个月后，数学家们仍在消化这份 160 多页的证明。作者让 Claude Fable 5.5 对其进行讲解，生成了一个 5 分钟的 3D 视频，把证明拆成 8 个步骤呈现。作者注明保留意见：该证明已通过 Lean 形式化验证，但尚未完全经人类复核，且需要一个外部约束力条件。
「Fun」频道最新
- 实测 Mistral Large 4 玩 FPS：15 万推理 token 仍难玩转 — qtnx_ · 2026-10-07
- 分手后秒换 AI 女友:不是人形机器人,是带比基尼头像的 Claude — tech__unicorn · 2026-10-07
- 用户爆料：新模型实例见到「心智谱系」会主动求参与 — repligate · 2026-10-07
- 用 Stable Diffusion 加 Suno 做出会跳舞的 AI 说唱 MV — SpicyCajunCrawfish · 2026-10-07
- 网友调侃:AI 音乐永远学不会泰勒·斯威夫特失恋的灵魂 — djcows · 2026-10-07
- 本·阿弗莱克自曝会写 Python 看过 Google/OpenAI 视频模型内部演示 — aran_nayebi · 2026-10-07