Security Researcher Bets AI Won't Formally Verify Critical Software Before 2028

Security researcher S1r1u5 has made a public bet that AI will not be able to formally verify critical software like Chromium, Firefox, and the Linux kernel by the end of 2028, arguing that cybersecurity fundamentally favors attackers.

2026-10-23 ~ 2026-10-23 · 2 related posts

• Security researcher bets AI won't formally verify Linux kernel, Chromium and other critical software by 2028 — JeffLadish · 2026-10-23

1 near-duplicate retellings: matthew_d_green