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


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch