菲尔兹奖得主 Borcherds:数学家反感 AI 证明是因为「发现自己笨」
panickssery · x · 2026-10-21
菲尔兹奖得主、伯克利数学家 Richard Borcherds 谈 AI 生成数学证明引发的争议:有人抱怨 AI 把某个重大猜想的 10 万行形式化证明「挤掉了」人类。他表示看不出这有什么害处——「你随时可以选择无视它,那你的处境不会比以前更糟」。他直言:「我想人们不爽的真正原因是,他们慢慢意识到自己笨,却把锅甩给 AI,尽管这真不是 AI 的错。」
所属事件:菲尔兹奖得主 Borcherds：数学家抱怨 AI 实为难以接受自己不够聪明(8 条相关)→
「漫话AGI」频道最新
- AI agent 正在消灭工作与生活的边界：通勤、假期都在管 agent — bendee983 · 2026-10-21
- a16z：超人类 AI 硬件设计不难，难的是从图纸到量产的五道坎 — a16z · 2026-10-21
- a16z Casado:VC 靠关系难被 AI 取代,但研究阅读记忆已可外包 — alvelda · 2026-10-21
- Kent Beck:让 AI 带走苦役,把「挣扎」留给自己 — josh_wills · 2026-10-21
- 近 30 亿美元算清 AI 灭绝风险生态的钱：Coefficient Giving 出资超 20 亿 — KeyNaive2982 · 2026-10-21
- 神经科学家 Nature 撰文：AI 没有意识，也许永远不会有 — anilkseth · 2026-10-21