Un avance matemático de OpenAI mejora la seguridad de los contratos inteligentes

El reciente avance matemático de OpenAI impulsa la demostración automatizada de teoremas para la seguridad de los contratos inteligentes. El 8 de septiembre, la empresa anunció que aproximadamente 10,000 agentes de IA concurrentes resolvieron el problema del movimiento de fluidos de Navier-Stokes en unas 88 horas, seguidas de 17 horas de formalización y verificación utilizando GPT-6 Astra en Lean, un asistente de prueba de software. El sistema produjo una prueba analítica que demuestra que un fluido suave puede desarrollar una singularidad en un tiempo finito mientras mantiene energía finita, abordando los casos C y D de la formulación del Premio del Milenio. OpenAI puso tanto la prueba como su formalización en Lean a disposición para revisión independiente. Para los desarrolladores de criptomonedas, la implicación inmediata está en la verificación formal, que utiliza especificaciones matemáticas para garantizar que el código de los contratos inteligentes funcione como se pretende. La IA podría agilizar este proceso, reduciendo costos e intensidad laboral. El matemático Terence Tao advirtió anteriormente que los sistemas de IA autónomos podrían generar soluciones complejas y verificarlas sin la visión pública, lo que podría llevar a perder descubrimientos intermedios valiosos. A medida que la demostración de teoremas se automatiza más, la importancia de definir con precisión lo que deben cubrir las pruebas aumenta. La documentación de Ethereum establece que la verificación formal comprueba si un contrato cumple con propiedades específicas, pero las especificaciones mal redactadas pueden llevar a vulnerabilidades no detectadas. Los sistemas de IA mejorados podrían disminuir el esfuerzo necesario para las pruebas, al tiempo que enfatizan la necesidad de especificaciones precisas. Este cambio podría transformar la economía de la verificación formal en protocolos DeFi y plataformas de activos tokenizados, donde los esfuerzos manuales han limitado el despliegue. El desafío sigue siendo adaptar sistemas capaces de investigación para software de producción, permitiendo una inspección significativa de las pruebas por parte de desarrolladores y auditores.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.