AI-ML·중요도 8·2026. 09. 04.·GeekNews
페르마의 마지막 정리 형식화
── KO ──────────────────
Anthropic이 자율적으로 페르마의 마지막 정리를 형식화한 증명을 공개했습니다.
Anthropic은 Claude라는 AI가 11일간 자율적으로 형식화한 페르마의 마지막 정리 증명을 공개했습니다. 이 증명은 기존의 증명을 Lean 언어로 옮겨 컴퓨터가 스스로 검증할 수 있도록 만든 것입니다. 이는 AI가 수학적 증명을 형식화하는 새로운 진전을 보여줍니다.
── EN ──────────────────
Anthropic unveiled a computer-verified proof of Fermat's Last Theorem by Claude.
Anthropic has revealed that its AI, Claude, autonomously formalized a proof of Fermat's Last Theorem over 11 days. This proof does not discover something new but translates an existing proof into Lean for computer verification from start to finish. This marks a significant advancement in how AI can formalize mathematical proofs.