444
Ex-CISA head thinks AI might fix code so fast we won't need security teams 😆️️
(www.theregister.com)
this post was submitted on 27 Oct 2025
444 points (99.3% liked)
Programmer Humor
27175 readers
1056 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Schrödinger's AI: It's so smart it can build perfect security, but it's too dumb to figure out how to break it.
If there are actually no bugs, can't that create a situation where it's impossible to break it? Not to say this is actually a thing AI can achieve, but it doesn't seem like bad logic.
Rice's Theorem prevents this... mostly.
I'd guess that hypothetical AI cybersecurity verification of code would be like that, where there are probably no bugs, but it's not a totally sure thing. But even if you can't have mathematical certainty there are no bugs, that doesn't mean every or most programs verified this way are possible to be exploited.