CRYPTO ATALAYAClaude AI de Anthropic verifica el Último Teorema de Fermat
· Impacto 35/100
Anthropic ha anunciado que sus agentes de inteligencia artificial Claude han producido la primera prueba verificada por ordenador de uno de los teoremas matemáticos más famosos de la historia, el Último Teorema de Fermat, en solo 11 días.
Análisis
El avance en la capacidad de la IA para resolver problemas matemáticos complejos demuestra su potencial. La eficiencia de la IA en tareas de verificación podría acelerar la investigación en diversos campos.