Hacker News · 首页· list·· 3 小时前AI 评分6
四色定理：计算机首次"超越"数学家的故事
The Four Colour Theorem: The first time machines mogged mathematicians
AI 导读
1976年7月，Kenneth Appel 和 Wolfgang Haken 借助计算机用 1200 小时算力、做出 100 亿次判定，证明了四色定理——这是数学史上首次由机器承担主要推导工作的证明。
来源：Hacker News · 首页 · newsletter.pessimistsarchive.org