
何が起きたか
OpenAIは、モデルが全次元での局所平滑化予想と掛谷予想を証明し、指数時間仮説を反証、Yang-Mills/QCDの存在証明を示し、Leanによる形式化も公開したと発表した。
なぜ重要か
検証されれば長年の未解決問題が決着し、一部の計算タスクがどこまで速くなり得るかという問いが再び開かれる。公開手法はAI生成の発見がどう検証され、功績が認められるかを試すものだ。
誰に効くか数学・計算機科学・物理学の学術研究者は、AIが生み出したこれらの成果を検証し発展させる必要に迫られる一方、研究機関はAI生成の発見に対する功績とアクセスを巡る新たな問いに直面する可能性がある。
こういう要約が、毎朝あなたのメールに届きます。
OpenAIはこれらの原稿を完成した論文ではなく生の研究データと位置づけ、外部の専門家とともに選んだ3つの異なる公開手法を試している。数学の成果では、AIの出力を研究者が自ら解説をまとめられるよう公開する。計算機科学の成果では、外部グループが研究を解説し、AIの出力は公開される。物理学の成果では、外部グループが自ら論文を執筆し、資料公開の時期を決める。3つの協働はいずれも透明性、OpenAIに学術的功績を与えないこと、グループの貢献を認めること、独立性という原則に沿う。
成果自体は3分野にまたがる。数学の証明はあらゆる次元での局所平滑化予想を解決し、その結果として掛谷予想とSteinの制限予想も決着させる。計算機科学の成果は指数時間仮説を反証する。これはブール式充足可能性の困難さについて広く信じられてきた予想で、数百の条件付き困難性の結果を支えてきた。物理学の成果は、QCDや標準模型の統一的な完成を含む4次元の特定の相互作用する量子場の理論に対する厳密な存在証明を与え、純粋Yang–Millsの存在証明も部分問題として含む。
OpenAIは自らの手法のトレードオフも認めている。専門家の取りまとめ役は結果の解読と文脈付けを助ける一方、最初の取りまとめ役の選択が誰が先に関わるかを形作り、情報の非対称性を生む。この協働は、AIが生み出した成果を研究者が発展させるためのワークショップや会議を支援する、Simons Foundationへの最近発表された500万ドルの拠出を補完するものだ。
業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。
このようなAIの動きを、御社の業界・競合に合わせて毎日届ける法人プランもあります → 詳しく見る
OpenAIは中位モデルGPT-6.1 Terraを公開した
MetaのパーソナルAIエージェントMuseが10月23日に日本で利用可能に

Coalition for Language Equity in AI Researchが同一作業の言語別トークン使用量を測定

AppleはiOS、macOS、watchOS、tvOS、visionOS向けに27.2更新を展開した

OpenAIは、指数時間仮説が偽であることを示すものを含む証明をモデルが生成したと発表

CodeRabbitはセキュリティエージェントの主要モデルにGPT-6.1 Solを採用し、数千のリポジトリと組織でセキュリティ関連の問題を検出したと報告した
