
Pinned
Nov 11, 2026•Sharon Suen
Signal 加密首次驗證到機器碼 DeepMind AI 四週完成以往數年工作
WhatsApp、Messenger 與 Google Messages 都採用 Signal 協定的變體。DeepMind 用 AlphaProof Code 在約四星期內,把參考實作的安全證明做到編譯後的機器碼;這不是證明整款 Signal App 安全,範圍只限單對單通訊。
Google DeepMindSignal

WhatsApp、Messenger 與 Google Messages 都採用 Signal 協定的變體。DeepMind 用 AlphaProof Code 在約四星期內,把參考實作的安全證明做到編譯後的機器碼;這不是證明整款 Signal App 安全,範圍只限單對單通訊。

Anthropic 發表代理記憶框架:記憶分四層,離線「做夢」用對話記錄修正錯筆記、建立 wiki。Pokémon 測試中,一個錯的 PokéCenter 位置令代理走不出山洞;wiki 令 25 條問題答題由 13% 升至 48%。

港大工程團隊研發全球首個兆瓦級超寬禁帶(氧化鎵)多晶片功率模組,實現1,000伏特、1,000安培開關,峰值功率達一兆瓦,成果刊於《自然通訊》。

Logitech 於 2026 年 10 月 8 日發布史上最大規模企業產品陣容,包括搭載高通晶片、邊緣 AI 運算能力提升四倍的 Rally Bar 2,以及採用 Sound Shape 技術的音訊系統,旨在支援 AI 時代的智能協作。
Loading events...