Claude Completes a Computer-Checked Formalization of Fermat’s Last Theorem in Just 11 Days

Claude Completes a Computer-Checked Formalization of Fermat’s Last Theorem in Just 11 Days Anthropic says Claude has co…