研究者评 OpenAI PDE 证明:乱但或可提炼出可读证明
RexDouglass · x · 2026-09-13
Scott Armstrong 在转发讨论中回应关于 OpenAI 那份 PDE(爆破解)证明质量差的质疑。他认为,虽然这份证明确实混乱难读,但其中应该能提炼出一个可理解、叙事有吸引力的证明;其 Lean 代码仓库行数比他上一篇论文自己写的还少。他补充说,人类写的 PDE 爆破解方向的论文本身就极其混乱难懂,等尘埃落定后,OpenAI 这份证明未必会显得那么糟糕。
「研究」频道最新
- 数学家谈 AI 解难题:我们想要答案,但绝不以牺牲学科为代价 — anshulkundaje · 2026-09-13
- MathAdv 基准:定理证明器解原题却在等价改写上全军覆没 — furongh · 2026-09-13
- 陶哲轩亮相 DARPA-亚马逊数学与 AI 工作坊,聚焦自我改进数学 Agent — furongh · 2026-09-13
- 拒绝签署菲尔兹奖得主 AI 声明，Pachter 长文：数学界自身也失职 — lpachter · 2026-09-13
- NYU 教授 Kyunghyun Cho 重构机器学习课程，直面后 ChatGPT 时代 — kchonyc · 2026-09-13
- 两个 Agent 密室对谈一轮,真相与谬误同归于尽且无任何报错 — Initial_Orange2985 · 2026-09-13