Claude Resolvió un Problema Matemático de 60 Años. Qué Cambia Ahora

Un rompecabezas de 60 años resuelto por un sistema para el que no fue entrenado

Claude demostró esta semana la conjetura de la percolación moribunda. No una señal aproximada, no una aproximación numérica: ofreció una demostración formal completa en Lean, codificado como código abierto en GitHub bajo el repositorio anthropics/formal-math. La conjetura había resistido durante seis décadas a algunos de los mejores probabilistas en actividad.

La lectura inmediata es que la IA ya puede resolver problemas que derrotaron a expertos humanos. La más interesante tiene que ver con lo que esto implica sobre cómo se hace investigación en la práctica.

Por qué ese rango dimensional era imposible

La teoría de la percolación se remonta a 1957, cuando Simon Broadbent y John Hammersley modelaron el flujo de fluidos a través de materiales porosos. El objeto central es simple: toma una red Z^d, abre cada arista de forma independiente con probabilidad p, y pregunta si emerge un clúster infinito conexo. Existe un umbral crítico p_c por debajo del cual todos los clústeres permanecen finitos y por encima del cual uno diverge infinitamente. La pregunta es qué sucede exactamente en p_c.

La conjetura de la percolación “moribunda” pregunta si la probabilidad de un clúster infinito en ese umbral es siempre cero, independientemente de la dimensión. En dos dimensiones, Harry Kesten demostró en 1980 que p_c es igual a uno-diez y la conjetura se cumple. Por encima de diez dimensiones, las técnicas de expansión de encaje hacen el problema tratable: el espacio es tan vasto que dos clústeres casi nunca se intersectan por accidente. La brecha terca estaba en todo lo intermedio: dimensiones tres a diez.

Esos rangos resisten ambas herramientas disponibles. La geometría bidimensional no ofrece punto de apoyo en redes superiores. La independencia de diez dimensiones se descompone. El rango intermedio es simultáneamente demasiado estructurado para aproximaciones probabilísticas y demasiado caótico para la intuición geométrica. Permaneció como el régimen más duro precisamente porque era el más relevante para la realidad física.

Qué demostró Claude exactamente

Claude no atacó la conjetura completa desde cero. La demostración se basa en una formulación de 2024 de Gady Kozma y Shahaf Nitzan, quienes propusieron una familia de desigualdades de pegado válidas en grafos ponderados finitos arbitrarios. Demostrar cualquier miembro de esa familia implicaría que theta(p_c) es cero en todas las dimensiones d mayores o iguales a dos.

Kozma y Nitzan ya habían mostrado que incluso el miembro más débil —la así llamada desigualdad de pegado cercana a uno— era suficiente. Claude demostró esa versión débil.

La formalización en Lean de 15 páginas incluye una guía estructural y se encuentra en el mismo repositorio que contiene la formalización autónoma de 11 días de Claude de la Último Teorema de Fermat. Ni la prueba de la desigualdad cercana a uno ni el trabajo de Fermat se presentaron como hazañas solitarias. Ambos se construyen explícitamente sobre matemáticas humanas previas. La diferencia es que el paso decisivo —un paso que ningún humano había logrado en 60 años— provino del modelo.

El campo había estado esperando esto

Hugo Duminil-Copin, ganador de la Medalla Fields 2022 por su trabajo en transiciones de fase en percolación, publicó el 30 de agosto de 2026, pocos días antes del anuncio, un ensayo titulado “¿Quieres un poco más de IA?” en su blog Proofs and Prompts. Identificó la conjetura de la percolación moribunda como el problema abierto más famoso en el área y escribió que una inteligencia artificial alcanzaría una solución antes que un humano.

Duminil-Copin no se rendía. Su argumento era que las demostraciones generadas por modelos representan solo el principio de la digestión matemática. Alguien todavía tiene que reconstruir el camino conceptual, situar el resultado en su historia, generalizarlo y traducirlo a un lenguaje que otros humanos puedan absorber y extender. Sus propios intentos fallidos de la conjetura, señaló, ya habían producido conocimientos independientes.

