Anthropic이 2026년 9월 4일 연구 글로, Claude가 Lean으로 페르마의 마지막 정리(FLT)를 처음부터 끝까지 컴퓨터 검증한 증명을 공개했습니다. 원문은 Formalizing Fermat's Last Theorem입니다.

자세한 내용과 근거는 DAKER 원문에서 확인하실 수 있습니다.

핵심 요약

• Anthropic이 2026년 9월 4일 연구 글로, Claude가 Lean으로 페르마의 마지막 정리(FLT)를 처음부터 끝까지 컴퓨터 검증한 증명을 공개했습니다.

• 원문은 Formalizing Fermat's Last Theorem입니다.

• 오늘은 검증·형식화 각도만 정리합니다.

원문 보기: https://daker.ai/community/fermat-lean-11-day-proof

DAKER: https://daker.ai/community/fermat-lean-11-day-proof