LA LLAVE DE LA CRIPTOGRAFÍA POST-CUÁNTICA

La empresa que “resuelve” la seguridad del futuro ya posee el mapa de sus propias grietas

OpenAI no publicó diez teoremas. Publicó la demostración de que un solo actor privado ya puede modelar, formalizar y certificar los cimientos matemáticos sobre los que se construirá (o se derrumbará) la seguridad de las comunicaciones globales en la era cuántica. Y lo hizo con un modelo que todavía no existe para el resto del planeta.

Fecha del informe: 5 de agosto de 2026

INTRODUCCIÓN

El 1 de agosto de 2026, OpenAI dejó caer un documento de 249 páginas acompañado de certificados Lean 4 verificables. Detrás del lenguaje académico (“diez avances en matemáticas y ciencias de la computación teórica”) se esconde algo mucho más siniestro: un modelo interno llamado Astra resolvió o avanzó de forma sustancial sobre problemas abiertos durante al menos una década, varios de ellos directamente ligados a la dureza de problemas de retículos y a la complejidad cuántica.

No estamos hablando de un chatbot que escribe poemas. Estamos hablando de un sistema capaz de generar argumentos matemáticos de varios pasos, traducirlos a un lenguaje formal y emitir certificados que cualquier máquina puede verificar sin confiar en la palabra de nadie. El costo total declarado: aproximadamente 2.000 dólares en tokens. El resultado: la primera construcción explícita de un grupo no-sófico, la refutación de la conjetura de rigidez de Connes, nuevos bounds en empaquetamiento de esferas de alta dimensión… y, sobre todo, un resultado de dureza de aproximación polinomial para el Closest Vector Problem (CVP), el problema central sobre el que descansa gran parte de la criptografía post-cuántica actual (Kyber, Dilithium, Falcon y derivados).

Cuando una sola corporación demuestra que puede razonar a este nivel sobre los cimientos mismos de la seguridad futura, la pregunta ya no es si el modelo “alucina”. La pregunta es quién controla el razonador y qué hace con el conocimiento que solo él posee en profundidad.

LOS HECHOS OFICIALES

El 1 de agosto de 2026 OpenAI publicó el artículo “Ten advances in mathematics and theoretical computer science”. Un modelo interno de la familia Astra (aún no lanzado al público) generó los argumentos matemáticos. Investigadores humanos prepararon los manuscritos y el propio sistema formalizó las pruebas en Lean 4. Los certificados están disponibles en el repositorio público openai/ten-proofs bajo licencia Apache 2.0, con cero “sorry”.

Los diez resultados abarcan:

• Empaquetamiento de esferas de alta dimensión (primeras mejoras generales al exponente desde 1978).
• Códigos binarios y esféricos (mejoras exponenciales a bounds clásicos).
• Construcción de un grupo no-sófico (pregunta abierta desde 1999).
• Refutación de la conjetura de rigidez de Connes.
• Nuevos lower bounds para la complejidad de circuitos aritméticos del permanente.
• Teorema de repetición paralela exponencial para juegos cuánticos de dos jugadores.
• Dureza de aproximación polinomial para el Closest Vector Problem (factor (n^{1/400})), con consecuencias para problemas de decodificación y retículos.
• Resolución de la conjetura de volumen de Ehrhart en todas las dimensiones.
• Bound super-exponencial para números de Ramsey multicolor (problema de Erdős 183).
• Resultados sobre conjeturas de compacidad y degeneración en teoría extremal de grafos.

OpenAI declara que el costo computacional total para encontrar las soluciones fue del orden de 2.000 dólares a precios actuales de la API Sol. Astra permanece no disponible públicamente. La compañía ha mencionado programas de acceso controlado (“Trusted Access”) para capacidades de ciberseguridad de alto nivel y ha estado mostrando el modelo a reguladores estadounidenses bajo el marco voluntario del Executive Order 14409.

EL ANÁLISIS CONSPIRANOICO

Aquí es donde el informe oficial se vuelve peligroso.

El resultado sobre el Closest Vector Problem no “rompe” Kyber ni Dilithium. Hace exactamente lo contrario en apariencia: refuerza la evidencia de que aproximar CVP sigue siendo NP-duro incluso con factores polinomiales relativamente modestos. Eso fortalece las reducciones de seguridad de los esquemas de retículos que el NIST ya estandarizó. Pero prestá atención a la asimetría:

