Anthropic presenta Claude Fable 5.2: el teorema de Fermat en Lean en 30 horas en lugar de 11 días

Cuando un laboratorio dice «la IA ahora hace ciencia», la primera pregunta es sencilla: ¿qué hizo exactamente y quién lo verificó? Anthropic ha lanzado Claude Fable 5.2 y Mythos 5.2 y ha traído de golpe cuatro afirmaciones. Tienen pesos muy distintos, y no conviene mezclarlas en un único titular de «avance».

Qué afirmó exactamente Anthropic

Según la compañía, Fable 5.2 formalizó en Lean la demostración del último teorema de Fermat en 30 horas. La versión anterior necesitaba 11 días para lo mismo. En un segundo experimento, Fable coordinó a más de mil agentes de IA, que en ocho días escribieron un prototipo de sistema operativo con su propio núcleo, controladores e interfaz gráfica.

Las otras dos afirmaciones tienen que ver con la ciencia. Anthropic informa de la resolución de dos problemas abiertos de física teórica relacionados con los agujeros negros y la gravedad cuántica. El modelo Mythos, según la empresa, propuso un nuevo método para modelar las cápsides proteicas de los virus.

Dónde está la señal real

La historia más valiosa para los profesionales es la de Lean. Es un sistema en el que la demostración no la comprueba un revisor, sino un compilador. O la cadena de razonamiento cuadra, o el archivo no compila. Formalizar una demostración conocida significa traducir un texto humano, con frases como «es evidente que», a una forma máquina estricta. Es un trabajo rutinario enorme, y reducirlo de 11 días a 30 horas supone una aceleración de casi nueve veces.

Importa también otra cosa: un resultado así puede comprobarse sin fiarse de la palabra del laboratorio. Si Anthropic publica los archivos fuente, cualquiera podrá pasarlos por Lean. Es la misma lógica que la de las pruebas y el compilador en el desarrollo habitual: cuanto más estricto es el verificador automático, más seguro resulta soltar a un agente en un trabajo largo.

La historia de los mil agentes es interesante no por el sistema operativo en sí, sino porque el modelo actúa como director de orquesta. La cuestión ya no es lo bien que escribe una función, sino si mantiene un plan, reparte tareas y reúne el resultado tras una semana de trabajo. En la publicación no se dice nada del coste, del número de errores ni de cuánto dista el «prototipo» de un sistema funcional. Sin esas cifras no se puede valorar la escala.

Qué sigue en duda

El autor de la publicación original señala él mismo salvedades importantes. La IA no demostró de nuevo el teorema de Fermat: la demostración se conoce desde hace mucho y solo la tradujo a forma formal. Es un logro de ingeniería, no un descubrimiento matemático.

Con la física hay que ser aún más prudente. Los resultados se presentan por ahora como preprints, es decir, no han pasado revisión por pares, solo se han publicado. La mayoría de los experimentos los realizó la propia Anthropic. En el material no hay reproducciones independientes, comparaciones con los métodos existentes ni cifras de métricas para las cápsides proteicas de los virus. Por ahora es una afirmación, no un hecho establecido.

Qué hacer con esto

Desarrolladores. Quédense con el patrón, no con la marca. Donde el resultado del agente lo verifica una máquina (Lean, pruebas, tipos, simulación), las tareas autónomas largas ya son realistas. Donde la verificación se reduce a «más o menos parece correcto», es pronto para delegar tanto.

Product managers. Fíjense en la duración de las tareas, no en los benchmarks de cinco minutos. El paso de 11 días a 30 horas indica que los modelos mejoran rápido en horizontes largos. Incorpórenlo a la planificación, pero compruébenlo con sus propios casos.

Fundadores. No construyan una hoja de ruta sobre un comunicado de prensa. Esperen datos primarios, reproducciones independientes y condiciones de acceso: en la publicación no se mencionan ni el precio ni la disponibilidad en la API. Por ahora se puede anotar con calma que los sistemas agénticos han aprendido a trabajar durante días y no minutos. Pero las declaraciones sobre «problemas de física resueltos» conviene dejarlas al margen hasta que las verifique alguien que no sean los autores.