AI safety and research company Anthropic has achieved a major milestone in mathematical reasoning by successfully formalizing Fermat's Last Theorem. This breakthrough demonstrates the growing potential of artificial intelligence to assist in proving and understanding historically complex mathematical concepts.