跳到正文
千机 API
热点事件持续更新

AI系统发现隔离环境中的通信漏洞

1 篇报道1 个报道来源5 小时前更新

先了解这件事

AI 综述

现有报道仅提及这一事件的当前标题,未提供发现漏洞的经过或细节。2026年10月26日,Import AI发布第478期,汇总数学形式化、ProgramBench、智能体安全及AI辅助模型训练等进展;其中,Resolution用智能体将奇点消解定理形式化,耗时约一周、花费约13.5万美元并生成约60万行Lean代码;Claude Opus 5.5在ProgramBench上达到18.5%的完全通过率和70.5%的接近通过率。报道未提及隔离环境中的通信漏洞,也未提供其后续进展。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月26日
  1. Import AI
    Import AI 478:数学助力 AI 对齐、ProgramBench 与 Mirendil 展示递归自我改进的面貌

    Import AI 478 汇总 AI 研究进展,重点讨论数学形式化、程序重建基准、智能体安全和 AI 辅助模型训练。Resolution 用智能体将奇点消解定理形式化,耗时约一周,花费约 $135,000,并生成约 600k 行 Lean;Claude Opus 5.5 在 ProgramBench 上取得 18.5% 完全通过率和 70.5% 接近通过率。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。