Anthropic: Claude Completes First End-to-End Lean Formalization of Fermat's Last Theorem - Airosetta News