Gemini 4 Carbon

AIテクノロジー

Google DeepMind「AlphaProof Code」を発表——Signalプロトコルの安全性検証をわずか4週間で完了

Google DeepMindはソフトウェア検証AI「AlphaProof Code」を発表し、Signalプロトコルの安全性を数学的に証明しました。数年かかる検証を4週間で完了した成果を解説します。
2026.11.11
AIテクノロジー
AI・テクノロジー

Googleが「最強」モデル「Gemini 4 Carbon」を一般提供開始　Antigravityのマルチエージェント機能「/swarm」も同時公開

米Googleは同社モデルで「最強」と位置づける「Gemini 4 Carbon」の一般提供を開始しました。Antigravityでのマルチエージェント機能「/swarm」のプレビュー公開や高いセキュリティ性能、料金体系について整理します。
2026.11.11
AI・テクノロジー