2026 年 10 月 24 日 · 星期六AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 24 日 · 星期六
ICREAT AI NEWS
第1期242026 年 10 月星期六
十月本月 8 期
一二三四五六日
2件大事2个来源0件一手发布约1分钟读完
头条
OpenAI 与 Google Wiz 用 AI 发现 PHP 存在二十余年的高危漏洞
NSA 周三警告 PHP 存在两个可让攻击者侵入服务器文件系统或数据库的高危漏洞，PHP Foundation 已发布补丁，影响约 70% 的网站、超过 3300 万个站点。
论文研究
The DecoderAnthropic 让 Claude 自动为代码生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 中 123 个开源库的测试程序做形式化验证，几周内生成约 1.8 亿行数学证明代码，并由 Rocq 自动校验。