¿Te imaginas despertar un martes y descubrir que un algoritmo acaba de jubilar décadas de dolores de cabeza académicos? Pues agárrate fuerte. OpenAI acaba de soltar una auténtica bomba en la comunidad científica. La compañía de Sam Altman asegura tener en sus manos tres descubrimientos «importantes» más en matemáticas, informática y física, generados casi íntegramente por su Inteligencia Artificial. Y ojo, porque no hablamos de resolver ecuaciones de instituto. Hablamos de tambalear los cimientos de la ciencia teórica moderna. Una auténtica locura.
Para que te hagas una idea de la magnitud, el primer supuesto milagro ocurre en el terreno de los números puros. Según una documentación similar publicada por la empresa, su modelo ha logrado una demostración matemática de la conjetura del alisamiento local para la ecuación de ondas euclídea. Quizás este nombre no te suene de nada, pero sus consecuencias son masivas.
Básicamente, OpenAI afirma que este resultado resuelve de un plumazo la conjetura de Kakeya y la restricción esférica de Stein en todas las dimensiones espaciales a partir de dos. Y aquí viene el dato demoledor. Hace apenas unos meses, la profesora Hong Wang recibió la prestigiosa Medalla Fields por resolver esta misma conjetura… pero solo en tres dimensiones. La IA dice haberlo hecho para absolutamente todas. Así de simple. Para permitir el escrutinio, todos los Resultados de OpenAI añadidos hoy a GitHub están ya disponibles sin filtros.
La caída de una barrera histórica en la informática
Pero la cosa no acaba ahí. En el ámbito de la informática teórica, el anuncio es igual de disruptivo, o incluso más. El modelo de lenguaje afirma haber refutado la Hipótesis del Tiempo Exponencial (ETH), un pilar sagrado que la inmensa mayoría de los expertos consideraba verdadero desde que se formuló en 1999.
También te puede interesar:OpenAI Lanza el Modo Visión en Tiempo Real y Compartir Pantalla en EuropaEn concreto, el modelo ha vomitado un algoritmo determinista capaz de resolver el infame problema 3-SAT en tiempo subexponencial y espacio polinómico. Romper esta barrera matemática obliga a reescribir los libros de texto de ingeniería algorítmica. Literalmente.
Para auditar esta barbaridad, OpenAI ha recurrido a expertos externos, a los que denomina «shepherds» o supervisores. En este caso, la revisión corre a cargo de gigantes como Russell Impagliazzo y Ramamohan Paturi (los creadores originales de la hipótesis) junto al investigador Ryan Williams. Por petición expresa de este equipo, los datos puros y la demostración formal en código Lean se han colgado hoy en GitHub. Toca revisar la prueba línea a línea.
La física de partículas bajo la lupa del algoritmo
Por si fuera poco, el tercer hito de este anuncio toca de lleno la física cuántica. Aunque aquí la start-up ha sido más cautelosa y no ha publicado todo el material de golpe, afirman tener una demostración de existencia matemáticamente rigurosa para ciertas teorías cuánticas de campos. Hablamos de campos interactuantes con campos gauge y fermiones en cuatro dimensiones.
Dicho en cristiano, esto supone meterle mano a la cromodinámica cuántica y ofrecer una completación unificada del mismísimo Modelo Estándar de la física de partículas. Ni se inmuta. Para intentar validar semejante hito, el reputado físico David Gross liderará un equipo de revisión en el que participan pesos pesados como Michael Douglas o Arthur Jaffe.
También te puede interesar:OpenAI Lanza el Modo Visión en Tiempo Real y Compartir Pantalla en EuropaEl dilema del acceso VIP a los descubrimientos de la IA
Pero claro, la letra pequeña es que soltar este tipo de avances no es gratis a nivel ético. La decisión de usar supervisores escogidos a dedo ha levantado muchas ampollas en los laboratorios. El panel de asesores matemáticos AGMAI de OpenAI acaba de afirmar ayer que las empresas tecnológicas no deberían otorgar jamás accesos privilegiados a investigadores específicos antes que al resto.
El motivo es evidente: esto genera desigualdad, reputaciones prestadas y un sesgo brutal en la selección de los destinatarios. AGMAI exige que los laboratorios publiquen sus resultados directamente en repositorios académicos abiertos. Y siempre respaldados con demostraciones en Lean y dinero sobre la mesa para financiar a la gente que va a dejarse la vista comprobando si la máquina miente o dice la verdad.
Ante este panorama tan turbulento, varios de los científicos involucrados publicaron una carta abierta. En ella, piden ayuda a gritos a la comunidad para establecer nuevas reglas del juego. Las dudas son razonables. ¿De quién es el mérito en el futuro? ¿Del ingeniero que lanza el prompt o del matemático que invierte dos años en verificar un teorema abstracto escupido por un servidor?
Nos adentramos en un territorio completamente inexplorado. Si estos avances superan el escrutinio del sector académico sin desmoronarse, la función de los científicos humanos mutará para siempre. Pasarían de ser los creadores del descubrimiento a convertirse en simples auditores del silicio. La pelota está ahora en el tejado de la revisión por pares. Veremos si estamos ante la mayor revolución intelectual del siglo XXI, o ante el farol mediático más caro de la historia de la tecnología.
Me dedico al SEO y la monetización con proyectos propios desde 2019. Un friki de las nuevas tecnologías desde que tengo uso de razón.
Estoy loco por la Inteligencia Artificial y la automatización.
