1976 年四色定理首遭计算机证明,数学家集体炸锅
tdhopper · x · 2026-10-13
回顾机器第一次「击败」数学家的历史时刻:1976 年 Appel 与 Haken 借助计算机宣布证明四色定理,耗费 1200 小时算力、约 100 亿次计算机判定。当时数学界反应激烈:
- 宾大 Herbert Wilf:「上帝不会允许用这么可怕的方法证明定理!」
- Paul Halmos:「这个证明依赖神谕(Oracle),打倒神谕!那不是数学」
- Frank Bonsall:用计算机验证特例的解「根本不属于数学科学」
- 剑桥的 George Spencer-Brown 更称之为数学史上最荒唐的「皇帝新衣」
有数学系主任甚至拒绝让两人见自己的研究生。Appel 和 Haken 后来坦言系统「开始教会我们意料之外的东西」,在某些智力任务上「超越了创造者」。这条历史与当下对 AI 辅助数学证明(如 AlphaProof、Terence Tao 的实验)的争论形成惊人呼应。
「Fun」频道最新
- 习惯 AI 到什么程度？手机出问题脱口喊 AI 却忘了先召唤 — VoidStateKate · 2026-10-13
- 「还记得去年我们逐行手写代码吗?像疯子一样」 — jbarbier · 2026-10-13
- 「AI 自我复制？没有老公？在这种经济环境下？」 — Kyrannio · 2026-10-13
- AI 圈玩笑：机器可以自我繁殖，但得先体验约会的恐怖 — Kyrannio · 2026-10-13
- 工程师分享入 Apple 姻缘：帮忙搬家的回报循环 — jdluk87 · 2026-10-13
- 面试官最爱的「你是乐观主义者吗」，仅次于「你关注我了吗」 — tlakomy · 2026-10-13