Los problemas resueltos por la compañía de IA incluyen preguntas cruciales en casi todos los subcampos de las matemáticas, y disiparon cualquier duda de que el campo cambió para siempre
“Si un humano hiciera esto, recibiría una Medalla Fields instantánea, sin duda alguna”.
Así es como Alex Kontorovich, director del Departamento de Matemáticas de Rutgers, respondió a una demostración generada por IA que OpenAI, el gigante de la inteligencia artificial, publicó el martes.
Y esa particular demostración —digna, según la valoración de Kontorovich en las redes sociales, del que podría ser el mayor reconocimiento en el campo de las matemáticas— fue solo uno de los más de 350 hallazgos que la empresa publicó ese día, todos a la vez.
No todos fueron tan notables. Pero Martin Bridson, matemático de Oxford y presidente del Instituto de Matemáticas Clay, el cual estableció los codiciados problemas del Premio del Milenio, calificó el lanzamiento de OpenAI de “impresionante”.
“Hasta hace muy poco, habría sido imposible imaginar que las fronteras de las matemáticas pudieran avanzar tanto en un día”, dijo Bridson.
Si existía alguna duda de que los saltos logrados por la inteligencia artificial este año transformarían la disciplina de las matemáticas, las decenas de miles de páginas liberadas el martes la han disipado. Entre los acertijos aparentemente conquistados por OpenAI se incluyen preguntas abiertas cruciales en casi todos los subcampos de las matemáticas, como el álgebra, la teoría de números, la informática teórica, la lógica matemática y la topología.
(The New York Times demandó a OpenAI y Microsoft en 2023 alegando infracción de derechos de autor de contenido de noticias relacionado con sistemas de IA. Las dos empresas han negado esas afirmaciones).
Ninguna de las demostraciones resuelve por completo ninguno de los cinco problemas del Premio del Milenio restantes, los cuales fueron designados a principios de siglo como una forma de celebrar las matemáticas y su vasta frontera de misterios. Pero el cúmulo de hallazgos parecía incluir resultados que logran un progreso tangencial o relacionado en todos ellos. Quizás el resultado más significativo —al que respondía Kontorovich— fue una demostración de la “cuasi hipótesis de Riemann”, una conjetura relacionada con el más conocido de los problemas del Milenio, la hipótesis de Riemann, y una especie de posible peldaño hacia su resolución.
Ken Ono, profesor de la Universidad de Virginia y matemático fundador de Axiom Math, una empresa de inteligencia artificial centrada en las matemáticas, no estaba seguro de si la solución de la cuasi hipótesis de Riemman sería un trampolín para resolver la hipótesis original. Pero dijo que, como se espera con la original, este resultado generaría una enciclopedia de consecuencias, lo cual proporcionaría material abundante para futuros avances.
