
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%。

MIT CSAIL 用 GPT-6 Astra 直接改 Qwen3.5-0.8B 的權重,只動 0.016% 參數,MATH-500 由 7.9% 升至 48.1%。本文解釋模型權重與梯度下降、這項方法的原理、限制與爭議。

科大團隊研發低成本「彈卡」製冷劑結構,使用壽命超一億次循環,製造成本降低95%。研究刊於《科學》,為綠色製冷規模化應用奠定基礎。
Loading events...