Bitcoin
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 Wed 4 Nov 2026 · 21:06 EST · 4 min read In AI Share 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...
Crypto Briefing5 min read
