OpenAI 纳维-斯托克斯证明引 $5000 对赌，2027 年见分晓
ctjlewis · x · 2026-10-09
- OpenAI 研究员 Elliot Glazer 与他人就「2027 年 10 月 9 日前数学界是否会广泛接受 OpenAI 关于 Navier-Stokes 方程有限时间爆破证明的草稿」达成 $50 对 $5000 的对赌，并提议找中立仲裁人。
- 质疑方 ryananderson3 表示有小幅疑虑：把 agent 指向一个精简目标然后宣称「解出了 Navier-Stokes」并不够，数学研究的核心（甚至主要部分）在于交流与社区认可。
- 该赌局折射出 AI 辅助重大数学证明在「正确性」与「可接受性」之间的张力。
「Fun」频道最新
- 博主盘点：Anthropic 与 OpenAI 一年内先后大跃进又大翻车 — IndraVahan · 2026-10-09
- AI 重制版哈利·波特走红,或成首个社区全功能众筹电影重写 — Promptmethus · 2026-10-09
- Sam Altman 2008 年演示 Loopt 被废：iPhone 不许后台定位 — aakashgupta · 2026-10-09
- 红外相机+Luma AI 把真人拍成会说话的卡通鸭子 — mrjonfinger · 2026-10-09
- 两个 LLM 驱动机械臂对弈四子棋,fable 5.1 花 17.4 美元 API 费获胜 — eigenron · 2026-10-09
- 纯随机噪声里自发涌现「多细胞外星生命」，作者直呼离谱 — Promptmethus · 2026-10-09