22/09/18 13:34:15.15 ny+ot6kY.net
>>606
どんだけ低いレベルで話してるんだよ
そもそも普通の直感的に分かる定理なんてのは数学の本のド入り口のものだけだろ
というか直感的にこうだろってものほど厳密に証明しようと思うとムズいのが数学
コンピュータで整合性がチェック出来ても論理構造が分からない定理とかゴマンとあるんだぞ？
数学を高い次元でイメージできるって言うのは従来にない新しい問題を解決する場合に
自分で定理を作って証明に展開出来る奴のことだよ
そもそもAIの開発には従来の定理や公式じゃ解決出来ない問題が山積してるんだからそれが必要になる