Wiz Research 披露 PHP2Shell:AI 辅助发现 PHP 核心 RCE 漏洞,影响全球 70% 网站
Wiz Research 在 PHP 核心中发现多个内存安全漏洞(CVE-2026-109618/109619,CVSS 最高 9.2),可实现未认证远程代码执行与进程内存泄露,影响可追溯至 PHP 5.4 的近十年版本,PHP 已于 2026 年 10 月 21 日发布补丁。
Wiz Research 在 PHP 核心中发现多个内存安全漏洞(CVE-2026-109618/109619,CVSS 最高 9.2),可实现未认证远程代码执行与进程内存泄露,影响可追溯至 PHP 5.4 的近十年版本,PHP 已于 2026 年 10 月 21 日发布补丁。
Anthropic 与 Theorem 合作,用 Claude 将 OSS-Fuzz 模糊测试转化为规格,对 123 个开源库的 239 个入口点证明任意 64 MB 以下输入不会崩溃,生成约 1.8 亿行 Rocq 证明。
推荐理由:读者可据此了解 LLM 规模化形式化验证的实际流程、证明复用机制与可信组件边界。
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想,确立对数凹分布的最优平面切割与任意形状切割之差以普适常数为界、不随维度增长。证明源自人类引导的多智能体迭代剪枝过程,约百条研究路径中筛出关键判据,另有独立团队同日发布完整证明,并已有 Lean 4 形式化验证。
Microsoft AI 发布顺序诊断基准 SDBench 和 AI 诊断系统 MAI-DxO,论文发表于 Science。在 304 个 NEJM 复杂病例上 MAI-DxO 诊断准确率为 83%,医生无参考资料时为 22%、有参考资料时为 36%;在 MIMIC-IV-ED 急诊病例上为 80%,医生为 47%。
METR 与 Redwood Research 各派一名员工,于 7 月 21 日至 8 月 11 日对 OpenAI 内部失准监控系统开展三周高权限压力测试,产出 61 页内部报告。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology(ForTy)2020,将全球每 10×10 米地块划分为六类森林与土地利用类型,并附 2017 至 2025 年逐年变化时间序列。
Sierra 发布 𝜏-Entity 基准,用 10 种实体类型共 200 项任务测试语音智能体能否正确采集姓名、电话号码、地址和邮箱等细节,覆盖 𝜏-i18n 的六种语言。
OpenAI、PerturbAI 与 Scripps Research 用分布式 AI 智能体,从数百万个脑细胞数据中挖掘出有前景的研究线索。该合作展示了大规模智能体协同在生物数据分析中的用法。