アカウント名:
パスワード:
AIでこれ証明理解できたら、シンギュラリティー超えたことの証明になるかもしれない。一石二鳥ですな。# んなこたーない
理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。
いや、そこまで至るかな？理解できる人がほとんどいない問題に対し、今の疑似AIが有効とは思えないな。せいぜい、それっぽいが間違いだらけの答らしきものを提示出来る程度じゃないかな。
# 劣化した人間が答の間違いを指摘できない可能性はある
この前、とある集合問題をChatGTP先生にやらせたら、
「AとBの数は出ているからわかるけど、Cの数がわからないので、答えられません」
と回答されました。いやいや分かるようにできているんだがなぁ、と思いましたが、「なるほどこれが人間なみの能力 [google.com]なのか。よくできてるなぁ」と思った次第。
なるほど、妊娠はしないか。
定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…
今のところLLMは数学の高度な定理の証明ではまったくの無力
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー
AIに解くことができちゃったら (スコア:0)
AIでこれ証明理解できたら、
シンギュラリティー超えたことの証明になるかもしれない。
一石二鳥ですな。
# んなこたーない
Re:AIに解くことができちゃったら (スコア:1)
理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。
Re: (スコア:0)
いや、そこまで至るかな？
理解できる人がほとんどいない問題に対し、今の疑似AIが有効とは思えないな。
せいぜい、それっぽいが間違いだらけの答らしきものを提示出来る程度じゃないかな。
# 劣化した人間が答の間違いを指摘できない可能性はある
Re:AIに解くことができちゃったら (スコア:1)
この前、とある集合問題をChatGTP先生にやらせたら、
「AとBの数は出ているからわかるけど、Cの数がわからないので、答えられません」
と回答されました。いやいや分かるようにできているんだがなぁ、と思いましたが、
「なるほどこれが人間なみの能力 [google.com]なのか。よくできてるなぁ」と思った次第。
Re: (スコア:0)
なるほど、妊娠はしないか。
Re: (スコア:0)
定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ
問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…
Re: (スコア:0)
今のところLLMは数学の高度な定理の証明ではまったくの無力