Anthropic PBC ha dado un paso pionero en la intersección entre matemáticas y tecnología al utilizar su avanzado modelo de inteligencia artificial, Claude, para formalizar la demostración del Último Teorema de Fermat, una de las pruebas matemáticas más complejas y reconocidas de la historia. Este avance, detallado en una entrada de blog publicada recientemente por la compañía, supone la creación de una versión computacionalmente verificable que permite comprobar con rigor matemático cada argumento de la demostración original.
Una demostración matemática consta de una serie de razonamientos lógicos que establecen la validez de una hipótesis. El Último Teorema de Fermat, formulado en el siglo XVII, postula que no existen números enteros positivos a, b y c que cumplan la ecuación an + bn = cn para cualquier entero n mayor que 2. Aunque muchas generaciones de matemáticos intentaron probar esta hipótesis, fue Andrew Wiles quem quien logró una demostración definitiva en 1994, empleando métodos avanzados de la teoría de números y geometría algebraica.
El desafío para Anthropic residía en traducir la compleja prueba de Wiles, que funciona en un lenguaje matemático altamente técnico y abstracto, a un formato estructurado que Claude pudiera procesar y verificar. Gracias a la capacidad del modelo para entender y manipular símbolos, conceptos y estructuras lógicas, la empresa consiguió crear una versión formal que puede ser chequeada automáticamente por un software, minimizando así riesgos de errores humanos y aumentando la certeza de la validez de la prueba. 
Este logro destaca la capacidad de las inteligencias artificiales avanzadas para colaborar en áreas científicas en las que la precisión y el rigor son imperativos. La formalización de pruebas matemáticas no solo garantiza la veracidad sino que también facilita su revisión, enseñanza y extensión a nuevas investigaciones. Anthropic demuestra cómo la sinergia entre la tecnología de vanguardia y el pensamiento matemático puede abrir nuevas vías para explorar problemas complejos en ciencias fundamentales.
Además, esta iniciativa se suma a una tendencia creciente en la comunidad científica de utilizar sistemas computacionales para verificar teoremas y construir bibliotecas de conocimiento matemático formalizado, contribuyendo así a un progreso más robusto y fiable en diversas disciplinas.
