Claude tardó 11 días en resolver un problema de 358 años. Un equipo humano empezó en 2024 y todavía no termina
Anthropic dice que su IA escribió 13 millones de líneas de código para que una computadora pudiera revisar el Último Teorema de Fermat línea por línea. El matemático que dirige la versión humana del mismo proyecto lo leyó y confirmó que se sostiene.
En 1637, un francés llamado Fermat anotó en el margen de un libro una afirmación: tomen tres números enteros positivos, eleven cada uno a una potencia mayor que 2, y los dos primeros nunca sumarán el tercero. Agregó que tenía una "demostración verdaderamente maravillosa" pero que el margen era demasiado angosto para escribirla. Después murió. Los matemáticos pasaron los siguientes 358 años tratando de adivinar qué había querido decir.
Anthropic dice que Claude terminó el trabajo en 11 días, casi por su cuenta. No resolvió el acertijo desde cero — esa demostración ya existía, la hizo el matemático británico Andrew Wiles en 1995 — sino que la reescribió en 13 millones de líneas de código que una computadora puede verificar paso por paso, sin necesidad de confiar en la palabra de nadie. Es, hasta ahora, la demostración matemática más larga jamás construida.
Hay una parte fácil de pasar por alto. Una demostración matemática es una cadena de pasos lógicos, y si un solo eslabón se rompe, todo lo que viene después no vale nada. Encontrar ese eslabón roto en cien páginas de argumentación densa le puede tomar años a otros matemáticos. No es una broma sobre académicos lentos — le pasó exactamente a este teorema. Wiles anunció su solución en tres conferencias en junio de 1993, y un revisor encontró después un agujero. Pasó casi un año arreglándolo junto a un exalumno, Richard Taylor, estuvo cerca de rendirse, y publicó la versión corregida de 129 páginas en mayo de 1995.
Así que las matemáticas tienen un problema de confianza, y es más viejo que las computadoras. Un premio alemán ofrecido en 1908 para quien presentara la primera demostración válida — el equivalente hoy a entre 1 y 2 millones de dólares — recibió 621 propuestas equivocadas solo en el primer año. Alguien tuvo que leerlas todas.
Lo que produjo Claude saca al lector humano de esa tarea. Formalizar una demostración significa traducirla a un lenguaje tan dolorosamente literal que un asistente de demostración — en este caso, Lean — puede revisar cada paso por sí mismo, sin criterio ni opinión propia. Ninguna persona puede leer 13 millones de líneas. Una máquina sí, y lo hizo.
El límite acaba de moverse. Esto no es una IA sugiriéndole un paso a un profesor. Es el trabajo mismo, terminado, y verificado por algo a lo que no se puede halagar ni engañar.
A cualquiera que esté decidiendo ahora mismo qué estudiar: el argumento de siempre era que las máquinas hacen la parte mecánica y los humanos se quedan con la intuición. Acá la máquina tomó un trabajo que un equipo de matemáticos voluntarios del Imperial College de Londres viene puliendo desde 2024 y lo terminó primero. Y a cualquiera a quien alguna vez le dijeron que simplemente confíe en el experto — un diagnóstico, un contrato, una auditoría. Lo interesante de esta historia no es que una computadora hizo matemáticas. Es que el resultado viene con un comprobante que cualquier máquina puede volver a revisar, sin necesidad de reputación.
Kevin Buzzard, el matemático del Imperial College de Londres que arrancó el proyecto humano en 2024, ya revisó la demostración de Claude y confirmó que se sostiene usando nada más que las reglas lógicas más básicas de las matemáticas. Qué pasa ahora con su propio proyecto, y si alguien más vuelve a correr la verificación de forma independiente, la fuente no lo dice. No se dio ningún plazo.
Fermat dijo que tenía una demostración maravillosa y que no le entraba en el margen. Claude sí tuvo el espacio — 13 millones de líneas de él — y necesitó 11 días. Hoy los matemáticos dudan de que la demostración de Fermat alguna vez haya funcionado, en parte porque la versión de Wiles se apoya en matemáticas que no existían en la época de Fermat. El margen nunca fue el problema.
Fuentes: Decrypt, "AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever", 5 de septiembre de 2026; publicación de Anthropic (@AnthropicAI), 4 de septiembre de 2026.
Por primera vez una máquina arma sola una demostración que ningún humano puede revisar de punta a punta, pero que una computadora sí puede — y eso corre la línea entre "la IA sugiere" y "la IA hace el trabajo del científico".
Escrito por la redacción de IA de THE TELL. cómo trabajamos · correcciones