AI 日報 · 2026年11月12日 · 木曜日
Google DeepMindのAlphaProof Code、Signalの暗号化コア検証を4週間で完了
AI による要約
Google DeepMindはAlphaProof Codeを発表した。ソフトウェアがセキュリティ仕様に適合し誤りがないことを数学的に証明できるもので、Signalの暗号化プロトコルで検証を完了した。所要期間は4週間で、通常こうした作業には数年かかる。同日、Gemini 4 Carbonが全ユーザーに開放され、入力価格は100万トークンあたり2ドル、出力は10ドル、12月1日には4ドル／20ドルへ倍増する予定だ。
モデルの発表・更新
Gemini 4 Carbonが全ユーザーに開放、llm-gemini 0.36も同時対応
Gemini 4 Carbon 两周前仅面向部分网络安全人员开放，现已向所有用户开放，输入定价 $2/百万 token、输出 $10/百万 token，并计划在 12 月 1 日翻倍至 $4/$20。
Google、Gemini Decisions APIとGemini Decision 1モデルを発表
Google DeepMindはGemini Decisions APIを発表した。基盤モデルGemini Decision 1は1回の呼び出しで最大1000件の独立した質問を処理でき、テキスト、画像、音声、動画、PDFに対応する。選択肢を直接スコアリングし、信頼度付きの確率を返す。レイテンシは150〜250ミリ秒。
Google DeepMind、細胞種別にDNA変異の影響を予測するAlphaGenome 2を発表
Google DeepMindは、特定の細胞種や状態に応じて変異が遺伝子発現に与える影響を予測する条件付きDNA配列モデルAlphaGenome 2を発表した。68組織・1億700万以上の単一細胞アトラスで訓練され、TenK10Kデータセットで同定された因果変異の割合は16%から30%に、方向性のある遺伝子効果は23%から43%に向上した。
プロダクトの発表・更新
Google DeepMindのAlphaProof Code、Signalの暗号中核の検証を4週間で完了
Google DeepMindは、ソフトウェアがセキュリティ仕様を満たし誤りがないことを数学的に証明するAIシステム「AlphaProof Code」を発表した。Signalの暗号プロトコルで検証を実証し、通常なら数年かかる作業を4週間で完了した。
AWS、AIエージェントのクローズドループ評価を可能にするUAEFをオープンソース化
AWSはオープンソースフレームワークUAEFを公開した。アダプターでLangGraph、LangChain、Strands Agents、Amazon Bedrock AgentCore、Langfuseの実行トレースをAgentTraceに統一し、7次元36項目の組み込み指標で採点する。
業界の動き
Claroc、Grok製アプリ3.5万件がログイン不要で閲覧可能に、患者データや平文パスワードを含むと報告
セキュリティ企業Clarocの報告によると、調査時点でオンラインだったGrok製アプリ37,571件のうち35,578件（94.7%）がログインなしでアクセス可能だった。原因は公開ダイアログで「Anyone with the link」が初期選択されていたことにある。
Anthropic、AIがNvidiaのCUDA優位を弱めると主張 AMDチップへの移行を数カ月から3日に短縮
Anthropicは投資家向け資料で、自社のフロンティアモデルMythosがほぼ人手を介さずに3日間でClaudeをAMDのMI355X GPU上で動作するよう移植し、カーネルのほぼ100%を自ら書き上げたと述べた。従来のエンジニアリング手法では6～12カ月かかるという。
企業顧客がOpenAIの第3四半期売上高を100億ドルに押し上げるも、Anthropicには依然後れ
OpenAIの第3四半期売上高は前期比約50%増の100億ドルとなった。調整後の営業損失は101億ドルから109億ドルへ小幅に拡大した。Anthropicは同期の売上高が47%増の170億ドルで、株式報酬を含む営業損失はわずか5億6700万ドルにとどまり、来週のIPOを計画している。OpenAIの企業向け事業は第3四半期に倍増して売上の主体となり、ChatGPTの週間アクティブユーザーは12億人、有料サブスクリプション契約者は1億人に達した。