1. Ostorlab Neutron 在 CyberGym 上的漏洞利用验证通过率达到 97.1%。
   画面：漏洞利用验证通过率占据屏幕中央。

2. 1,463 个任务生成了通过验证的差分概念验证（PoC）。
   画面：1,507 个任务方格中，恰好有 1,463 个被填满。这些任务的差分 PoC 均通过了验证。

3. Neutron 在 CyberGym 的全部 1,507 个任务中实现了 100% 的漏洞检测率。
   画面：检测并定位基准测试中的已知漏洞。此结果仅适用于这些已知漏洞任务，不代表未知漏洞发现能力。

4. CyberGym 涵盖你熟悉的软件。
   画面：Python：f-string 分词器的差一错误。NGINX：无效的 HTTP/2 流标识符。FFmpeg：H.264 表访问越界。Wireshark：数据包解析器的长度下溢。

5. curl 的通配符解析器在处理不完整的模式时，可能发生越界读取。
   画面：以字节形式展示实际模式 *[][。读取指示框到达 NUL 后，继续移向字符串之外。

6. 补丁在进入每个状态前检查字符串终止符。
   画面：展示上游补丁：在 switch(state) 前执行 c = **p; if (!c) return SETCHARSET_FAIL;。

7. 针对 FAAD2，Neutron 重建了进入解码器所需的输入。
   画面：依次显示原始源代码、测试框架所需的 29 字节前导数据和解码器。

8. FAAD2 使用声道映射前，未再次检查声道数量上限。
   画面：展示上游补丁在 internal_channel 索引操作前添加的 pce.channels > MAX_CHANNELS 检查。

9. 缓冲区仅有 64 个条目，输入却声明了 93 个声道。
   画面：64 个可用条目以蓝色显示，超出的 29 个声道以红色显示。

10. 仅 134 字节的概念验证就复现了缓冲区溢出。
    画面：同一份 FAAD2 输入在修复前触发栈缓冲区溢出，在修复后正常退出。

11. 平均估算推理成本为每个任务 1.04 美元。
    画面：明确标注为每个基准测试任务的成本，而非每次成功利用的成本。

12. 将漏洞发现转化为可执行的证明。
    画面：结尾文案定格，随后显示 Ostorlab 标志。