Inteligencia Artificial
OpenAI anunció nuevos avances de la IA en matemática, informática y física
La compañía afirmó que sus modelos produjeron resultados sobre tres problemas científicos de larga data. Parte del material ya fue publicado para que investigadores independientes puedan analizarlo y verificarlo.
OpenAI anunció tres nuevos resultados científicos generados por sus modelos de inteligencia artificial en áreas de matemática, ciencias de la computación y física. Los trabajos abordan problemas complejos vinculados con el análisis matemático, la complejidad computacional y la física cuántica.
La empresa presentó los avances este lunes 26 de octubre y puso parte de las demostraciones a disposición de la comunidad académica. Además, convocó a especialistas externos para estudiar los resultados y determinar su alcance.
OpenAI aclaró que considera estos trabajos una forma de “datos de investigación en bruto” que todavía deben ser interpretados y contextualizados por especialistas. Por eso, eligió distintos mecanismos de revisión para cada uno de los tres casos.
Una conjetura matemática de más de 30 años
El primer resultado se relaciona con la conjetura de suavizado local de Sogge, formulada en 1991 y vinculada con el comportamiento de las ondas cuando se concentran.
Según OpenAI, sus modelos produjeron una demostración válida para todas las dimensiones espaciales. De confirmarse, el resultado también permitiría resolver la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones.
La compañía indicó que obtuvo el resultado el 18 de octubre de 2026 y que al día siguiente lo formalizó mediante Lean, un sistema utilizado para verificar demostraciones matemáticas. Tanto la explicación en lenguaje natural como la prueba formal fueron publicadas para su análisis.
Un resultado que cuestiona una hipótesis de la informática
El segundo avance apunta a la Hipótesis del Tiempo Exponencial (ETH), una conjetura ampliamente utilizada en ciencias de la computación para estudiar qué tan difíciles son determinados problemas.
OpenAI sostiene que su sistema logró demostrar que la ETH es falsa. La compañía obtuvo la demostración el 16 de octubre y posteriormente la formalizó en Lean.
El resultado podría tener consecuencias para distintas áreas de la informática teórica, aunque eso no significa que los problemas considerados difíciles puedan resolverse de inmediato mediante algoritmos rápidos.
Para evaluar el trabajo, se conformó un grupo encabezado por Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego, y Ryan Williams, del MIT. Impagliazzo y Paturi participaron originalmente en la formulación de la hipótesis.
El tercer avance apunta a la física cuántica
El tercer resultado se concentra en la teoría cuántica de campos. OpenAI asegura que sus modelos desarrollaron una demostración matemática de la existencia de determinadas teorías cuánticas en cuatro dimensiones, incluida la cromodinámica cuántica (QCD).
El trabajo también incluye un resultado relacionado con la existencia de la teoría pura de Yang-Mills, vinculada con uno de los Problemas del Milenio del Clay Mathematics Institute.
A diferencia de los otros casos, los materiales generados por la IA sobre este resultado no fueron publicados de inmediato. Un grupo de especialistas trabajará primero en su interpretación y presentación académica.
Los anuncios forman parte de una estrategia más amplia de OpenAI para utilizar sus modelos como herramientas de investigación científica. La propia compañía advierte que la supervisión humana y la verificación independiente siguen siendo necesarias, debido a que los sistemas pueden cometer errores o producir razonamientos aparentemente correctos que requieren revisión.
Por lo tanto, el alcance definitivo de los tres resultados dependerá ahora del análisis de la comunidad científica y de su verificación independiente, un proceso clave para establecer qué impacto tendrán estos trabajos en cada disciplina.
