四色問題って、本当に計算機のプログラムでくまなくありとあらゆる可能性を探索したの?
プログラムが全ての可能性を漏れ無く探索したという数学的証明はあるの?