OpenAI impulsa la verificación de contratos inteligentes
El titular es la escala de cómputo. La lectura cripto va más arriba: a medida que la demostración automatizada se abarata, crece el coste de los contratos mal especificados. Terence Tao ya está señalando el vacío que se abre.