TecnologíaEl avance matemático de OpenAI expone el próximo punto débil de la seguridad cripto

OpenAI afirmó que unos 10.000 agentes de IA trabajando en paralelo produjeron en unas 88 horas una solución al problema de Navier-Stokes, que GPT-6 Astra formalizó y verificó después en Lean. El proceso podría impulsar la seguridad de los contratos inteligentes, pero también vuelve crucial definir con precisión qué deben comprobar las pruebas.

OpenAIdemostración matemáticaseguridad de contratos inteligentesverificación formal

CCryptoSlate★★★☆☆2026-09-10 22:30Original