Los últimos modelos de IA no saben razonar, pero PrologMCP les da un empujón
arXiv:2606.14935v1 Announce Type: new Abstract: Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic delegation offers a complementary route: a language model translates the
Mira, te voy a contar una movida que he visto en arXiv y que me ha hecho tilín. Resulta que los modelos de lenguaje más potentes, esos que tanto flipamos con ellos, siguen siendo unos negados para según qué tareas de deducción. No es coña: te metes un problema de lógica un poco enrevesado y el modelo se hace un lío. Y lo peor es que la solución que proponen las grandes tecnológicas para mejorar esto es 'que piense más rato', como si echarle más horas a un examen fuera a arreglar que no te sabes la materia. Mal.
Pues aquí es donde entra una idea que mola bastante: delegar. En lugar de pedirle al modelo que haga de todo, le dejamos que traduzca el problema a un lenguaje que las máquinas entienden de verdad, como el Prolog, y que sea un solucionador externo el que haga el trabajo sucio de inferir. Esto no es nuevo, ojo. Lo que pasa es que hasta ahora cada uno se montaba su propio chiringuito: un programa aquí, un script allá, todo muy artesanal y poco escalable.
Y aquí llega el invento del día: PrologMCP. Básicamente, es un interfaz estandarizado para que los modelos de lenguaje se comuniquen con herramientas de Prolog como si tal cosa. Piensa en ello como un traductor universal entre el lenguaje natural y la lógica de programación. El modelo te escribe el problema en Prolog, y un motor externo se encarga de resolverlo. Simple, elegante, y lo mejor de todo: funciona.
Lo interesante es que esto no va solo de hacer que los modelos sean más listos. Va de reconocer que tienen límites y de buscar soluciones prácticas. Porque, seamos sinceros, por mucho que los entrenen con más datos y más vueltas, hay cosas que no van a mejorar solo con escalar. A veces la respuesta está en mirar fuera, en herramientas viejas pero buenas como Prolog, que lleva décadas demostrando que para ciertas cosas es imbatible.
En fin, que si te interesa el tema de cómo hacer que las IAs no parezcan listillos que se quedan en blanco en el examen de lógica, échale un ojo. Que no todo es hype y prompts bonitos.
Según ha adelantado el medio arXiv AI.
