Anthropic formaliza el teorema de Fermat con Claude en 11 días
Anthropic cierra en 11 días un reto matemático de dos décadas Claude, el modelo insignia de Anthropic, formalizó una demostración completa del Teorema de Fermat en el asistente de pruebas Lean, según anunció la propia compañía el 4 de septiembre de 2026. El trabajo, desarrollado sobre la plataforma prove2.me, produjo más de 13,4 millones de …









