Vlad Tenev, Robinhood co-founder and CEO, predicts that all code will be formally verified within two years. The process mathematically proves that software complies with a specification, with safety-critical components expected to be handled first. Tenev made the forecast on November 4, 2026, following his October claim that all software and hardware will eventually be verified. The announcement coincided with updates to Aristotle, Harmonic’s AI system for mathematical reasoning, which Tenev chairs and which can verify C code and Verilog hardware designs. Adoption beyond demonstrations, disclosure of verified components by Robinhood and similar commitments from competitors will help assess whether this timeline is achievable.
Source: Read the original article