Quien demuestra la dureza de un problema a este nivel de profundidad es, por definición, quien mejor entiende dónde están los bordes de esa dureza. Un modelo capaz de generar una reducción determinista desde 3SAT hasta GapCVP con factor (n^{1/400}) y formalizarla en Lean es un modelo que, si se le pide (o se le deja) buscar debilidades, ya tiene el mapa conceptual completo. Hecha la ley, hecha la trampa. Quien puede certificar que algo es duro también es quien está en mejor posición para encontrar la excepción, el caso especial, el oráculo parcial o la estructura algebraica que debilita la instancia concreta que usa el mundo real.

OpenAI no está vendiendo un teorema. Está demostrando que posee un razonador autónomo de nivel de investigación que puede trabajar durante horas o días coordinando sub-agentes, dividiendo problemas masivos y produciendo certificados formales. Ese mismo razonador, aplicado a código fuente, a protocolos de intercambio de claves o a implementaciones concretas de retículos, puede analizar vulnerabilidades lógicas complejas en minutos. La diferencia entre “defender” y “atacar” se reduce a una instrucción de sistema y a quién tiene acceso prioritario.

Y aquí entra el ego humano. Los ingenieros que entrenan estos sistemas son personas con ambición, reputación y carrera. Los jefes de los jefes, hasta llegar al CEO, operan en una escala donde el prestigio, el control del relato y el poder de decidir quién recibe el modelo y bajo qué condiciones se vuelven variables de poder casi absolutas. Cuando el conocimiento más profundo sobre los cimientos matemáticos de la seguridad post-cuántica reside dentro de una sola organización privada, con acceso controlado y revisión federal voluntaria, el mercado negro ya no es solo de datos robados. Es de capacidades de razonamiento formalizado. Es de prompts, de cadenas de pensamiento, de oráculos internos, de versiones del modelo con “cyber refusals” bajados. Es de credenciales criptográficas de nueva generación generadas o auditadas por sistemas que solo unos pocos controlan.

El anuncio de Astra no es un avance científico aislado. Es la demostración pública de que el monopolio sobre el razonamiento matemático de frontera ya no está en las universidades ni en los gobiernos. Está en una empresa de California que decide cuándo, a quién y bajo qué condiciones se libera esa capacidad. Y mientras el resto del mundo discute si el modelo “alucina”, los que tienen la llave ya están calibrando la cerradura.

EVIDENCIA Y FUENTES

1. OpenAI – Anuncio oficial “Ten advances in mathematics and theoretical computer science” (1 de agosto de 2026): https://openai.com/index/ten-advances-in-mathematics/
2. Repositorio oficial de certificados Lean 4: https://github.com/openai/ten-proofs
3. Manuscrito técnico (249 páginas): https://cdn.openai.com/pdf/ten-proofs-oai.pdf
4. The Next Web – “OpenAI says its next model, Astra, has solved ten open problems in mathematics”: https://thenextweb.com/news/openai-astra-model-ten-math-proofs-non-sofic-groups
5. New Scientist – “OpenAI announces solutions to 10 longstanding maths problems”: https://www.newscientist.com/article/2582793-openai-announces-solutions-to-10-longstanding-maths-problems/
6. The Quantum Insider – Análisis de implicaciones en complejidad cuántica y criptografía de retículos: https://thequantuminsider.com/2026/08/04/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics/
7. SiliconANGLE – Detalles sobre formalización y costo computacional: https://siliconangle.com/2026/08/02/openais-astra-solves-10-long-open-math-problems-publishes-proofs/
8. Documentación adicional sobre GapCVP y consecuencias para lattice problems en el propio repositorio y manuscrito de OpenAI.

CONCLUSIÓN

Astra no es solo un modelo de razonamiento avanzado. Es la prueba de que el poder de formalizar, certificar y, potencialmente, deconstruir los cimientos matemáticos de la seguridad global ya está concentrado. Mientras la narrativa oficial habla de “empoderar a los científicos”, la realidad operativa es que una sola entidad privada decide el ritmo, el acceso y el marco de uso de esa capacidad.

El ser humano pasa su vida entera pretendiendo ser el ego. Olvidándose por completo de que es un simple ser orgánico… y de que los sistemas que construye ya no necesitan pretenderlo.

Guardá este documento, imprimilo, quémalo después de leerlo.