研究

Anthropic未發表模型協助證明量子計算重大猜想

Physical Superintelligence宣布利用Anthropic一款未發布模型，在三天內證明長期懸而未決的阿倫森－安拜尼斯猜想。該研究揭示了量子計算獲得指數級速度優勢的必要條件，進一步展示了AI在數學研究領域的突破潛力。

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

出處

最新

  1. 研究

    PSI 利用 AI 進行科學探索商業化

    PSI 正嘗試將 AI 驅動的科學探索轉化為商業模式。該機構使用未公開的 Anthropic 模型，解答了一個科學家追逐近二十年的量子計算基礎問題，展示了 AI 在前沿科研中的應用潛力。

    TechCrunch

  2. 研究

    Anthropic Fable 5.2 完成 41% 遠端任務

    Anthropic 指出其 Fable 5.2 模型在 Remote Labor Index 中完成 41.3% 的真實遠端工作，表現優於 Opus 5.5 與 GPT 6 Astra。一年前最佳系統得分僅為 2.5%，但產品設計與動畫領域仍為弱項。

    THE DECODERMarkTechPost2 家報導

  3. 研究

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

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

    Google DeepMindIT之家2 家報導

  4. 研究

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

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

    IT之家

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