Noticias de ME, el 21 de julio (UTC+8), Vitalik publicó en la plataforma X que un nuevo tipo de "lenguaje de programación avanzado" que vale la pena probar es aquel que se compila a Lean (o HOL, etc.), con el enfoque en hacer que las definiciones y teoremas sean lo más legibles posible para los humanos. En lugar de las demostraciones, ya que estas solo necesitan ser correctas; lo fundamental son las definiciones y teoremas en sí. Su uso previsto es que la IA genere un gran fragmento de demostración, y el lector necesite comprender con la mayor facilidad posible qué afirmaciones precisas se demostraron realmente en esa salida. (Fuente: ChainCatcher)
Vitalik propone un nuevo lenguaje de programación para facilitar la lectura de definiciones y teoremas
KuCoinFlashCompartir
Resumen
Vitalik Buterin propuso un nuevo lenguaje de programación de alto nivel el 21 de julio, diseñado para compilarse en Lean o HOL y mejorar la legibilidad de las definiciones y teoremas. El lenguaje dependería de la IA para manejar pruebas relacionadas con Proof of Work (PoW) y Proof of Stake (PoS), permitiendo a los usuarios centrarse en la claridad de las declaraciones. El objetivo es hacer que las afirmaciones complejas sean más accesibles, especialmente cuando la IA genera pruebas cada vez más largas.
Fuente:Mostrar original
Descargo de responsabilidad: La información contenida en esta página puede proceder de terceros y no refleja necesariamente los puntos de vista u opiniones de KuCoin. Este contenido se proporciona solo con fines informativos generales, sin ninguna representación o garantía de ningún tipo, y tampoco debe interpretarse como asesoramiento financiero o de inversión. KuCoin no es responsable de ningún error u omisión, ni de ningún resultado derivado del uso de esta información.
Las inversiones en activos digitales pueden ser arriesgadas. Evalúa con cuidado los riesgos de un producto y tu tolerancia al riesgo en función de tus propias circunstancias financieras. Para más información, consulta nuestras Condiciones de uso y la Declaración de riesgos.