パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

ドワンゴ創業者、宇宙際タイヒミュラー理論の誤りに100万ドルの賞金を提示」記事へのコメント

  • by Anonymous Coward on 2023年07月10日 13時44分 (#4492064)

    AIでこれ証明理解できたら、
    シンギュラリティー超えたことの証明になるかもしれない。
    一石二鳥ですな。
    # んなこたーない

    • by Anonymous Coward on 2023年07月10日 13時49分 (#4492069)

      理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。

      親コメント
      • by Anonymous Coward

        いや、そこまで至るかな?
        理解できる人がほとんどいない問題に対し、今の疑似AIが有効とは思えないな。
        せいぜい、それっぽいが間違いだらけの答らしきものを提示出来る程度じゃないかな。

        # 劣化した人間が答の間違いを指摘できない可能性はある

      • by Anonymous Coward

        定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ
        問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…

    • by Anonymous Coward

      今のところLLMは数学の高度な定理の証明ではまったくの無力

海軍に入るくらいなら海賊になった方がいい -- Steven Paul Jobs

処理中...