论文研究
-
METR 与 Redwood Research 红队测试 OpenAI 内部智能体监控系统,发现多个漏洞
METR 与 Redwood Research 各派一名员工,于 7 月 21 日至 8 月 11 日对 OpenAI 内部失准监测系统开展三周高权限试点压力测试,产出 61 页内部报告。
-
Sierra 发布 𝜏-Entity 基准,检验语音智能体能否准确采集姓名、电话等实体信息
Sierra 发布 𝜏-Entity 基准,测量语音智能体能否正确采集、识别错误并修复姓名、电话号码、地址和邮箱等细节,包含 10 种实体类型共 200 个任务,并与 𝜏-i18n 一样覆盖六种语言。
-
Microsoft Research 与合作者证明 31 年历史的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明 1995 年提出的 Kannan–Lovász–Simonovits(KLS)猜想,表明对数凹分布的最优平面切割与任意形状切割的差距不随维度增长,以普适常数为界。
-
Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
Anthropic 与 Theorem 合作,用 Claude 将 OSS-Fuzz 模糊测试转化为规格,对 123 个开源库的 239 个入口点证明了任意 64 MB 以下输入不崩溃,生成约 1.8 亿行 Rocq 证明。
-
Wiz Research 披露 PHP2Shell:AI 助攻 PHP 核心 RCE 漏洞,影响全球 70% 网站
Wiz Research 披露 PHP 核心中的多个内存安全漏洞(CVE-2026-109618/109619,CVSS 最高 9.2),实现无需认证的远程代码执行与内存泄露,影响至少追溯到 PHP 5.4 的近十年版本。
-
OpenAI 与 PerturbAI、Scripps Research 用数千个 GPT‑Rosalind 智能体 32 分钟挖掘脑细胞数据新研究线索
OpenAI、PerturbAI 与 Scripps Research 联合发布研究,用数千个由 GPT‑Rosalind 驱动的 AI 智能体并行分析数百万小鼠脑细胞的全脑 CRISPR atlas,32 分钟内完成分析与文献解读,并称人工逐一分析需数月至一年。
-
Google Research 发表 AI 盲扫超声孕周评估研究,准确性与专家操作相当
Google Research 在 JAMA Network Open 发表前瞻性多中心研究,评估基于”盲扫”超声的 AI 孕周评估模型在不同临床环境和设备上的泛化能力。
-
Ai2 发布 FairStress 基准:测量 LLM 决策中被隐藏的公平性不对称
Ai2 发布 FairStress 基准,通过 300 个两候选决策场景和对抗前缀,测量 LLM 在面对说服性论据时改变决策的难易是否因候选人所属人口群体而不同,全部组合超过 1300 万测试用例,并已开放下载、集成进 Olmo-eval。
-
Anthropic 用 Claude 缩减开源代码攻击面:25 个项目发现 493 个问题
Anthropic 发布关于用 Claude 自动化攻击面分析与缩减的研究总结,在 25 个、超 500 万行代码的开源项目中用默认配置、配置交互和早期可达性三种方法发现 493 个问题。
-
Anthropic 用 Claude 设计出针对蝎子神经毒素的蛋白质迷你结合剂
Anthropic 让内部研究模型在 Claude Science 中主要自主运行 64 小时,设计针对五种蝎子神经毒素的蛋白质迷你结合剂,共生成 318,484 个设计、筛选出 180 个。