>>635 計算機作業部分を多く取り入れて証明された数学の有名問題があるぞ。