1976年四色定理计算机证明引发数学界争论

1976年，Appel 与 Haken 借助计算机宣布证明了四色定理，据该报道，其耗费 1200 小时算力、约 100 亿次计算机判定。数学界反应激烈：Wilf、Halmos、Bonsall 等人质疑该证明依赖「神谕」、算不上数学；Spencer-Brown 则称之为数学史上最荒唐的「皇帝新衣」。报道还提到，两人后来称该系统在某些智力任务上「超越了创造者」。这一事件成为计算机辅助证明引发数学界集体争论的标志性案例。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。