アカウント名:
パスワード:
AIに物理現象から法則性を推測するプロセスを学習させて、数打ちゃ当たる式で大量に仮説を出させて、適合するかを自動検証して、可能性が高そうなものを追試する、みたいなやり方で。
いや、実際にはもうやってるのかもしれないけど。
それを数学でやるのが定理の自動証明ってやつで、コンピュータの生まれるきっかけになった考え方。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
私はプログラマです。1040 formに私の職業としてそう書いています -- Ken Thompson
こう言うの、AIでどうにかできないのかねぇ (スコア:1)
AIに物理現象から法則性を推測するプロセスを学習させて、数打ちゃ当たる式で大量に仮説を出させて、適合するかを自動検証して、可能性が高そうなものを追試する、みたいなやり方で。
いや、実際にはもうやってるのかもしれないけど。
しもべは投稿を求める →スッポン放送局がくいつく →バンブラの新作が発売される
Re:こう言うの、AIでどうにかできないのかねぇ (スコア:1)
それを数学でやるのが定理の自動証明ってやつで、
コンピュータの生まれるきっかけになった考え方。