✨︎ Resumen (TL;DR):
- El científico de computación teórica Scott Aaronson afirma que laboratorios de IA investigan si sus modelos internos más recientes pueden romper protocolos y componentes criptográficos.
- La afirmación no identifica empresas, modelos ni mecanismos, y tampoco presenta un ataque demostrado contra un sistema concreto.
- El repositorio matemático de OpenAI registraba 719 manuscritos en 372 familias, con 3 retiros y 14 revisiones, pero esos cambios no prueban una ruptura criptográfica.
El científico de computación teórica Scott Aaronson afirmó que empresas de inteligencia artificial empezaron a investigar si sus modelos internos más recientes pueden romper protocolos y componentes criptográficos. Aaronson citó fuentes no identificadas en una actualización de The Mathocalypse, publicada el 7 de octubre. La publicación no presenta un ataque demostrado contra un sistema concreto, por lo que el alcance de la amenaza todavía no puede medirse.
Aaronson describió las investigaciones como cautelosas y discretas. Tampoco dio los nombres de las empresas, los modelos utilizados ni los mecanismos examinados. Esos vacíos impiden saber qué protección estaría en riesgo o qué recursos exigiría una eventual ruptura.
Qué tendría que demostrar una amenaza criptográfica
La criptografía es un conjunto de mecanismos que protege distintas propiedades de la información. El Instituto Nacional de Estándares y Tecnología de Estados Unidos, NIST, explica que el cifrado preserva la confidencialidad de los datos, mientras otros mecanismos permiten comprobar su integridad y autenticar su origen. Romper una de esas protecciones tendría consecuencias distintas según el sistema afectado.
La guía SP 800-175B del NIST mide la resistencia de un algoritmo por la dificultad de vulnerarlo. Para el cifrado por bloques, describe una ruptura como la posibilidad de recuperar la clave o el contenido original con una cantidad de trabajo aceptable.
Por eso, evaluar lo que Aaronson describe exige conocer el mecanismo examinado, la protección que dejaría de funcionar y los recursos necesarios para hacerlo. Una noticia sobre capacidades matemáticas, sin esos detalles, no permite medir por sí sola una amenaza práctica.
OpenAI retiró 3 manuscritos y revisó 14
El debate aparece después de la publicación de la colección matemática de OpenAI. El repositorio consultado el 8 de octubre enumeraba 719 manuscritos organizados en 372 familias. Cada familia puede reunir un resultado principal, argumentos complementarios, consecuencias o demostraciones alternativas, y los documentos tienen distintos estados de verificación.
El catálogo ya había cambiado desde su publicación. El historial oficial del 7 de octubre registró el retiro de 3 trabajos. Un error de signo invalidó un argumento del manuscrito sobre clases de Weil y una construcción utilizada por otros 2 documentos dependientes.
OpenAI también revisó 14 manuscritos. El registro describe reparaciones de pruebas, correcciones de enunciados y aclaraciones sobre hipótesis y dependencias. Además, corrigió una referencia bibliográfica obsoleta.
Estos cambios corresponden a trabajos matemáticos publicados. No constituyen resultados de las pruebas criptográficas descritas por Aaronson.
La verificación formal aún requiere revisión científica
OpenAI comparte formalizaciones de parte de sus demostraciones en Lean, un lenguaje que permite comprobar argumentos matemáticos mediante una computadora. El propio repositorio advierte que algunos resultados sin formalizar podrían contener problemas y conserva versiones anteriores cuando registra cambios.
El Grupo Asesor sobre Matemáticas e Inteligencia Artificial, AGMAI, aclaró en su declaración del 6 de octubre que su asesoría no equivale a respaldar el proceso seguido por OpenAI ni a juzgar el impacto de sus resultados. El grupo sitúa la publicación al comienzo del trabajo de comprensión humana e incorporación de esos argumentos al conocimiento matemático.
Los retiros y las revisiones documentan qué ocurre cuando los manuscritos quedan expuestos al examen: los errores identificados pueden rastrearse, al igual que sus efectos sobre otros trabajos. Para una eventual afirmación criptográfica, publicar el argumento y sus condiciones permitiría someter el alcance del hallazgo a un escrutinio semejante.
Por ahora, el material disponible describe una línea de investigación reservada, no una ruptura criptográfica demostrada. La evaluación cambiaría con datos concretos sobre el mecanismo examinado, la protección comprometida y los recursos necesarios para vulnerarla.
