OpenAI presenta Astra: la IA que resuelve problemas matemáticos históricos

El avance de la inteligencia artificial ha alcanzado un nuevo hito en el campo de las ciencias exactas. OpenAI ha presentado Astra, una versión interna de su modelo de IA generativa que ha logrado resolver o avanzar en la resolución de diez problemas matemáticos que permanecían sin solución durante al menos una década. Este desarrollo marca un precedente significativo, comparado por expertos con el histórico enfrentamiento entre Garry Kasparov y Deep Blue en 1997.

Resolución de problemas complejos a bajo coste

El despliegue de Astra ha demostrado una eficiencia notable, logrando estos resultados con un coste inferior a 2.000 dólares en tokens utilizando la API de GPT-5.6 Sol. Entre los logros destacados se encuentra la refutación de las cotas exponenciales, vinculada al problema 21 de la teoría de Ramsey, un resultado que ha generado sorpresa en la comunidad científica. Para garantizar la veracidad de los hallazgos, los argumentos generados por la IA fueron supervisados por expertos humanos y formalizados mediante el sistema Lean, que permite verificar automáticamente la validez de las demostraciones.

El papel de la IA en la investigación matemática

La integración de herramientas como la OpenAI API en el trabajo de matemáticos de élite, como Terence Tao, está transformando la investigación científica. Sin embargo, el anuncio ha suscitado un debate sobre la fiabilidad de estos métodos. Mientras que algunos investigadores aplauden el potencial de la inteligencia artificial, otros especialistas han pedido cautela, advirtiendo sobre la necesidad de una revisión humana exhaustiva y el consenso académico antes de validar los resultados. La comunidad científica insiste en la importancia de transparentar no solo los éxitos, sino también los intentos fallidos, para medir con precisión las capacidades reales de estos modelos.