15/05/31 03:19:37.60 VGhfg/7q.net
>>148
なぜ君が「機械への質問の仕方」「機械に自動的に考えさせる方法」の話まで飛躍しているのか分からないのだが、
俺が焦点を当てていたのはもっと手近な話だ。
４色問題は人間が予め有限個の要素にまで刈り込んでいたから機械の計算力のゴリ押しで解けた。
(機械がやったのはゴリ押しの部分だけ)
しかしリーマン予想の「自明でないゼロ点」は無限に有るから、
同じ様なゴリ押しで全てのゼロ点を検証するわけにはいかないよね？
という話。
そうすると、
人間がこれまでやってきた様な「無限の計算を回避しつつ無限の要素を持つ数学的事物から解を見出す仕組」を、
機械に実装するにはどうやれば良いか？
という問題が出て来る。
残念ながら、俺はその実装方法を知らない。