littmath 谈模型为何先破 Navier-Stokes 而黎曼猜想更难
littmath · x · 2026-09-09
OpenAI 研究员 Kevin Weil（littmath）在回复 Gary Marcus 时解释了对模型攻克 RH 与 Navier-Stokes 的判断：两者都有某种意义上现成的「策略」，但 RH 的策略连基本对象的定义都还缺失，模型在此的能力显得更弱；另外 RH 几乎肯定是真命题，这反而可能让它更难——因为证明真命题需要的构造性论证路径更受限。
「模型」频道最新
- 开发者盛赞 Gemini 写代码,其他人却弃用回归旧模型 — lucasmeijer · 2026-09-09
- 开源 1.6 万亿参数 MoE 模型发布，Agent 基准仅差 Claude Opus 5 0.1 分 — airesearch12 · 2026-09-09
- 用户抱怨网页版至今未见 GPT-6,直言看衰 — adonis_singh · 2026-09-09
- Polymarket 开盘押注「GPT Astra 6.1+」发布时间，年底成交额近百万美元 — Polymarket · 2026-09-09
- GPT-6 Astra 发布，Brockman 宣称「欢迎来到 AGI 时代」 — bengoertzel · 2026-09-09
- 「我死了后陌生人捡到我手机」Prompt 让 Claude 写出催泪悼文 — AntRevolutionary2310 · 2026-09-09