暇つぶし2chat SCIENCEPLUS

- 暇つぶし2ch240:ニュースソース検討中＠自治議論スレ
19/02/02 23:25:09.29 D3nx5Ps9.net
AIは数学の証明は出来ない。補助的使用が出来るだけ。
AIは無限を扱え無いから。
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。