Vitalik Buterin : Ethereum pourrait bénéficier de l'utilisation de l'IA pour rechercher des bogues dans le code

Le co-fondateur d'Ethereum, Vitalik Buterin, a déclaré qu'une application de l'intelligence artificielle qu'il aimerait voir est la vérification formelle du code et la recherche de bogues assistée par l'IA.

« À l'heure actuelle, le plus grand risque technique d'Ethereum réside probablement dans les bogues de code », a-t-il déclaré sur Twitter. « Et tout ce qui pourrait changer la donne de manière significative serait incroyable »,

Sans surprise, les réponses au tweet étaient pleines de startups affirmant avoir construit la technologie révolutionnaire qui enthousiasme tant Buterin.

Une application de l’IA qui me passionne est la vérification formelle du code et la recherche de bogues assistée par l’IA.

À l'heure actuelle, le plus grand risque technique d'Ethereum réside probablement dans les bogues de code, et tout ce qui pourrait changer considérablement le jeu à ce sujet serait incroyable.

Le co-fondateur d’Ethereum n’a pas toujours semblé optimiste quant à l’impact que l’IA pourrait avoir sur la technologie ou sur l’humanité dans son ensemble. Dans un article de blog de novembre, « Mon techno-optimisme », le co-fondateur d'Ethereum a exposé sa prédiction selon laquelle l'IA pourrait développer son propre « esprit », travailler contre les humains et devenir la nouvelle espèce suprême.

pourrait bien ne laisser aucun survivant et mettre définitivement fin à l’humanité. Même Mars n’est peut-être pas en sécurité.

Il n’y avait aucune prédiction apocalyptique de l’IA dans les pensées qu’il a partagées lundi matin sur Twitter. Le passage du pessimisme à l’optimisme s’est poursuivi pour Buterin.

Dans un article de blog publié en janvier, Buterin a déclaré que l'IA pourrait devenir un « acteur du jeu » sur les marchés des cryptomonnaies. Ce n’est pas du tout sans précédent. Il a souligné que les robots de trading sont meilleurs que les humains pour arbitrer – ou tirer parti des écarts de prix sur le marché – depuis des années.

« Mais les robots d'arbitrage IA ne sont que le premier exemple d'une catégorie beaucoup plus vaste, qui, je l'espère, commencera bientôt à inclure de nombreuses autres applications », a-t-il écrit, avant de parler des marchés de prédiction basés sur l'IA.

Si les développeurs d'Ethereum commencent à utiliser l'IA pour la vérification du code et la détection des bogues, ils rejoindront un segment croissant de l'industrie technologique.

Plus tôt ce mois-ci, Microsoft a annoncé des revenus colossaux au quatrième trimestre 2023, en grande partie grâce à son partenariat pluriannuel avec OpenAI. La société a déclaré lors de son rapport sur les résultats que l'IA était le principal moteur de son succès, qu'il s'agisse de modèles d'IA génératifs, d'analyse de code, de génération d'images ou de reconnaissance visuelle.

Remarque rapide  : Microsoft utilise un exercice financier (et non une année civile) pour ses revenus. Son deuxième trimestre 2024 s’est donc terminé le 31 décembre 2023.

« Il s'agit d'un trimestre record, porté par la force continue du cloud Microsoft, qui a dépassé les 33 milliards de dollars de chiffre d'affaires, en hausse de 24 %, » a déclaré le PDG Satya Nadella lors de la conférence téléphonique sur les résultats du deuxième trimestre de Microsoft. « Nous sommes passés du discours sur l'IA à l'application de l'IA à grande échelle. »