Un modelo interno de OpenAI ha generado pruebas sobre la conjetura de Kakeya, la hipótesis del tiempo exponencial y teorías de campos; grupos de especialistas examinan sus implicaciones.
OpenAI ha presentado tres resultados obtenidos con un modelo interno de inteligencia artificial. Tratan cuestiones abiertas de matemáticas, informática teórica y física. La empresa ha organizado distintas vías de revisión con investigadores externos para ayudar a entender el alcance de las pruebas.
En matemáticas, OpenAI afirma que el modelo produjo una prueba de la conjetura de alisamiento local en cualquier dimensión. Según la compañía, ese resultado también resolvería las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. Ha hecho públicos tanto el texto generado por el modelo como una formalización en Lean para que otros especialistas puedan examinarlos.
En informática teórica, el sistema generó una refutación de la hipótesis del tiempo exponencial, una conjetura utilizada para estudiar la dificultad de ciertos problemas computacionales. OpenAI indica que formalizó la prueba en Lean y publicó los materiales. Un grupo encabezado por expertos en complejidad y algoritmos trabajará en su interpretación y revisión abierta.
El tercer resultado se refiere a la existencia matemática de teorías cuánticas de campos, entre ellas una construcción relacionada con Yang–Mills y la cromodinámica cuántica. OpenAI señala que formalizó una parte del trabajo sobre Yang–Mills, pero el grupo de especialistas que lo examina ha preferido aplazar la publicación del resto de los materiales mientras prepara su explicación.
Yang–Mills está relacionado con uno de los Problemas del Milenio, pero el anuncio no equivale a la concesión de ese premio. Tampoco significa que todos los detalles y consecuencias de las tres pruebas cuenten ya con una interpretación independiente y definitiva.
Los resultados proceden de un modelo interno, no de una nueva función abierta en ChatGPT. La aportación inmediata es material de investigación que los especialistas pueden estudiar, comprobar y contextualizar antes de establecer qué conclusiones se sostienen.
