OpenAI dice que sus modelos produjeron pruebas en matemáticas, computación y física; ahora los expertos las revisarán
Redacción Ivoka27 oct, 12:00 p.m. 3 min
Son tres resultados que OpenAI presenta como pruebas generadas por sus modelos. Los de matemáticas y computación se publicaron para que la comunidad los examine; el de física lo explicará primero un grupo externo.
OpenAI anunció tres hallazgos en matemáticas, ciencias de la computación y física. Es importante leerlo con calma: son afirmaciones de la empresa que ahora deben revisar especialistas.
Los tres resultados, según OpenAI
- Matemáticas (análisis armónico): sus modelos demostraron la conjetura de suavizado local, propuesta por Christopher Sogge en 1991, en todas las dimensiones espaciales. La empresa dice que el resultado también resuelve las conjeturas de Kakeya y de restricción de Stein. En trabajos previos, Larry Guth, Hong Wang y Ruixiang Zhang habían probado la conjetura de suavizado local en dos dimensiones espaciales en 2019.
- Computación: sus modelos refutaron la hipótesis del tiempo exponencial (ETH), una conjetura establecida de la complejidad computacional sobre la dificultad de resolver problemas de satisfacibilidad booleana. Se usa en cientos de artículos de áreas como teoría de grafos, biología computacional, bases de datos y geometría computacional. Refutarla no entrega automáticamente algoritmos más rápidos: falta determinar qué significa el resultado para la computación práctica.
- Física: pruebas de existencia, según la empresa, para teorías interactivas con campos de norma y fermiones en cuatro dimensiones, entre ellas la cromodinámica cuántica (QCD). El trabajo también aborda la teoría de Yang-Mills pura, componente de uno de los problemas del Milenio del Instituto Clay de Matemáticas.
Cómo se publicó. Según OpenAI, la prueba de matemáticas se generó el 18 de octubre de 2026 y se formalizó en Lean (un asistente de pruebas que permite verificar argumentos con comprobaciones por computadora) al día siguiente; la refutación de la ETH se produjo el 16 de octubre y se formalizó en Lean un día después. Las pruebas en lenguaje natural y las formales en Lean de matemáticas y computación están en un repositorio público de GitHub. Para la ETH, la revisión estará a cargo de Russell Impagliazzo y Ramamohan Paturi (UC San Diego) junto con Ryan Williams (MIT), y OpenAI acordó financiar una conferencia para examinar la afirmación. En física, un grupo externo encabezado por David Gross e integrado por Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov preparará su propia explicación antes de que se publiquen los materiales generados por los modelos. OpenAI dice que las tres colaboraciones operarán de forma independiente, con los participantes libres de publicar sus conclusiones, y que apoyará los talleres y conferencias de revisión mediante una aportación de 5 millones de dólares a la Fundación Simons, anunciada antes.
¿Qué significa para ti? No cambia tu trabajo de hoy. Es una señal de lo que las empresas de IA quieren demostrar: que sus modelos sirven para razonar sobre problemas muy difíciles. Falta ver qué dicen los revisores independientes.
Fuentes
