四色定理计算机证明成数学界应对 AI 的历史镜鉴

Pessimists Archive 刊文回顾 1976 年 Appel 与 Haken 借助计算机辅助证明四色定理的历史:当年耗费约 1200 小时算力、约 100 亿次计算机判定,成为机器首次「击败」数学家的时刻,当时数学界反应激烈。文章指出,面对如今 AI 冲击数学研究,这段先例常被遗忘,可为当下争论提供参照。

2026-10-13 ~ 2026-10-13 · 2 条相关

• 1976 年四色定理首遭计算机证明,数学家集体炸锅 — tdhopper · 2026-10-13
• 1976 年四色定理曾让数学界炸锅:计算机证明引发的百年先例 — timigod · 2026-10-13