Sep 5, 2026Staff NewsSep 5, 2026Anthropic says Claude completed first Lean Fermat's Last Theorem proof