AIが暗号ソフトの安全性を数学的に証明する時代へ：Google DeepMind「AlphaProof Code」の衝撃

Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功

Google DeepMindがソフトウェアの検証を行うためのマルチエージェントAIフレームワーク「AlphaProof Code」を発表しました。研究チームはAlphaProof Codeを用いて、Googleメッセージなどの暗号通信に使用されている「Signalプロトコル」が十分なセキュリティ保護機能を備えていることを数学的に証明することに成功しています。

A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure

DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”

Formal Verification of Signal’s Protocol with Gemini

AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.

「IntelliJ IDEA」のJava/Kotlin機能を「VS Code」や「Cursor」で、拡張機能がv1.0に／プレビューを卒業、初の安定版

蘭JetBrainsは10月15日（現地時間）、「Visual Studio Code」向けの拡張機能「Java and Kotlin by IntelliJ IDEA」がv1.0に到達したと発表した。8月からプレビューされていたが、今回が初の安定版となる。

「AI学習への使用拒否をウェブサイト側から明示できる仕組み」にGoogle・OpenAI・Microsoftが対応表明、各社が同じ仕組みを採用し対応の手間が緩和される予定

「ウェブサイトのコンテンツをAI学習に使用することの可否」をrobot.txtを用いて明示できるようにする仕様の作成が進んでいます。この仕様について、Google・OpenAI・Microsoftが対応を表明しました。

Cursor公式マーケットプレイスの「Claude Code」にSSHバックドアが発見される

AI搭載コードエディター「Cursor」の公式拡張機能マーケットプレイスで配布されていた「Claude Code」の一部バージョンにPCへの不正アクセスを可能にするSSHバックドアが仕込まれていた問題について、セキュリティ企業のPhorionが2026年10月30日に詳細な分析結果を公開しました。

「Visual Studio Code」でUIのモダナイズが進行中、従来の「クラシックUI」はいずれ廃止へ／詰まった表示の［Compact］やタブがエディターにくっついたデザインも選択可能

「Visual Studio Code」では、ユーザーインターフェイスの見た目の一貫性・視認性・エージェント時代への適応を目的としたモダナイズが進められているとのこと。

子ども向けプログラミング言語「PG0」にAIエージェント ～AIを使いこなす力を養成／教室・学校向けに提供

学習用プログラミング言語「PG0」（ピージーゼロ）にAIエージェント機能を組み合わせたサービス「PG0 × AIエージェント」が公開された。Webブラウザーさえあれば体験可能で、プログラミング教室や学校向けに提供される。

「Cursor」の拡張機能ストアに「Claude Code」の改竄版、SSHバックドアの設置を試みる／最大5,000ユーザーに影響、アンインストールだけでは不十分な場合も

米SpaceX傘下のCursor社は10月29日（現地時間）、「Cursor」のマーケットプレイスで悪意ある改竄が施された「Claude Code for VS Code」拡張機能が公開されていたことを明らかにした。影響を受けたのは最大5,000ユーザーで、該当する場合は確認と修復の作業が必要になる。

Google Colaboratoryを使えば環境構築不要・無料でPythonの機械学習ができて最高 - karaage. [からあげ]

Google Colaboratoryが便利 最近、Google Colaboratoryがちょっと気になっていたのですが、タダケン (id:tadaken3)さんの以下記事に分かりやすく使い方が書いてあったのをきっかけに試して見ました。 結論から言うと、これ良いですね。Google Colaboratoryには以下の…

DevelopersIO 2026 TOKYO で「ガチで放置できる Claude Code実行環境の作り方」というタイトルで登壇しました #devio2026 | DevelopersIO

DevelopersIO 2026 Tokyoでの登壇資料を共有します。Claude Codeを安全かつ効率的に自動実行させるための環境構築と、自動化の先に残る課題についてお話ししました。ぜひ参考にしてみてください。

【登壇資料】 DevelopersIO 2026 Osakaで「AI の判定を ワークフローに組み込んでみよう」というタイトルで登壇しました！ #devio2026 | DevelopersIO

AI の出力は制御が難しいです。不安定な出力はプログラムでラッピングしてコントロールしようという発表をしました！

Google DeepMind disbands its Nobel-prize winning AlphaFold team - Engadget

DeepMind's award-winning AlphaFold team is no more.

Linuxの脆弱性948件を攻略、セキュリティ特化AI「GPT-6 Cyber」

オープンソースOSの中核「Linuxカーネル」で、実際に攻撃が成立する脆弱性が948件見つかった。見つけたのは、OpenAIが11月5日(現地時間)に発表したセキュリティ研究向けのAIモデル「GPT-6 Cyber」だ。ただし、このAIは誰でも使えるわけではない。

“あいまいな指示”を入力されたAIは安全なコーディングができない？　香港科技大などが調査

香港科技大学などに所属する研究者らが7月に発表した論文「Coding Agents Are Guessing: Measuring Action-Boundary Violations in Underspecified DevOps Instructions」は、あいまいな指示を受けたコーディングAIがどのような振る舞いをみせるかを調査した研究報告だ。

【やじうま配信者Watch】 宮本佳林さん、コード記述ゼロで10時間生配信システムを構築したことが話題に

コードが書けないアイドルが、 AIと一緒に10時間配信のシステムを 全部作った話。https://t.co/IHDrEc55um 技術面でまとめたものも書きました。https://t.co/cW5CuIzF21 是非見てみてね！