Google DeepMind 發表 AlphaProof Code，這是一套能以數學方式證明軟體符合其安全規範的 AI 系統，並用它驗證了運行在 Signal 使用者裝置上的密碼學核心程式碼，耗時四週，而這類工作通常需要數年。在專家定義形式化安全需求後，建構於 Gemini Carbon 上的 AI 代理以 Lean 證明語言撰寫了超過六百萬行，並標記約百分之一的程式碼庫供人工審查，立即抓出兩個刻意植入的錯誤。Signal 技術長 Ehren Kret 表示，隨著 AI 威脅日益增長，這種方法強化了對資料隱私的信任，而 DeepMind 計畫透過 CodeMender 等系統，將此方法擴展至電網與醫療裝置。
推薦理由：DeepMind 的 AlphaProof Code 在四週內驗證了 Signal 真實的密碼學程式碼，展示 AI 代理如何將形式化驗證從設計文件推進到生產軟體。
Google DeepMind 研究人員使用 AlphaProof Code——一個多 LLM 代理框架——對 Signal 協議實際底層程式碼的關鍵安全屬性進行正式驗證。由 Gemini Carbon 驅動的代理生成了超過六百萬行 Lean 程式碼，人類專家僅審查了約百分之一的程式碼庫；驗證耗時四週，而這項任務歷來需要專家團隊數年時間。當兩個先前已修復的錯誤被重新引入 Signal 程式碼的隔離版本時，該系統產生了機器檢查的證明，證明有錯誤的版本不安全，DeepMind 正在將其正式驗證產物開源。
推薦理由：Google DeepMind 的多代理框架在四週內正式驗證了 Signal 部署的加密程式碼，而這項任務歷來需要專家團隊數年時間。
Google Research 在《Nature》發表一項關於 AI-PPG-ACC-HTN 的研究，這是一套多模態系統，可從智慧手錶的 PPG 與加速度計資料偵測高血壓跡象，且無需壓脈帶校正。該系統在美國五個地點的 196 名參與者中，以 24 小時動態血壓監測進行驗證，初步篩檢達到 65.8% 靈敏度與 90.0% 特異度，確認性檢測則達到 78.4% 靈敏度與 90.9% 特異度。作者將這項工作描述為早期可行性研究，並非臨床手臂壓脈帶的替代品，也不是獨立診斷工具。
推薦理由：Google 的無壓脈帶智慧手錶高血壓模型以 24 小時動態監測為基準進行評估，顯示被動式多日感測器資料彙整如何支援機會性篩檢。
Google Research 描述了三個旨在將 AI 代理紮根於真實濕實驗室實驗的專案，包括 VERID 框架——一個建構於開源 PyLabRobot 框架上的實驗室工作單元語義數位孿生，可追蹤平台佈局、孔槽體積與吸頭庫存，並在執行前對協議進行乾跑。
推薦理由：Google Research 概述了三個將 AI 代理連接至真實濕實驗室硬體的專案，展示模擬乾跑與閉環實驗如何讓代理修正自身的設計規則。