Vitalik Buterin, cofondateur d’Ethereum, a déclaré lors de la Network State Conference 2026 à Singapour que l’intelligence artificielle pourrait faire gagner des décennies à la feuille de route du réseau. L’IA prend désormais en charge une part substantielle de la recherche et du codage nécessaires au Lean Roadmap, le plan de refonte du protocole central d’Ethereum, incluant la vérification formelle en Lean 4. Sans elle, certains objectifs auraient pu nécessiter jusqu’en 2040 ou 2050. La mise à niveau Hegota, attendue autour de 2027, sera la dernière fourche « normale » de l’histoire d’Ethereum, avant un virage vers des méthodes cryptographiques avancées et la résistance quantique. Buterin reste cependant nuancé : si l’IA accélère le travail technique, elle soulève aussi des préoccupations de sécurité, la vérification formelle devenant alors une protection contre les risques qu’elle introduit elle-même.
Source: Lire l’article original
