OpenAI ya tiene listo Astra, un prometedor modelo de IA que apunta a algo inquietante: el momento Deep Blue de las matemáticas

En 1997, el mundo asistió a un hito histórico: Deep Blue, la supercomputadora de IBM, venció al campeón de ajedrez Gari Kaspárov. Fue la primera vez que una máquina demostró superioridad en un campo dominado por la inteligencia humana. Ahora, casi tres décadas después, la inteligencia artificial parece estar a punto de marcar otro punto de inflexión, pero esta vez en un terreno aún más abstracto y complejo: las matemáticas.

OpenAI ha desarrollado Astra, un modelo de IA generativa que ha logrado avances significativos en la resolución de diez problemas matemáticos que llevaban décadas sin solución. Entre ellos, destacan cuestiones relacionadas con el empaquetamiento de esferas en dimensiones elevadas o la criptografía basada en retículos. Lo más sorprendente es que estos resultados se obtuvieron con un coste inferior a 2.000 dólares en tokens, utilizando la API de su último modelo. No es la primera vez que la IA irrumpe en este campo: en abril, otro sistema resolvió uno de los famosos problemas de Erdös en poco más de una hora, y hace solo unas semanas, un modelo de Anthropic contribuyó a demostrar una conjetura planteada hace casi un siglo.

Cómo funciona y por qué genera debate

Astra no trabaja en solitario. Su proceso combina la generación automática de argumentos matemáticos con la supervisión humana. Los expertos revisan las propuestas de la IA, las transforman en manuscritos y, finalmente, las formalizan en Lean, un sistema que verifica de manera automática si una demostración es correcta. OpenAI también ha publicado un documento donde detalla el razonamiento seguido por la IA en cada caso, lo que permite analizar su metodología paso a paso.

Uno de los logros más destacados es la refutación de las cotas exponenciales en el problema 21 de la teoría de Ramsey, también conocido como el problema 183 de Erdös. Thomas Bloom, matemático y responsable de un sitio dedicado a estos desafíos, calificó este avance como el más sorprendente de la lista. Sin embargo, no todos celebran estos resultados sin reservas. Algunos investigadores piden cautela: advierten que, sin una revisión exhaustiva por parte de matemáticos humanos, existe el riesgo de dar por válidos resultados que podrían contener errores. De hecho, ya se ha señalado que al menos una de las demostraciones presentadas por OpenAI contiene un fallo.

El escepticismo no es infundado. La carrera por demostrar la superioridad de los modelos de IA en campos como las matemáticas o la criptografía está en pleno auge. Anthropic, por ejemplo, anunció recientemente que su modelo Mythos Preview había identificado nuevas vulnerabilidades criptográficas tras invertir 100.000 dólares en tokens. Esta competencia plantea preguntas incómodas: ¿Estamos ante una herramienta revolucionaria o ante un sistema que, en su afán por impresionar, podría generar resultados poco fiables?

Qué significa para tu negocio

Para una pyme del sector de la construcción, reformas, inmobiliarias o servicios técnicos, estos avances pueden parecer lejanos, pero su impacto será tangible en poco tiempo. La IA ya está transformando áreas como la optimización de recursos, el diseño de estructuras o la detección de fallos en proyectos. Imagina poder resolver problemas complejos de logística, calcular con precisión los materiales necesarios para una obra o incluso predecir riesgos en la seguridad de tus instalaciones, todo ello con la ayuda de herramientas basadas en modelos como Astra. Eso sí, la clave estará en adoptar estas tecnologías con criterio: no se trata de confiar ciegamente en los resultados de una IA, sino de usarla como un aliado que agilice procesos y reduzca errores, siempre bajo supervisión humana. La revolución ya está aquí, y las pymes que sepan integrarla con inteligencia —nunca mejor dicho— tendrán una ventaja competitiva clara.