¿En qué tipo de matemáticas destacan los modelos de lenguaje?

Un análisis firmado a principios de agosto de 2026 reflexiona sobre qué clase de problemas matemáticos resuelven bien los grandes modelos de lenguaje (LLM), tras el anuncio de OpenAI de haber resuelto diez problemas relevantes en matemáticas y ciencias de la computación teóricas. Entre esos resultados destacan la primera construcción de un grupo no sofic y una demostración de que el número de Ramsey multicolor para tres colores crece superexponencialmente, además de avances sobre la conjetura del jacobiano y la conjetema de las distancias unitarias. El autor subraya que los LLM no son ya superiores a todos los humanos en cualquier área, pero sí muestran un patrón peculiar: sus mayores éxitos suelen ser contraejemplos más que demostraciones de teoremas. Para justificar esa afirmación, el texto discute qué significa exactamente encontrar un contraejemplo, señalando que no basta con negar una cuantificación universal, como ilustra el teorema de Vinogradov sobre la representación de enteros como suma de tres primos. A continuación, se analiza con detalle el diámetro del compactum de Banach-Mazur, repasando el resultado clásico de Fritz John, las estimaciones que involucran matrices de Hadamard y la célebre solución de Gluskin (1981), que estableció las asintóticas correctas. El propósito del artículo es descartar respuestas demasiado simples sobre las fortalezas de los LLM en matemáticas y abrir la puerta a una clasificación más matizada de sus capacidades actuales.