搜尋

1976 年四色定理由計算機證明，數學家激烈反彈

1976 年 7 月，Appel 與 Haken 藉助計算機完成了困擾學界百餘年的四色定理證明，耗費 1200 小時算力、做出 100 億次判斷，機器承擔了大部分工作。數學家反應嚴重分裂：有人稱證明依賴「Oracle」根本不算數學，有人直接否認證明存在，還有系主任拒絕讓兩人見自己的研究生；現場反饋顯示 40 歲以上學者不信計算機證明，40 歲以下學者則不信 700 頁手算部分。