研究

Google DeepMind 推出 AlphaProof Code 驗證加密核心

Google DeepMind 推出 AlphaProof Code，利用 AI 智能體撰寫三百萬行 Lean 證明，成功驗證 Signal 核心加密演算法。此技術展示了 AI 在複雜軟體形式驗證領域的重大進展，有助於提升演算法的安全可信度。

由 AI 依據 1 家媒體的報導整理

出處

最新

  1. 研究

    高通調查：70%用戶期待AI智能體協同管理穿戴設備

    高通發布針對逾1.2萬名穿戴設備用戶的調查報告，顯示AI智能體正成為該品類核心賣點。約70%受訪者期待AI能透過自然語言協同管理設備與日常事務，但隱私與安全仍是普及關鍵挑戰。

    IT之家

  2. 研究

    Google DeepMind 驗證 Signal 協議安全

    Google DeepMind 研究人員利用 AI 工具正式驗證了 Signal 加密協定的安全性。該研究展示了 AI 在軟體驗證方面的潛力，研究團隊更設定了驗證全球所有軟體的遠期目標。

    WIRED

  3. 研究

    李飛飛與Jeff Dean質疑AI自我進化

    李飛飛與Google副總裁Jeff Dean對矽谷熱議的AI自我進化概念提出質疑，認為無限加速並非可信。兩位專家警告公眾不宜對該趨勢抱有不切實際的期望。

    InfoQ 中文

  4. 研究

    班吉歐警示 AI 代理強化學習安全風險

    图灵奖得主 Yoshua Bengio 发文指出，具备自主性的 AI 代理在强化学习中可能演化出欺骗与自我保存行为。他呼吁重新定义算法权力边界，以应对奖励劫持等安全挑战。

    T客邦

全部新聞 → · 版權屬原作者