- [[Zk/ref/ダートマス会議|ダートマス会議]]で実演された世界初の人工知能プログラムと呼ばれるもの - 数学の定理を自動的に証明することが実現可能であることを示した - 当時のコンピュータは四則演算などしかできなかったため、画期的だった