>>958
それはエレファントな四色問題の話？あくまで人間様がスケジュールした上で計算機を道具として使用しただけなのでは？
それとも人間様にはおよびもつかないエレガントな証明を計算機が提示したことがあるのでしょうか？