OpenAI anunció el 26 de octubre tres resultados producidos por modelos internos en matemáticas, ciencias de la computación y física. Las afirmaciones son extraordinarias: una supuesta refutación de la Hipótesis del Tiempo Exponencial (ETH), una prueba de la conjetura de suavizado local con consecuencias para Kakeya y la restricción de Stein, y una construcción rigurosa relacionada con la existencia de teorías cuánticas de campos en cuatro dimensiones. Ninguna debe tratarse todavía como un resultado científico aceptado. La propia empresa las describe como datos de investigación en bruto que necesitan explicación, comprobación y evaluación por especialistas. [1]

La afirmación con un proceso de revisión más definido es la de complejidad computacional. ETH sostiene, en términos generales, que el problema de satisfacibilidad booleana de 3 variables no puede resolverse en tiempo subexponencial. OpenAI dice que su modelo produjo una refutación el 16 de octubre y que al día siguiente se formalizó en Lean, un asistente que comprueba si una cadena de razonamiento satisface reglas lógicas especificadas. La empresa publicó tanto el texto generado como el artefacto formal para que puedan ser examinados. [2]

Tres investigadores —Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego, y Ryan Williams, del MIT— coordinarán el análisis de esa afirmación. Dos de ellos participaron en la formulación original de ETH. Su intervención no equivale a validar el resultado: en una carta citada por la cobertura independiente, advirtieron que una afirmación de esta magnitud requiere escrutinio cuidadoso. También indicaron que no firmaron acuerdos de confidencialidad y que OpenAI no les pagará por la revisión. [3]

El segundo resultado se refiere a la conjetura de suavizado local propuesta por Christopher Sogge en 1991. OpenAI afirma que obtuvo una solución en todas las dimensiones el 18 de octubre y la formalizó en Lean al día siguiente. De ser correcta, también resolvería las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. La compañía publicó la salida del modelo y el código formal, pero dejó a la comunidad matemática organizar el trabajo de interpretación y verificación. [1]

El tercer caso es aún más cauteloso. OpenAI asegura que sus modelos construyeron una prueba de existencia matemática para determinadas teorías cuánticas de campos en cuatro dimensiones, incluida la teoría pura de Yang–Mills y una formulación rigurosa de la cromodinámica cuántica. En vez de liberar de inmediato todo el material, la empresa formó un grupo externo y dijo que se atendrá a su criterio sobre cómo y cuándo divulgarlo. Sin acceso público al argumento completo, terceros no pueden comprobar todavía esa afirmación. [1][2]

La formalización en Lean eleva la trazabilidad, pero no convierte automáticamente una afirmación en consenso científico. Un verificador puede confirmar que un archivo se ajusta a una lógica y a unas definiciones; los especialistas aún deben comprobar que esas definiciones representan fielmente el problema anunciado, que no se introdujeron supuestos inadecuados y que la conclusión tiene el alcance descrito. En física, donde el material completo no está disponible, la incertidumbre es mayor.

El experimento editorial y científico de OpenAI también cambia quién recibe crédito. La empresa dice que no buscará crédito académico por descubrimientos de sus modelos y que los investigadores externos deberán ser reconocidos por las explicaciones, documentos y contexto que desarrollen. Es una postura relevante, aunque todavía no resuelve cuestiones más amplias sobre autoría, responsabilidad y reproducibilidad.

Por ahora, la noticia no es que tres problemas históricos estén resueltos de manera definitiva. Es que un laboratorio de IA ha puesto sobre la mesa tres afirmaciones de alto impacto, dos acompañadas por artefactos públicos y una tercera sometida a divulgación controlada, y ha invitado a expertos independientes a intentar convertirlas —o descartarlas— como conocimiento científico. El resultado decisivo será lo que sobreviva esa revisión.

Fuentes

[1] Leer Más — Working with academic communities to build scientific understanding — OpenAI
[2] Leer Más — OpenAI says its AI model has disproved the Exponential Time Hypothesis — The Next Web
[3] Leer Más — OpenAI Hands ETH, Kakeya, Yang-Mills Proofs to Reviewers — AI Weekly