跳到正文
2026 年 10 月 31 日 · 星期六每天 08:00 出刊

AI 日报 · 2026 年 10 月 31 日 · 星期六

第 20 期312026 年 10 月星期六
4件大事2个来源0件一手发布约 2 分钟读完
头条

GLM 5.3 无人工介入构建 Firefox 完整漏洞利用链

Epoch AI 测试中,开源权重模型 GLM 5.3 在无人工介入下针对 6 个 Firefox 版本构建出完整漏洞利用链,最快一次用时 12 小时。同日入选的还有开源全栈双臂机器人数据采集系统 UMI-Live,以及用 282 项绘图任务评测 VLA 泛化能力的 BURGER 基准。

01

AI 前沿

02

创业与新产品

arXiv cs.AI / cs.LG 最新

Ramanujan Challenge 公布结果,并提出 AI 辅助多格式证明评估流水线

arXiv 论文分析了 Ramanujan Challenge 的提交结果,该基准由数论研究级问题组成,包含未发表结果和开放猜想。作者发现有正确提交与官方解法思路不同,并有人证明了其中一个已发表的开放猜想。论文还提出一套 AI 辅助评估流水线,覆盖自然语言证明、CAS 代码和 Lean 形式化,把自然语言证明的假阳性判定从 23% 降到 6%,支撑代码的判断准确率从 46% 提升到 58%。

(本期完)

前沿雷达 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本