Vitalik propose un nouveau langage de programmation pour faciliter la lecture des définitions et théorèmes

iconKuCoinFlash
Partager
This is the logo of the coin.
ETH
$1 925,212 %
AI summary iconRésumé
Vitalik Buterin a proposé un nouveau langage de programmation de haut niveau le 21 juillet, conçu pour être compilé en Lean ou HOL et améliorer la lisibilité des définitions et des théorèmes. Ce langage s'appuierait sur l'IA pour gérer les preuves liées au Proof of Work (PoW) et au Proof of Stake (PoS), permettant aux utilisateurs de se concentrer sur la clarté des énoncés. L'objectif est de rendre les affirmations complexes plus accessibles, notamment alors que l'IA génère des preuves de plus en plus longues.

Selon les nouvelles de ME, le 21 juillet (UTC+8), Vitalik a publié sur la plateforme X qu'un nouveau type de « langage de programmation avancé »值得尝试 est un langage compilé vers Lean (ou HOL, etc.), axé sur la facilité de lecture des définitions et théorèmes par les humains, et non sur les preuves, car celles-ci n'ont qu'à être correctes ; l'essentiel réside dans les définitions et théorèmes eux-mêmes. Son usage envisagé est que l'IA produise un long passage de preuve, tandis que le lecteur doit comprendre aussi facilement que possible quelles affirmations précises ont été effectivement prouvées dans ces sorties. (Source : ChainCatcher)

Source:Afficher l'original
Clause de non-responsabilité : les informations sur cette page peuvent avoir été obtenues auprès de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu est fourni à titre informatif uniquement, sans aucune représentation ou garantie d’aucune sorte, et ne doit pas être interprété comme un conseil en investissement. KuCoin ne sera pas responsable des erreurs ou omissions, ni des résultats résultant de l’utilisation de ces informations. Les investissements dans les actifs numériques peuvent être risqués. Veuillez évaluer soigneusement les risques d’un produit et votre tolérance au risque en fonction de votre propre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et divulgation des risques.