All software has bugs. It has always been that way, and much of the recent discussion around AI's impact on software engineering has been about unveiling security holes that plague popular software and may have sat for years -- hardly the setup for promising complete code verification.I saw the headlines around DeepMind's AlphaProof Code announcement this morning, saying they confirmed Signal's security protocol to be solid, and initially glanced past it, as someone who typically doesn't use Signal. But the post has ignited a foundational discussion about how software will be built and verified going forward in the usual places, including Hacker News, which has zeroed in on a major turning point: moving from classic test-driven development to automated, machine-driven formal proof generation.
The reaction across the developer community spans healthy skepticism to long-term optimism, mirroring a lot of what we've seen in response to AI advancements, ranging from disdain and disbelief to nodding acceptance. But zero bugs? If AlphaProof Code looked at my code and found no errors, I'd assume the verification itself was flawed. That'd be as impossible as sending one of my draft blog posts to an editor and being told it was perfect.
More broadly, AI systems can now be used to verify human-written library, and neural models can now write top quality code, taking the spot we've reserved for decades for well trained and well paid humans.
This shift connects directly to what I explored in Vibe Coding: Automatic Transmission for Apps, where higher abstractions free engineers from manual routine mechanics to focus on high-level architecture. It also reinforces the broader reality I wrote about in An AI Tech Revolution? The Solution: Human Evolution. Technology shifts require human adaptation rather than passive observation. As automated verifiers mature, running unverified raw code on production networks may soon as outdated as leaving my index directories open with r-w-x (read, write, execute for you non-nerds) to the whole web.
Bug free or not on the first try, we are seeing AI do more. AI is writing, reading, coding and now debugging. I'm betting that even if this pass manages to come back with zero known issue, the definition of what is a bug and what is not will change.
Disclosures, per always: I work at Google and use Gemini and Antigravity tools a lot. DeepMind is a huge part of Google's AI effort and behind AlphaProof. Nobody at Google reviews my posts, ever.