2026年8月1日 (土)

今日の主軸は未解決の難問をめぐる評価の更新です。AIが数学やエージェントの領域でどこまで迫ったのか、要点だけ手短に見ていきます。

エポック・エーアイが未解決数学の問題集、フロンティア・マス・オープン・プロブレムズを十四問から五十問に拡張しました。ここでいう未解決数学は、現代の数学者でも解けていない高度な数学の問題です。ジーピーティー・ご点ロク・ソルがそのうち三問を解決し、評価の難易度が一段と引き上げられました。実務の高度な推論能力を測る基準が厳しくなるため、社内の評価用データセットの難易度を見直す必要があります。まず自社のモデルがどこまで複雑な推論をこなせるか、より難しいベンチマークで試してください。

サイモン・ウィリソン氏らがポッドキャスト番組に出演し、オープン・ウェイトモデルの潮流について議論しました。ここでいうオープン・ウェイトモデルとは、モデルの重みデータが一般に公開され、自社サーバーなどで自由に動かせるAIのことです。商用フロンティアモデルと互角に渡り合うキミ・けいさんなどの躍進や、安全性に関する公開書簡が取り上げられました。商用APIに依存しない選択肢が増えるため、コストやデータ秘匿の要件に合わせて採用の幅を広げられます。自社でモデルを運用するチームは、最新のオープンモデルの性能とライセンスを確認してください。

フィリップ・アラストゥーンらの研究グループが、物理学のマクスウェル予想に反例があることを論文で証明しました。マクスウェル予想とは、点電荷が作る静電ポテンシャルの数理的な上限を示した百五十年来の仮説です。五つの点電荷配置から、従来の上限値を超える二十四個の非退化臨界点を実際に構成しました。物理シミュレーションや最適化アルゴリズムの前提となる数理モデルの挙動が変わる可能性があります。複雑な物理計算や最適化を扱うシステムを開発している場合は、前提としている数学的仮説に狂いがないか確認してください。

実務に直結する変更が多い一日でした。気になるツールの仕様変更や公開されたモデルを確認し、検証環境で試してください。