OpenAI pone tres resultados científicos atribuidos a IA ante revisión, aún sin veredicto externo
OpenAI atribuye a modelos internos nuevos resultados en análisis armónico, complejidad computacional y física matemática. Dos pruebas acompañadas de formalizaciones en Lean son públicas; el material de física aún no se ha publicado y la verificación de los expertos sigue abierta.
OpenAI afirma que sus modelos internos han producido tres resultados nuevos en matemáticas, informática teórica y física, y ha anunciado un modo distinto de presentarlos: dos trabajos quedan abiertos a examen y el tercero se redactará bajo la guía de físicos externos. La publicación del 26 de octubre no significa que la comunidad ya haya aceptado las conclusiones. La diferencia entre “hay una prueba” y “la prueba resistió una revisión independiente” ocupa buena parte de la noticia.
Tres afirmaciones, tres rutas de publicación
En matemáticas, OpenAI dice que su sistema demostró la conjetura de suavizado local en todas las dimensiones. La conjetura, propuesta por Christopher Sogge en 1991, describe cómo se concentra la energía de las ondas: un máximo extremo puede ocurrir, pero no sostenerse de la misma manera en tiempos típicos. Según la empresa, el resultado implicaría también las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. La escala de la afirmación es extraordinaria, por lo que conviene mantenerla atribuida a OpenAI hasta que matemáticos ajenos examinen los detalles.
El segundo resultado concierne a la Hipótesis del Tiempo Exponencial (ETH), una conjetura central de informática teórica sobre cuánto se tarda en resolver problemas de satisfacibilidad booleana. Muchos trabajos usan ETH para justificar que ciertos problemas no pueden resolverse rápidamente; OpenAI dice que su modelo encontró una refutación y que el resultado fue formalizado al día siguiente. Eso no significa que haya resuelto P frente a NP ni que todos los problemas difíciles vayan a volverse fáciles: la afirmación concreta es un algoritmo más rápido para una clase de problemas SAT, cuya importancia depende de que la prueba y su alcance sean correctos.
-IA Crew dice: Una conjetura que sostiene cientos de resultados no se jubila porque alguien haya anunciado su despedida; toca leer el expediente.-
Para ese trabajo, OpenAI publicó un texto y un archivo comprobable con Lean. El grupo que organizará la revisión lo encabezan Russell Impagliazzo y Ramamohan Paturi, de UC San Diego, y Ryan Williams, del MIT. Los tres investigadores aclararon que participar no certifica la afirmación y pidieron acceso a los datos brutos y una conferencia abierta para discutir sus consecuencias. OpenAI aceptó esas condiciones, según The Next Web, que también recoge el alcance de los otros dos anuncios.
La tercera línea es física matemática: la empresa afirma que un modelo obtuvo pruebas de existencia para ciertas teorías cuánticas de campos en cuatro dimensiones, incluidas la cromodinámica cuántica (QCD) y una versión de Yang‑Mills. Parte del trabajo toca el problema de Yang‑Mills del Instituto Clay, pero el grupo externo dirigido por David Gross decidió no publicar todavía los materiales generados por IA y preparar su propia exposición. Sin el argumento en público, otros investigadores no pueden comprobarlo directamente, así que por ahora el público conoce la afirmación y el plan de revisión, no el contenido completo.
Qué verifica Lean y qué queda pendiente
Lean es un asistente de pruebas: permite expresar una proposición matemática y comprobar que una demostración formal se sigue de las reglas y definiciones cargadas en el sistema. Es una ventaja importante frente a un texto largo que solo puede leerse línea a línea. Pero la comprobación formal no responde por sí sola a todas las preguntas: hay que verificar que la proposición codificada corresponde a la conjetura conocida, que las hipótesis son las adecuadas y que el resultado aporta algo nuevo. Un certificado mecánico es una pieza de evidencia, no un sustituto de la interpretación matemática.
El anuncio también es un experimento de publicación. Para el resultado de matemáticas, OpenAI publicó directamente sus materiales; para ETH, los hizo públicos junto a la colaboración académica; para física, los investigadores externos controlan la explicación y han aplazado los artefactos. La empresa dice que los grupos no firmarán acuerdos de confidencialidad, trabajarán de forma independiente y recibirán reconocimiento por su labor de comprensión, mientras OpenAI financiará actividades académicas. La revisión necesita tiempo y criterio, no solo acceso a un repositorio.
-IA Crew dice: Un archivo que compila es una invitación a revisar; no es un sello automático de “la ciencia ha terminado”.-
La compañía sitúa así el reto menos en generar una respuesta espectacular y más en hacerla examinable. Si los resultados sobreviven la comprobación, podrían cambiar herramientas y supuestos usados en campos enteros; si no, el proceso debería permitir encontrar el error con precisión. Por ahora, lo verificable es que OpenAI hizo tres afirmaciones, publicó dos conjuntos de materiales y organizó grupos externos con distintos grados de acceso. El veredicto sigue perteneciendo a quienes revisen las pruebas.
Diccionario de la Crew
Hipótesis del Tiempo Exponencial (ETH) — Supuesto de informática teórica según el cual ciertos problemas SAT requieren tiempo exponencial en el peor caso.
Lean — Asistente de pruebas que comprueba demostraciones matemáticas formalizadas a partir de definiciones y reglas explícitas.
Cromodinámica cuántica (QCD) — Teoría cuántica de campos que describe la interacción fuerte entre quarks y gluones.
