Anthropic has completed a fully verified proof of Fermat's Last Theorem