Vitalik Buterin propose un nouveau langage de programmation pour l'intelligence artificielle

Vitalik Buterin, co-fondateur d'Ethereum, a dévoilé une idée pour le développement d'un nouveau langage de programmation dont l'objectif est de simplifier l'examen des résultats de l'intelligence artificielle. Ce langage pourrait être compilé en outils de preuve formelle tels que Lean ou HOL. Buterin estime qu'avec l'augmentation de l'utilisation des modèles d'intelligence artificielle dans le développement de logiciels, ces outils sont capables de produire des preuves mathématiques et techniques complexes, mais que la compréhension et la vérification de ces résultats par les humains sont difficiles. Il a suggéré que les parties compréhensibles pour les humains devraient être séparées des détails techniques des preuves. L'objectif de ce langage est de rendre les résultats de l'intelligence artificielle plus lisibles. Buterin explique que les étapes internes d'une preuve doivent être mathématiquement correctes et qu'il n'est pas nécessaire que les humains les lisent toutes. La définition des concepts et des spécifications techniques doit être écrite dans un langage simple. Il a également mentionné que les modèles de langage de grande taille peuvent produire des preuves utilisables pour Lean. Cette proposition intervient alors que les chercheurs d'Ethereum s'efforcent de développer une version de la machine virtuelle Ethereum (EVM) avec des capacités de preuve formelle et basées sur des connaissances zéro. Buterin croit que l'utilisation de codes avec preuve formelle pourrait contribuer à accroître la sécurité des logiciels basés sur la blockchain. Cependant, il a souligné que cette idée est encore à un stade conceptuel et qu'aucun prototype n'a été publié.

Avertissement : Ce contenu est fourni à des fins de communication et d'information générale uniquement et ne constitue en aucun cas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, événements en ligne ou toute information mentionnée dans ce document ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, échanger ou traiter de quelque manière que ce soit des actifs crypto, ni à utiliser un quelconque service. Les actifs crypto sont très volatils et peuvent entraîner des pertes. Les services et événements en ligne de WEEX peuvent ne pas être disponibles dans toutes les régions et sont soumis aux lois, réglementations et conditions d'éligibilité applicables. Il vous appartient de veiller à ce que votre utilisation des services WEEX respecte la législation locale et d'évaluer soigneusement les risques avant de participer à toute activité liée aux cryptomonnaies.