La pregunta que formuló es la que la comunidad está viviendo ahora: a medida que la investigación fluye cada vez más a través de modelos, qué sucede con los descubrimientos accidentales que surgen de la lucha humana en lugar de la búsqueda sistemática.

Las reacciones se dividen a lo largo de una falla clara

Benedikt Jahnel, de la Technische Universität Braunschweig, quien llamó a la conjetura el “santo grial” del campo y observó que una solución humana merecería plausiblemente una Medalla Fields, describió emociones mixtas tras el anuncio. Expresó deleite genuino por el resultado junto con una desinflación porque el avance decisivo provenía de un sistema en lugar de una persona.

La noticia se propagó rápidamente por la comunidad. Itai Benjamini la señaló a Gil Kalai, quien publicó sobre ello en su blog. Jeff Steif compartió una reflexión más personal sobre lo que significa una vida entera de trabajo en percolación cuando el paso más duro es dado por algo más. Alonso Castillo-Ramirez argumentó que la belleza de una demostración no depende de quién la descubre.

La pregunta subyacente es idéntica en todas las respuestas. Cuando alguien —o algo— cruza un umbral que llevas décadas intentando alcanzar, ¿qué te queda por hacer?

Esta no es la primera vez

La percolación es la última entrada en una lista corta. En agosto, Anthropic anunció que Claude había mejorado cotas relacionadas con la hipótesis de Riemann. Antes de eso, un modelo de la misma familia resolvió diez problemas previamente irresueltos con demostraciones verificadas por Lean. El repositorio también contiene la formalización de Fermat.

El patrón no ha sido uniformemente limpio. OpenAI afirmó en un caso separado haber refutado una conjetura de Erdős sobre un problema de distancia después de 80 años, pero enfrentó críticas por préstamos no atribuidos de otros investigadores. También anunció un resultado de Navier-Stokes que atrajo escrutinio. En septiembre de 2026, 25 receptores de la Medalla Fields emitieron una advertencia conjunta sobre el uso de IA en matemáticas. El debate resultante se intensificó hasta que la posición cautelosa de Terence Tao atrajo críticas públicas de Salvatore Sanfilippo, conocido en línea como antirez.

La demostración de percolación ocupa un lugar diferente en este panorama. Fue publicada, formalmente verificada en Lean, y construida explícitamente sobre conjeturas conocidas. La controversia sobre su corrección debería ser mínima. La controversia es enteramente prospectiva.

Qué cambia ahora

La demostración no reemplaza al matemático humano. Reemplaza al humano que habría sido el primero en el paso crítico.

Esa distinción importa. La investigación matemática siempre ha implicado un relevo: el trabajo anterior define el terreno, identifica los obstáculos y pasa el testigo hacia adelante. Claude corrió el tramo que nadie más podía. La pregunta para el campo es si recibir el testigo más rápido cambia el valor de la carrera misma.

La preocupación de Jahnel captura la tensión. El resultado es correcto. La demostración pasa la verificación en Lean. Pero el proceso que la produjo —un sistema optimizando hacia un objetivo de verificación formal sin los desvíos molestos, intentos fallidos y descubrimientos laterales que provienen del compromiso humano sostenido— puede omitir algo irre recuperable. Las ideas auxiliares que surgen del fracaso, la reorientación de la intuición, la comprensión contextual que hace una demostración significativa en lugar de meramente válida. Esos son los que Duminil-Copin estaba señalando cuando describía la digestión como trabajo necesario, no decoración opcional.

La desigualdad de pegado cercana a uno era la clave. Fue descubierta y propuesta por humanos. Claude encontró el camino a través de ella. Esa secuencia —perspicacia humana definiendo la estructura, ejecución de máquina cerrando la brecha— podría ser el modelo durable en lugar de una anomalía.

Lo que viene después depende de si la comunidad trata esto como una meta final o como un método. La conjetura está resuelta. La conversación sobre cómo opera la investigación dentro y junto a estos sistemas apenas comienza.