La verdad es que la tecnología siempre nos sorprende con un ‘klk’ nuevo, y esta vez, OpenAI nos ha dejado con la boca abierta. Asegun el reporte, están soltando un modelo de inteligencia artificial que han bautizado como Astra, y la ‘vaina’ promete ser el ‘Deep Blue’ de las matemáticas, trayendo a la mente aquel histórico pique de Gari Kaspárov contra la máquina en el 97, que en su momento fue considerado la primera derrota definitiva del hombre ante la máquina en el ajedrez.
Imagínate tú, esta gente de OpenAI no está jugando. Han dicho que su modelo Astra ha logrado resolver, o por lo menos echar pa’lante, diez problemas matemáticos que tenían más de diez años dándonos dolores de cabeza a los expertos, y en muchos casos, ¡mucho más tiempo! Y lo más ‘jevi’ de todo es que esto lo consiguieron con un gasto de apenas 2,000 dólares en tokens, una verdadera ganga para la magnitud de lo que se logró, utilizando los precios de la API de GPT-5.6 Sol, según la misma noticia.
Y es que la IA está cambiando el juego en las matemáticas en este 2026, eso está claro. Según el reporte, no es solo Astra. Ya en abril de este año, GPT-5.4 demostró su ‘tigueraje’ resolviendo uno de los célebres problemas de Erdös en un puyao de 80 minutos. Además, Fable 5 de Anthropic, hace solo dos semanas, ayudó a tumbar una conjetura que llevaba casi un siglo en pie. Hasta Terence Tao, a quien algunos llaman el ‘Mozart de las matemáticas’ hoy en día, está usando la IA como su ‘pana’ para buscar soluciones a los problemas más complicados. ¡Esa sí es una buena alianza, klk!
Pero no creas que esto fue una magia de la máquina sola, ¡qué va! Los responsables de OpenAI explicaron que Astra trabajó de la mano con la supervisión humana en distintas fases. O sea, Astra soltaba los argumentos matemáticos, los expertos los convertían en manuscritos y después, para que no quedara duda, formalizaban cada argumento en un certificado Lean, un sistema que te verifica si la demostración es correcta de una vez. Y para que veas que no hay guayaba, la compañía hasta publicó un documento adicional de su IA explicando el proceso de razonamiento que siguió en cada prueba.
Entre toda esa pila de logros, hay uno que se lleva el premio gordo, según la noticia: la refutación de las llamadas cotas exponenciales. Esa es la ‘vaina’ número 21 de la teoría de Ramsey, y para que entiendas la magnitud, es el problema 183 de Erdös. Thomas Bloom, el que maneja la página erdosproblems.com, comentó en X que ese resultado fue el que más lo dejó ‘prendío’ de toda la lista que soltó OpenAI. ¡Un palo, sin duda!
Ahora bien, la cosa no es solo aplausos y alegría. Aunque muchos investigadores estaban ‘to’ el mundo’ celebrando en X, otros pidieron ir con calma, con ‘dos dedos de frente’. Bharath Ramsundar, un matemático, soltó que estamos armando una torre de resultados de IA que ‘quizás son verdaderos’, y que hay que esperar a que los matemáticos de carne y hueso revisen bien eso y alcancen un consenso sobre su validez real. Ital Sher fue más allá, diciendo que deberían publicar también la lista completa de problemas que la IA intentó y no resolvió, no solo los éxitos, para poder evaluar el ‘tigueraje’ completo del sistema. Y para ponerle más picantico a la ‘vaina’, Jenny Lorraine Nielsen, otra investigadora, afirmó en X que por lo menos una de esas demostraciones contiene un error. ¡Así es la vida, mi gente, siempre hay que chequear bien!
Y es que esta movida de OpenAI no viene sola, ¡no señor! Se da justo después de que Anthropic ‘sacara el pecho’ diciendo que su modelo Mythos Preview encontró nuevas debilidades criptográficas, aunque se gastaron cien mil dólares en tokens. Se ve claro que hay una competencia ‘bacana’ entre estas compañías de tecnología, no solo para ver quién encuentra más fallos de seguridad, sino también para ver quién le da más pela a la capacidad humana en la resolución de problemas matemáticos. ¡La carrera está de lo más interesante, klk!
Si te ha gustado este artículo, ¡compártelo con tus amigos, o déjanos un comentario!
Ingeniero de Sistemas especializado en Inteligencia Artificial y Automatización de Procesos. Con una trayectoria enfocada en la convergencia entre tecnología de vanguardia y comunicación digital, Ramón lidera la implementación de modelos generativos aplicados al periodismo dominicano. Su trabajo garantiza que la información que llega a la diáspora no solo mantenga nuestra identidad “del patio”, sino que cumpla con los más altos estándares de veracidad y optimización técnica de la web moderna (2026).
