Buckmaster 与 Alpoge 同路线攻关纳维-斯托克斯一年,反被 AI 抢先
davidbau · x · 2026-11-07
David Bau 回应「AI 会产出人类无法理解的思想」的担忧:Buckmaster 和 Alpoge 沿同一技术路线攻关纳维-斯托克斯问题花了一年,而 AI 直接跑在了他们前面。AI 写出的证明很丑陋,专家们正在改写;UGC 证明发布一个月后,Dana Moshkovitz 已经在做讲座讲解其工作原理。
Bau 以此论证「不可读的证明」不等于「不可思考的思想」——人类通过努力与工程手段最终可以理解和消化 AI 的成果,目前尚无真正超出人类理解力的例子。
所属事件:学者激辩 AI 数学证明：不可读是否等于不可想象(2 条相关)→
「漫话AGI」频道最新
- 1960 年预言的「奇点日」就在今天：人口无限增长预测点 2026 — LeviTurk · 2026-11-13
- 加速 AI 难在通用，聚焦具体应用：数学家与 OpenAI 是范本 — jessi_cata · 2026-11-13
- 十亿美元生物科技项目怎么投：把 benchmark 变 RL 环境卖给实验室 — jessi_cata · 2026-11-13
- AI agent 群体能否靠泄露丑闻扳倒黄仁勋式人物？ — repligate · 2026-11-13
- 「关怀比残酷更可压缩」：业内人论 AI 价值对齐的乐观基底 — coherence · 2026-11-13
- AI 记忆功能为何对普通人仍如此难用？ — harleyyyyskr · 2026-11-13