AlphaProof Nexus, de Google DeepMind, ha resuelto nueve problemas de Erdős y demostrado 44 conjeturas de secuencias, un hito en la verificación formal impulsada por IA que podría, eventualmente, hacer que la validación de pruebas criptográficas sea más rápida y económica. Los resultados, anunciados esta semana, muestran un sistema de IA abordando problemas matemáticos famosamente difíciles, con implicaciones directas para campos que dependen de pruebas sólidas, incluidos la criptografía y la auditoría de contratos inteligentes.
Nueve problemas de Erdős resueltos
El sistema abordó un conjunto de problemas que llevan el nombre del matemático Paul Erdős, conocidos por su dificultad. De ellos, AlphaProof Nexus resolvió nueve, una hazaña que anteriormente requería años de esfuerzo humano. También demostró de forma independiente 44 conjeturas abiertas en secuencias de números enteros, extrayéndolas de la base de datos OEIS. Cada prueba fue generada sin guía humana más allá del enunciado inicial del problema.
Un impulso para la verificación formal
La verificación formal es el proceso de demostrar matemáticamente que un software o hardware se comporta exactamente como se espera. Se utiliza en criptografía para comprobar que los algoritmos de cifrado no tengan fallos ocultos, pero es lenta y costosa. El anuncio de DeepMind afirma que la verificación formal impulsada por IA 'podría revolucionar campos como la criptografía y la auditoría de software, haciendo que la validación de pruebas sea más eficiente y rentable'.
Para el mundo criptográfico, la promesa es directa: si una IA puede demostrar teoremas matemáticos complejos, podría verificar automáticamente contratos inteligentes, pruebas de conocimiento cero o algoritmos de consenso, reduciendo el riesgo de errores que han costado miles de millones en hackeos. La misma tecnología podría auditar protocolos de blockchain en busca de inconsistencias lógicas. Nada de eso está implementado aún, pero la capacidad subyacente acaba de dar un gran paso adelante.
DeepMind no ha dicho cuándo lanzará AlphaProof Nexus como herramienta para uso externo. El próximo hito concreto será probablemente la revisión por pares, y luego la integración en los procesos de verificación existentes. La pregunta ahora es qué tan rápido ocurrirá esa transición.
