S1r1u5与AI形式化验证能力公开对赌

安全研究员 S1r1u5 公开押注：到2028年底，AI仍无法对Chromium、Firefox、Linux内核、nginx、Next.js、Apache等核心软件及其全部依赖完成形式化验证；若AI届时实现这一目标，他将认输，Jeff Ladish表示愿参与下注。 S1r1u5还提出更激进的预测：2028年后，自己或其他安全研究员仍会持续发现软件漏洞。他据此主张网络安全仍将是“进攻占优”，但这尚是等待检验的个人判断。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。