研究

卡内基美隆教授共创SafeWorld数字孪生机器人安全验证

卡内基美隆大学教授共同创立SafeWorld，利用数字孪生技术模拟AI机器人控制系统。通过逼真人体模型演练互动情境，旨在提升实体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之家

全部新闻 → · 版权属原作者