OpenAI divulgó esta semana 377 resultados matemáticos nuevos que abarcan álgebra, teoría de números, informática teórica, lógica matemática y topología. El anuncio, realizado el 7 de octubre, ha sacudido a la comunidad científica mundial y reavivó discusiones sobre los límites del razonamiento artificial en las ciencias exactas.
La publicación llega apenas un mes después de que la empresa anunciara que había logrado descifrar la ecuación de Navier-Stokes, uno de los llamados Problemas del Milenio, cuya solución tenía ofrecida una recompensa de un millón de dólares. Este hito anterior ya había generado controversia entre matemáticos de renombre que cuestionaban la originalidad del trabajo.
El consejo asesor dijo que deberían publicarse todas las instrucciones dadas a los agentes de IA y las cadenas de pensamiento de los agentes, calificando la publicación como «el comienzo, no la finalización, del proceso de comprensión humana y la incorporación del trabajo al conocimiento matemático». Muchas de las demostraciones fueron comprobadas con Lean, un lenguaje informático que verifica la lógica matemática subyacente a cada solución.
Los expertos plantean interrogantes sobre la naturaleza del trabajo realizado. El anuncio reavivó un debate que ya venía creciendo: ¿la inteligencia artificial piensa o solo completa los pasos finales de demostraciones ajenas? Según indicó OpenAI, cada demostración promedio demandó cerca de tres horas de cómputo. Aunque esta noticia no afecta directamente a Honduras y Centroamérica en lo inmediato, el avance marca un punto de inflexión en cómo la tecnología transformará disciplinas académicas y laborales globales en los próximos años.
