Lo último Anthropic formaliza la demostración del Último Teorema de Fermat mediante inteligencia artificial porseptiembre 5, 2026
