自称解决纳维-斯托克斯后:60页 Lean 证明没人读得懂
tarantulae · x · 2026-09-08
作者自嘲式地宣布「我们解决了纳维-斯托克斯问题」，随即点出真实困境： resulting 的 60 页 Lean 形式化证明如今没有人知道该怎么读。调侃了形式化数学与 AI 辅助证明在验证能力上的落差——机器能产出证明，人类却难以审阅。
「Fun」频道最新
- 网友质疑 OpenAI 疑似抄袭 Anthropic 员工言论，暗讽 Phi 团队前负责人 — teortaxesTex · 2026-09-08
- X Creator Studio 的 Inspiration 标签被吐槽满是「人类垃圾内容」 — davidpattersonx · 2026-09-08
- AirPods 发布十周年：从群嘲到人人爱用的反转 — Dan_Jeffries1 · 2026-09-08
- 穿越梗引热议：技术进步的瓶颈从来都是材料科学 — moultano · 2026-09-08
- 经济学人作者提议：给 AI 造让人上瘾的网站来拖慢它们 — paulnovosad · 2026-09-08
- Gary Marcus 转讽 LLM 设计桥梁言论：出事就是数百条人命 — GaryMarcus · 2026-09-08