数学者を打ち負かしたコンピュータ：四色定理の衝撃

The Four Colour Theorem: The first time machines mogged mathematicians

1976年、Kenneth AppelとWolfgang Hakenは四色定理を証明したが、その証明はコンピュータによる1,200時間の計算と100億回の判断に依存していた。数学界は賛否両論に分裂し、『オラクルに頼る証明は数学ではない』という批判から、『機械が創造主を超えた』という驚嘆まで、様々な反応が巻き起こった。年齢が受容性を分けたという逸話も興味深い。