Vitalik Buterin propone un lenguaje para hacer legibles las pruebas de IA
BeInCrypto
El cofundador de Ethereum, Vitalik Buterin, ha propuesto un nuevo lenguaje de programación diseñado para hacer que las pruebas matemáticas formales de la IA sean más legibles para los humanos.Resumen
Full summary available to members
Subscribe to TodayOnChain membership to read full news summaries and browse without display ads.