Matematyka

Claude Formalized Fermat's Last Theorem in Eleven Days. The Mathematician Who Tried It Himself: "Nothing New, But Extraordinary"

Anthropic announced the first computer-checked proof of Fermat's Last Theorem in Lean, built by Claude in eleven days: 13.4 million lines of code, independently verified by a separate kernel. It's not new mathematics. It's proof that large-scale autoformalization works.