Aperiodical Maths News - <a href="https://www.anthropic.com/research/formalizing-fermats-last-theorem">Lean verification of Wiles' proof of Fermat's Last Theorem proof produced by Anthropic's AI Claude (Anthropic press release)</a>