极道 · 2026-10-23T03:33:00Z

AI形式证明挖出万亿次测试漏掉的漏洞

📝

内容提要

测试跑了一万亿次没发现的漏洞，被一个写证明的模型找出来了！ 一项新实验让大语言模型为123个开源库编写机器可验证的安全证明，过程中挖出了连谷歌连续模糊测试都碰不到的深层漏洞。这套流程把“测不完的输入”变成了“证得完的定理”。 模糊测试撞不穿的墙，数学证明能绕过去

🏷️

标签

ai 漏洞