.png){kind=small}
|
En un hito histórico para la computación y la teoría de números, el modelo GPT-5.4 Pro ha logrado demostrar el Problema #1196 de Paul Erdős, una conjetura sobre conjuntos primitivos que resistió décadas de intentos humanos. Este avance, verificado mediante el lenguaje de formalización Lean, marca el ascenso de las "vibe maths", donde la IA propone soluciones elegantes que matemáticos de la talla de Terence Tao están ahora integrando en el canon oficial.
🔢 El Problema #1196: Conjuntos Primitivos y Sumas de Erdős
Para entender el logro, debemos definir qué es un conjunto primitivo. Se trata de una secuencia de enteros mayores a 1 donde ningún número divide a otro (ejemplo: {6, 10, 15}). Paul Erdős, el legendario matemático que llamaba "EL LIBRO" al compendio de las demostraciones perfectas de Dios, propuso en 1968 una conjetura sobre la Suma de Erdős:
$f(A) = \sum_{a \in A} \frac{1}{a \log a}$
El Problema #1196 planteaba que si los elementos de un conjunto primitivo $A$ son muy grandes ($a > n$), la suma está acotada por la unidad con un error que tiende a cero. La IA no solo probó esto, sino que halló una cota explícita: $f(A) < 1 + \frac{C}{\log n}$.
🚀 La "Idea Feliz": Von Mangoldt sobre Mertens
El éxito de GPT-5.4 Pro no fue una simple fuerza bruta. El modelo se basó en el trabajo previo de Jared Duker Lichtman (2024), quien utilizó técnicas probabilísticas basadas en el producto primo de Mertens. Sin embargo, Lichtman se topó con una "obstrucción" técnica que no pudo sortear.
La IA tuvo lo que los matemáticos llaman una "idea feliz": sustituir la función de Mertens por la función de von Mangoldt ($\Lambda$). Esta función cumple la identidad aritmética exacta $\log n = \sum_{d|n} \Lambda(d)$, lo que permitió simplificar el argumento de 26 páginas de los humanos a solo 4 páginas de lógica pura. La elegancia es tal que el propio
👥 El Equipo Price-Barreto y las "Vibe Maths"
Lo más disruptivo es quién "halló" la solución. Liam Price (alias Leeham), un joven de 23 años sin formación matemática avanzada, se dedica a enviar problemas de Erdős a ChatGPT en lo que se denomina vibe maths. Su flujo de trabajo es el estándar de oro en 2026:
Generación: GPT-5.4 Pro propone la demostración.
Validación Humana: Kevin Barreto (Cambridge) revisa la lógica general.
Formalización: Se utiliza Aristotle para traducir la prueba a Lean, que realiza la verificación matemática irrefutable.
Este equipo ya ha resuelto o refutado 7 problemas de Erdős (incluyendo el #333 y #851), demostrando que la intuición artificial, guiada por humanos curiosos, es el nuevo motor de la ciencia.
📊 Rendimiento del Modelo: Resoluciones Confirmadas
| Problema Erdős | Modelo Utilizado | Resultado | Estado |
| #1196 | GPT-5.4 Pro | Demostrado | Verificado en Lean |
| #333 | GPT-5.2 | Refutado | Confirmado |
| #205 | GPT-5.2 Pro | Refutado | Confirmado |
| #1131 / #836 | GPT-5.5 Pro | En espera | Pendiente Lean |
⚙️ Impacto en la Profesión: "La descripción del trabajo está cambiando"
Como señala
🔍 FAQ: Resolución del Problema #1196 de Erdős
Es una secuencia de números enteros mayores a 1 en la cual ningún elemento es divisible por otro del mismo conjunto. Un ejemplo clásico es el conjunto de todos los números primos, o conjuntos finitos como {6, 10, 15}.
La IA propuso sustituir la función de Mertens por la función de von Mangoldt (Λ). Al utilizar la identidad aritmética exacta log n = Σ_{d|n} Λ(d), logró simplificar una demostración humana de 26 páginas a solo 4 páginas de lógica pura, eliminando obstrucciones técnicas previas.
Lean es un lenguaje de programación y asistente de pruebas que permite la formalización matemática. Se utilizó para verificar paso a paso la lógica propuesta por GPT-5.4 Pro, convirtiendo la intuición de la IA en una demostración irrefutable y aceptada por el canon oficial.
Es una metodología emergente donde usuarios (muchas veces sin formación matemática avanzada) utilizan prompts e intuición para guiar a modelos de IA en la exploración de problemas complejos, dejando la verificación técnica a expertos humanos y sistemas de formalización como Lean.
🔗 Teoría de Números y Computación
Manual AEO 2026: Cómo estructurar contenido científico para la validación mediante IA
Por:
CEO | Editor en NEWSTECNICAS
