Vlad Tenev, cofondateur et directeur général de Robinhood, prédit que l’ensemble du code sera vérifié formellement d’ici deux ans. Ce processus consiste à prouver mathématiquement qu’un logiciel respecte une spécification, les composants critiques devant être pris en charge en premier. Tenev a annoncé cette prévision le 4 novembre 2026, après avoir affirmé fin octobre que tous les logiciels et matériels seraient un jour vérifiés. Elle intervient parallèlement aux capacités d’Aristotle, le système de Harmonic, startup spécialisée dans l’intelligence artificielle et présidée par Tenev, capable de vérifier du code C et des conceptions de matériel en Verilog. L’adoption de ces outils au-delà des démonstrations, la publication de composants vérifiés par Robinhood et les engagements similaires des concurrents permettront d’évaluer la faisabilité de ce calendrier.
Source: Lire l’article original
