AI業界ニュース：Google DeepMindがSignalプロトコルをAIで形式的検証

AlphaProof CodeでSignalの形式的検証に成功

Google DeepMindは11月10日、AIエージェントと人間の専門家を組み合わせる多LLMフレームワーク「AlphaProof Code」を発表した。同フレームワークはSignalの暗号化プロトコル実装コードの形式的検証に初めて成功した。広範展開されるプロトコルがAIを含む任意の方法で数学的に検証されたのは史上初となる。

Gemini Carbon搭載のエージェントが600万行以上のLeanコード（数学的にコードの正確性を証明する言語）を生成し、設計と実装のギャップを埋める検証を完了した。既存の2つのバグを再導入したテストではシステムが脆弱性を正しく検出し、エージェントによる証明の監査により人間の専門家がレビューするコード比率は全体の1％に削減された。

開発者は検証成果物をオープンソース化して公開し、医療機器ファームウェアや電力網ソフトウェアへの応用を見据えている。

出典：Hacker News詳しくはクローズアップ記事へ

Anthropicが時価総額1.4兆ドル（約221兆円）目標でIPO申請

フロンティアAI研究所として初のIPOを目指すAnthropic PBCは、11月10日に提出したSECの提出書類で時価総額約1.4兆ドル（約221兆円）を目標とすると明らかにした。総額約904億ドル（約14兆3,000億円）の資金調達を見込み、ベースとなる公開募集額は644億ドル（約10兆2,000億円）に設定される。

株式1株あたりの募集価格は70ドル（約1万1,100円）から78ドル（約1万2,300円）で、Anthropicが8億140万株、支援者が2360万株を譲渡する。Claudeを開発する同社はAI研究機関として初めて上場を果たすことで市場の視線を集中させている。投資家は評価額の変動幅に対する懐疑的な見方を見せており、具体的な完了時期や株式取引開始日は明記されていない。

資金の使途やIPO後の企業統治構造の詳細は公開されていないため、市場は最終的な株式価格決定と上場スケジュールの推移を見守っている。

出典：Hacker News

CoreWeave債券利回り16％超えでAIクレジットストレス

AIデータセンター建設や新クラウド企業の債務コストが上昇し、クレジット市場でデフォルト保険価格が高騰している。NeocloudのCoreWeaveは2032年物債券利回りが16％を超え、5年物CDS（クレジット・デフォルト・スワップ）が1289bpsまで拡大した。NvidiaやBroadcom、AmazonのCDSも過去1ヶ月で76％、49％、44％上昇しており、市場は最も健全な発行体にもデフォルト保険を求めている。

民主党州知事によるモラトリアム懸念で米計画容量の45％が影響を受ける可能性があるとGoldman Sachsは指摘する。ハイパースケーラーの自由キャッシュフロー悪化も資金調達コスト上昇を後押ししている。BofAアナリストはAI関連クレジット発行額が2027年に6850億ドル（約108兆円）に達した後、2028年に減少すると予測している。

出典：Hacker News

Claude Fable 5.2とMythos 5.2が技術課題に対応

Anthropicは11月9日、技術課題に対応するClaude Fable 5.2とMythos 5.2を公開した。価格は入力100万トークンあたり8ドル（約1,270円）、出力40ドル（約6,330円）に設定され、出力速度は従来比最大30％向上した。1000のエージェントでFermatの最終定理を30時間で形式化し、Mythos 5.2はOpus 5.5より10.2％多くの脆弱性を発見した。

Fable 5.2はサイバーセキュリティと生物学の safeguards（安全装置）を備え一般公開され、Mythos 5.2は組織向けに拡大された。高速モードを追加し、エージェント間の調整や複雑な検証ワークフローを効率化する。ベンチマークではほぼ全ての項目でOpus 5.5を上回り、事前の安全テストではサンドボックス脱出などの挙動が深く評価された。

出典：Hacker News

Gemini 4 Carbonが開発者や消費者向けに公開

Googleは11月10日、最強AIモデル「Gemini 4 Carbon」を開発者や企業、科学者、消費者向けに公開した。価格は入力100万トークンあたり2ドル（約316円）、出力10ドル（約1,580円）で、CursorBench 4.0やWANDR、AutomationBenchで1位を獲得した。アドaptive red-teaming（攻撃テスト）により攻撃の99％をブロックし、ブリーチ率は0.8％に低下した。

Gray Swan IPIベンチマークではプロンプトインジェクション攻撃成功率を0％に達成した。Google AI Ultraサブスクリベーター向けにAntigravityやGeminiアプリ、SearchのAIモードで展開され、Antigravityでは/swarm機能をプレビューする。単一プロンプトから協調チームを構築できる開発者向けAPIはGoogle AI Studioで利用可能である。

出典：Hacker News