La inteligencia artificial se pone las pilas con las mates: SageMath entra en escena

Mira, te voy a contar una cosa que me ha volado la cabeza. Resulta que la inteligencia artificial, esa que lleva años intentando demostrar teoremas y hacer cálculos como si fuera un catedrático de Oxford, se ha topado con un problema gordo: los sistemas de álgebra computacional (CAS, para los amigos) estaban un poco olvidados en el mundillo de los LLMs. Y aquí es donde entra un equipo de científicos que han dicho: 'Oye, ¿y si juntamos el razonamiento de una IA con la fiabilidad de un programa matemático como SageMath?' Pues eso mismo han hecho.

La jugada es simple pero potente. Han montado un sistema que llaman ReAct, que no es más que una forma de hacer que el modelo de lenguaje, ya sea GPT-4, Claude o cualquier otro, no se limite a hablar por hablar. El chisme funciona así: la IA propone un paso matemático, lo ejecuta en SageMath, recibe feedback verificable, y si se equivoca, pues corrige. Es como tener a un profe de mates que te dice 'eso está mal, inténtalo de nuevo' pero sin el mal humor. Y además, han metido Context7, una base de datos de documentación actualizada, para que la IA no se invente las reglas del cálculo integral sobre la marcha.

Lo guapo de esto es que no están jugando con problemas de instituto, eh. Hablamos de matemáticas de nivel de investigación, de esas que te hacen sudar solo de leer el enunciado. Y los resultados, según el paper, son prometedores. La IA deja de ser una bocazas que suelta ecuaciones random y empieza a comportarse como un matemático con acceso a un ordenador cuántico. Eso sí, no esperes que resuelva la hipótesis de Riemann mañana, pero el avance es real.

Yo lo veo claro: esto es el futuro. Hasta ahora, los LLMs eran como esos amigos que siempre tienen una opinión pero nunca un dato fiable. Con SageMath en el equipo, la cosa cambia. La IA puede calcular, verificar y hasta aprender de sus errores. Y ojo, que esto no solo sirve para matemáticas puras. Imagínate aplicarlo a física, ingeniería o criptografía. El rollo es que la IA deja de ser un loro y se convierte en una herramienta de verdad.

Así que ya sabes, si alguien te dice que la inteligencia artificial no sabe matemáticas, mándale este paper. Porque sí, sabe, pero ahora además comprueba. Y eso, colega, es un salto de gigante.

Según ha adelantado el medio arXiv AI.