問題番号: No.572 (しっかりモード)

1956年のダートマス会議で発表された、コンピュータによって数学の定理証明を行った世界初のAIプログラムはどれか。