Robinhood CEO Vlad Tenev predicts all code will be formally verified within two years

The Robinhood chief, who also chairs AI startup Harmonic, says mathematical proof of software correctness is coming fast, starting with safety-critical systems Vlad Tenev has a bold forecast for the software industry. The Robinhood co-founder and CEO says all code will be formally verified within two years. That is a big claim in an industry that still ships patches to fix last week’s patches. Most software today is tested and then trusted. Very little of it is mathematically proven to work. What Tenev actually said Tenev made the prediction in a post on X on November 4, 2026. He framed the shift as a phased rollout, with safety-critical components going first. It was not a one-off thought. In an October 27, 2026 post, Tenev had already argued that all software and hardware will eventually be verified. The timing of the latest post matters. It landed alongside an announcement from Harmonic, the AI startup where Tenev serves as Executive Chairman. Harmonic said its Aristotle system can now verify C code and Verilog hardware designs. Tenev referenced that capability in his post. So when Tenev talks about formal verification, he is not commenting from the sidelines. He chairs a compan...