2026年10月28日 · 水曜日人工知能 · 毎日の要点毎日 8:00 発行（UTC+8）
AI 日報 · 2026年10月28日 · 水曜日
第25号282026年10月水曜日
10月今月 24 号
月火水木金土日
3件の出来事3件の情報源2件の一次発表2件の新モデル約 1 分で読めます
OpenAI、AIが生成した数学・物理学の証明を外部専門家が検証へ
AI による要約
OpenAIは外部の専門家をshepherdとして招き、同社のAIが数学・計算機科学・物理学の分野で生成した証明を検証し、各分野の専門家の助言に沿って個別に対応する。数学と計算機科学の証明はLeanに翻訳済みで、計算機科学の結果は指数時間仮説（ETH）を覆すと主張している。
モデルの発表・更新
Google DeepMind一次情報
Google DeepMind、世界モデルGenie 4を発表
Google DeepMindは世界モデルGenie 4を発表した。ネイティブにマルチモーダルに対応し、世界を生成しながら音楽、環境音、対話音声を同時に出力できるほか、自然言語で天気やカメラ、シーン内の人物をリアルタイムに変更できる。
Hugging Face Blog一次情報
Liquid AI、LFM3シリーズを発表：2B級の統合バックボーンでテキスト・視覚・音声・全モダリティ・意思決定モデルをカバー
Liquid AIは次世代のLiquid Foundation Models「LFM3」を発表した。LFM3-1.7B-Baseを統合バックボーンとして、テキスト、視覚、音声、全モダリティ、意思決定の計6モデルを2B級で派生させ、すべての重みをオープンソース化してHugging Faceで公開している。
論文・研究
The Decoder
OpenAI、数学・計算機科学・物理学でAIが生み出した証明を外部専門家が検証へ
OpenAIは、数学・計算機科学・物理学の3分野で自社AIが生み出した証明を検証するため、外部専門家をshepherd（監督役）として招いた。各分野の専門家の助言に応じて個別に対応する。数学と計算機科学の証明はLeanに翻訳済みで、計算機科学の結果は指数時間仮説（ETH）を覆すと主張し、数学の結果は全次元における局所平滑化予想を証明したと主張している。