Una consulta terminó convirtiéndose en investigación formal
El problema 1196 de Erdős fue resuelto después de que Liam Price utilizara GPT-5.4 Pro y compartiera el resultado con matemáticos especializados en el tema.
La respuesta inicial necesitó interpretación y desarrollo humano, pero terminó dando origen a un artículo firmado por ocho investigadores, entre ellos Jared Duker Lichtman, Price y Terence Tao, que atribuye explícitamente a la salida del modelo la idea del nuevo método.
El problema estudia conjuntos donde nadie divide a otro
Un conjunto primitivo de enteros se construye de manera que ninguno de sus integrantes pueda dividir exactamente a otro elemento del mismo conjunto.
Erdős, Sárközy y Szemerédi habían planteado hace décadas un límite para una suma que mide el tamaño de esos conjuntos cuando contienen números cada vez mayores; la nueva demostración alcanza ese límite y una versión fue además formalizada en Lean, lo que permite comprobarla mediante un asistente de pruebas.
El hallazgo sobrevivió al problema que lo originó
El resultado más interesante no quedó limitado al número 1196.
El método, basado en cadenas de Markov con pesos de von Mangoldt, permitió resolver también otra conjetura de Erdős, Sárközy y Szemerédi identificada como problema 1217, producir una demostración más corta del problema 164 y avanzar sobre una variante de la conjetura de Banks-Martin.
La verificación humana sigue formando parte del proceso
El episodio coincide con una expansión más amplia de la IA hacia investigación matemática: OpenAI publicó en agosto otros diez resultados sobre problemas abiertos y señaló que sus argumentos fueron posteriormente preparados y formalizados en Lean.
Los propios datos de la empresa publicados el 6 de septiembre muestran, sin embargo, que los agentes todavía necesitan intervención humana con frecuencia en trabajos complejos.
El cambio relevante no es que un modelo elimine al matemático, sino que ya puede proponer ideas que especialistas después deben reconocer, comprobar, desarrollar y atribuir correctamente.
Siempre hay algo nuevo zumbando en Abejorro Media. Información, análisis, entretenimiento y esas historias que vale la pena conocer tienen un lugar en nuestra programación. Entra aquí para descubrir nuestros contenidos y acompáñanos todos los días.
Y si quieres seguir explorando, visita nuestra página de Abejorro Media y date una vuelta por todo lo que tenemos para ti: Noticias, Humor político, Espectáculos, Deportes, Finanzas y Tecnología. 🐝
