N°019 AI / World

AI协助查出PHP高危漏洞｜11月5日 AI 与世界早报

AI 辅助研究人员确认 PHP 高危漏洞，修补过程引发讨论。参数化 CAD 新评测检查可编辑模型，NASA 公布无人机模拟自主着陆结果。

雨球 rainballs 6 条 11 个来源
AI协助查出PHP高危漏洞｜11月5日 AI 与世界早报封面：N°019，2026.11.05

HN 上的 AI 讨论 AI

第 1 条
AI HN 1006 points · 607 comments

PHP漏洞重回讨论，修补花了两个月

IEEE Spectrum 报道，安全研究人员在 AI 工具辅助下，把一个可触发内存耗尽的问题发展为可在宿主服务器执行任意代码的漏洞。披露后，PHP 基金会的四名工程师花了两个月准备补丁。当天热帖讨论的是这次复盘，漏洞发现与修补均早于发帖。 HN 有读者提议用形式化证明减少漏洞，也有人指出，证明只覆盖写进规范的性质，组件组合与意外配置仍可能出错。这个案例体现了排查和修复所需工作的差异，修补还得兼顾已有功能。 [1][2]

第 2 条
AI HN 186 points · 63 comments

Ripple预览版开放模型权重

Ricursive Intelligence 发布 Ripple 预览版，称其在 TerminalBench 编程任务上取得约八成的成绩，并将领先范围限定为美国开放权重模型。该结果来自发布方，反映的是特定基准上的表现。 HN 读者质疑把国别、权重开放和单项测试都加进比较后，还能否用来描述模型整体水平。基准成绩也不能直接推断模型在陌生仓库中的表现。 [3][4]

第 3 条
AI HN 160 points · 78 comments

大模型推理可在事后生成证明

Anthropic 公开了 FlashProve，用密码学证明让验证方检查指定的模型计算是否按约定执行，同时限制证明透露的权重信息。实验把已完成的请求汇成批次后再生成证明，因而验证有延迟。证明针对计算过程，回答的事实准确性仍需另行核查。 HN 讨论追溯到此前用同一个混合专家模型做实验的 VerInf。评论者讨论了开源原型如何被引用，发布方的技术文章也列出了该原型作为对照。 [5][6]

世界发生的大事 World

第 1 条
World

经典太空飞行游戏加上双人合作

开发者在 Show HN 展示了 DOS 版《Wing Commander》的双人合作项目，并提供浏览器试玩。项目从十多年前的逆向实验起步，这次公开的是已经可以体验的成果。 开发者最初用模拟器比较飞船静止与运动时的内存快照，定位位置和速度。写入这些坐标可以挪动飞船，但武器等操作涉及原游戏的多段逻辑，于是开发者继续追踪程序调用。文章保留了这段试错过程，也解释了复用原作行为为何比同步坐标费工。 [7][8]

第 2 条
World

参数化CAD评测开始检查建模历史

一篇 11 月 2 日提交的预印本提出 Parametric CAD Bench v3，在固定的 FreeCAD 环境中用一百项任务评估代理，覆盖文字建模、创建后修改及按工程图重建零件。验证器检查生成的几何和尺寸要求，任务也要求提交原生建模产物。 作者公布的九月快照比较了十三套模型和代理组合。最佳组合的总体平均得分约为六成，分数是连续指标，并非通过率。任务和结果产物有助于复核，结论仍受所选零件、评分规则及软件环境限制。 [9]

第 3 条
World

无人机在地球模拟自主着陆

NASA 于 11 月 4 日披露，搭载 SPLICE 导航载荷的无人机已于 8 月 27 日在加州干湖床完成模拟月球下降与着陆的飞行。系统用激光测距等传感器构建高程图，判断预定着陆区域是否安全。 干湖床试飞把测地形、判断落点和引导飞行放在同一次试验中。试验验证的是地球环境下的导航流程，月面光照、尘埃和着陆器实际飞行条件仍需验证。 [10][11]

参考来源

  1. [1] IEEE Spectrum spectrum.ieee.org ↩ AI 01
  2. [2] Hacker News news.ycombinator.com ↩ AI 01
  3. [3] Ricursive Intelligence ricursive.com ↩ AI 02
  4. [4] Hacker News news.ycombinator.com ↩ AI 02
  5. [5] Anthropic anthropic.com ↩ AI 03
  6. [6] Hacker News news.ycombinator.com ↩ AI 03
  7. [7] Wing Commander Together fireflyk64.github.io ↩ World 01
  8. [8] Hacker News news.ycombinator.com ↩ World 01
  9. [9] arXiv arxiv.org ↩ World 02
  10. [10] NASA nasa.gov ↩ World 03
  11. [11] Adafruit blog.adafruit.com ↩ World 03
N°019 · 信息来源 IEEE Spectrum、Hacker News、Ricursive Intelligence、Anthropic、Wing Commander Together、arXiv、NASA、Adafruit