Spilled.ink 上线 NS 证明众评页，众人对 OpenAI 宣称投票鉴别
NathanpmYoung · x · 2026-09-09
预计围绕 Navier–Stokes 的争论会刷屏，Nathan Young 推出 Spilled.ink 的新页面「The Navier–Stokes Abrasion」：汇集关于 OpenAI 宣称的证明与 Alpöge–Buckmaster 工作的关键发言——包括 Buckmaster 的声明、Bubeck 的回应、OpenAI 的公告与 Terence Tao 的帖子——用户可以对每条陈述投票标注「有用/没用」，还能向汇总内容提问、补充遗漏的引述。
这是一个用社区过滤快速跟上数学证明争论的工具。
「Fun」频道最新
- Neal Stephenson 25 年前弃键盘改用钢笔手写,Baroque Cycle 手稿高达 42 英寸 — ashishkr9311 · 2026-09-09
- Gary Marcus 炮轰 OpenAI:千禧年奖之争玩短期游戏、遮掩数据来源 — GaryMarcus · 2026-09-09
- Polymarket 开盘押注「GPT Astra 6.1+」发布时间，年底成交额近百万美元 — Polymarket · 2026-09-09
- llama.cpp 维护者吐槽:这是个靠流水线赚钱的 Meta 生意 — Acceptable-Cycle4645 · 2026-09-09
- 「我死了后陌生人捡到我手机」Prompt 让 Claude 写出催泪悼文 — AntRevolutionary2310 · 2026-09-09
- 前 OpenAI 超对组织成员近况，网友调侃竟在吃卷饼破纪录 — Miles_Brundage · 2026-09-09