El avance matemático de OpenAI expone el próximo eslabón débil en la seguridad cripto

El último avance matemático de OpenAI podría acercar la demostración automatizada de teoremas a los flujos de trabajo de seguridad de contratos inteligentes.

El 8 de septiembre, la empresa de IA dijo que aproximadamente 10,000 agentes de IA concurrentes produjeron una solución que aborda el problema del movimiento de fluidos de Navier-Stokes después de unas 88 horas. La formalización y verificación en Lean, un asistente de pruebas de software, requirió otras 17 horas utilizando GPT-6 Astra.

El sistema generó una prueba analítica que muestra que un fluido inicialmente suave puede desarrollar una singularidad en un tiempo finito conservando energía finita, estableciendo los casos C y D de la formulación del Premio del Milenio. OpenAI publicó tanto la prueba como su formalización en Lean para un escrutinio independiente.

Para los desarrolladores de criptomonedas, la implicación más inmediata reside en el proceso. La verificación formal utiliza especificaciones matemáticas y demostración de teoremas para establecer si el código de un contrato inteligente se comporta según lo previsto, un área en la que la guía humana puede hacer que la verificación sea costosa y requiera mucha mano de obra.