アカウント名:
パスワード:
AIでこれ証明理解できたら、シンギュラリティー超えたことの証明になるかもしれない。一石二鳥ですな。# んなこたーない
理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。
定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
※ただしPHPを除く -- あるAdmin
AIに解くことができちゃったら (スコア:0)
AIでこれ証明理解できたら、
シンギュラリティー超えたことの証明になるかもしれない。
一石二鳥ですな。
# んなこたーない
Re: (スコア:1)
理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。
Re:AIに解くことができちゃったら (スコア:0)
定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ
問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…