AI最新動向
OpenAI、社内のモデルが数学・計算機科学・物理学で3つの新しい結果を出したと発表 「指数時間仮説（ETH）は偽」、局所平滑化予想の全次元での証明、量子色力学（QCD）の存在証明
10月26日（米国時間）にOpenAIが公表し、グレッグ・ブロックマン社長が10月27日6時50分（JST）に告知した。数学では、1991年にソッグが提唱した局所平滑化予想をすべての次元で証明したとし、これによりカケヤ予想とスタインの制限予想も全次元で解けるとした。AIの出力は10月18日に得て、翌日Leanで形式化した。計算機科学では、3SAT（論理式の充足可能性問題）が総当たりより根本的に速くは解けないとする指数時間仮説が偽であることを証明し、Leanで検証済みとした。この仮説は数百本の論文で計算の難しさの前提に使われてきた。物理学では、ゲージ場とフェルミオンを含む4次元の相互作用する場の量子論（QCDと、標準模型を統一的に補完する理論）の存在を数学的に厳密に証明したとし、その途中でクレイ研究所のミレニアム懸賞問題の一部である純粋ヤン・ミルズ理論の存在証明も含むとした。発見の学術的な功績は求めず、分野ごとに外部の専門家が検証と解説のグループを組む。計算機科学ではETHの提唱者のインパリアッツォ氏・パトゥリ氏とMITのライアン・ウィリアムズ氏が率い、自然言語の証明とLeanの形式化を即日GitHubで公開した。物理学は外部グループが自ら書き上げるまでAIの出力を公開しない
AIの研究所の内部モデルが、専門家が長年正しいと見てきた予想を覆す結果を出し、その検証と功績の帰属を外部の学術界に委ねる形が始まった点
Anthropic、社内の研究用Claudeモデルが10月16日に人の入力なしで指数時間仮説を反証していたと、Claudeを単独著者とする論文とLeanの形式化をGitHubで公開
10月27日12時7分（JST）にGitHubへ公開された。論文「A 2^o(n) Time Algorithm for 3-SAT」の著者は「Claude (Anthropic)」で、READMEは「社内の研究用Claudeモデルが発見した」「Leanの形式化はAIモデルが書いた」とし、結果は漸近的なもので実際に論理式を解く速さについては何も言わないと断っている。論文には、中核のアルゴリズムは10月16日に社内の研究用Claudeモデルが出力1400万トークン、人の入力なしで見つけ、Anthropicの研究者がClaudeと表現を改善したこと、OpenAIの社内モデルも独立に同様の結果を証明したと主張していることが書かれていると、AI動向の論者アンドリュー・カラン氏が10月27日13時20分（JST）に引用した
2つの研究所のモデルが、同じ未解決問題を互いに独立に、ほぼ同じ時期に解いたと主張している点
Google DeepMind、世界をリアルタイムで模擬する「ワールドモデル」の新版「Genie 4」を研究プレビューとして公開 音や会話も同時に生成
10月27日（米国時間）、Google DeepMindが発表した。出来事を起こすと、世界がどう反応し、どう聞こえ、中の人がどう動き、反応し、話すかを模擬する。Gemini Omniが現実の見た目と振る舞いを支え、他のGeminiのモデルが模擬の一貫性を保つ推論を担う。天気を変える、カメラを動かす、人や物を足すといった変更を自然な文章でリアルタイムに指示できる。まず信頼できるテスターに研究プレビューとして出し、次にGoogle AI Ultraの契約者（Project Genie）と、Gemini APIとGoogle AI Studioの早期アクセスの提携先から提供する。順番待ちの受付も始めた。グーグルのスンダー・ピチャイCEOも「これまでで最もリアルでインタラクティブなワールドモデル」と投稿した
文章の指示だけで、人が動き話す現実的な場面を作り、その場で変えられる段階に来た点
10月28日2時3分（JST）、Google Workspaceが公式Xで告知した。通話の後にする定型の作業を自動化するもので、会議後の画面から使う
会議の後の議事メモとToDoの振り分けを、会議ツールの側が代わりに始める点
GoogleドライブとGoogleドキュメント、Markdown（.md）ファイルを変換せずにそのまま扱えるように ドライブでプレビューし、ドキュメントで開いて編集・共同作業
10月27日2時3分（JST）、Google Workspaceが公式Xで告知した。ドライブで.mdファイルを直接プレビューし、ドキュメントで開いて編集し、リアルタイムで共同作業できる
AIが書き出すMarkdownの文書を、変換の手間なく社内の共有と編集に回せるようになった点
Claude Opus 5.5とBlender MCPで、雨に濡れた床や手すりの錆まで描いたサイバーパンク風のマンションの3Dモデルを制作
10月27日10時3分（JST）投稿、完成した3Dモデルの画像つき。使った道具は、Claude Opus 5.5と、3D制作ソフトBlenderをAIから操作するためのBlender MCP。Opus 5.5にBlender MCP経由でBlenderを操作させてモデリングした
指示の文面や手順は投稿に書かれておらず、同じ品質を出すのにどれだけやり直したかは分からない点
数秒の音声から自分の声を複製し、Claude CodeやCursorなどMCP対応のエージェントにその声で話させる無料のOSS「Voicebox」
10月26日21時5分（JST）、X上でデモ動画つきで紹介された。開発者はジェイミー・パイン氏で、リポジトリはMITライセンス、スター5.87万。声の複製、音声合成、任意のアプリへの音声入力を、すべて自分のPC上で動かす。MCPに対応し、エージェントが複製した声で応答できる。紹介では、口を動かさずに日本語やアラビア語などの音声を作れるとしている
声の複製は本人の同意が前提で、他人の声を使えばなりすましに使える点
有識者の受け止め
ライアン・ウィリアムズ（MIT教授、計算量理論）、OpenAIのETH反証に「実現すれば、2^n時間の総当たりより驚くほど速い」
10月27日6時35分（JST）、「OpenAIの内部モデルが、ETHに対する反証とされるものを生成した！ラッセル・インパリアッツォ、モハン・パトゥリ、そして私が、この主張の公開かつ独立した検証を組織する手伝いを頼まれた」と投稿した。6時44分には「n変数の3SATが約exp(n/(log n)^{1/2+o(1)})時間で解けると主張されている」と論文のPDFを示し、10時28分には一般向けに「ETHは、3SATが1.000…01^n時間（ゼロがいくつか並ぶ）では解けないと主張している。彼らはETHが偽だとし、3SATに対して『準指数的』時間のアルゴリズムを与えている。それは2^n時間の総当たりよりも驚くほど速いだろう」と説明した
仮説の提唱者側が検証役に就いたことで、結果の真偽が早く固まるかどうか
グレッグ・ブロックマン（OpenAI社長）、自社のETH反証について「PはおそらくNPには依然として等しくない」
10月27日8時24分（JST）投稿。ETHが偽でも、P≠NP（効率よく解けない問題が存在するという、より大きな予想）が覆るわけではないことを一言で示した
結果の影響の範囲を、開発元自身が先回りして限定している点
イーサン・モリック（ウォートン校教授）、「ClaudeとChatGPTが思考の詳しい要約を見せなくなったことで、人が途中で口を挟むのが難しくなった」
10月27日13時47分（JST）投稿。「ClaudeとChatGPTの詳細な要約思考トレースの終了（おそらく蒸留対策とUXのため）は、ループの中にいる人間であることを難しくしている。プロセスの途中のAIの作業に意見を言うのがはるかに難しくなったため、私たちは増強ではなく自動化の方へ押しやられる」と書いた
AIの途中の考えが見えないと、人が確認しながら使う使い方より、任せきりの使い方に寄っていく点
AI活用事例
エイチ・アイ・エス（HIS）、法人出張の見積もり業務にAIエージェントとロボットを導入し、拠点の業務時間を月100時間削減
HISはUiPathのプラットフォームでAIエージェントとロボットを組み合わせ、顧客から電子メールで届く出張の依頼を読み取って見積もりを作り、システムに登録するところまでを自動化した。2026年4月半ばに運用を始め、7月時点で拠点の業務時間を月100時間短縮した。見積もり1件に平均20分かかっていた。UiPathの事例ページでは、対象メール1000件のうち約400件がAIの文面生成後に修正なしで送れたとし、第1段階の削減目標を月300時間以上としている。法人出張の6工程（見積もり・予約・請求・入金・発券・納品）のうち、見積もりの一部に対象を絞った。関連報道：https://www.itmedia.co.jp/enterprise/articles/2610/26/news033.html
書式がばらばらな依頼メールを読んで見積もりを作る、熟練度で品質がぶれていた作業から先に任せた点
