オープンAI、エルデシュの推測を反証する証明を公開

オープンAIの内部汎用推論モデルが、ポール・エルデシュが提起した平面単位距離推測を反証する証明を作成した。このモデルは、5月20日にエルデシュが1946年に提起した推測に関する構成を発表した。平面単位距離問題は、平面上にn個の点を置いたときに、正確に距離1だけ離れた点のペアを最大でいくつ作れるかを問う組合せ幾何学の問題である。公開された証明は、任意の正のδに対して無限に多くのnで単位距離の点のペアをn^1+δ以上作成できることを示した。ウィル・ソウィン・プリンストン大学教授は、後続の精緻化過程でδを0.014に設定できることを証明した。ノガ・アロン、トーマス・ブルームなどの外部数学者がモデルが作成した反例を検討し、共同論文を発表した。ゴワース数学者は今回の結果を「AI数学の画期的な成果」と評価した。オープンAIは2月20日に内部モデルが10の問題に対して証明の試みを提出し、4番、5番、6番、9番、10番の問題の正解の可能性が高いと判断した。しかし、今回の成果はブロックチェーンや暗号通貨とは関係がなく、AIがビットコインやイーサリアムの署名システムを攻撃したという根拠もない。暗号学界は量子コンピュータの脅威に対応するための移行作業を進めており、NISTは2024年8月13日にポスト量子暗号の標準3種を承認する予定である。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。