클로드, 페르마의 마지막 정리를 완전 증명했다
358년 난제, AI가 열흘 만에 완전 검증했어요 🔢
마마우스워리어· 2026년 9월 5일· 앤스로픽, 클로드, 페르마의마지막정리, AI수학, Lean증명· 0
11일 만에 350년 난제를 풀었다 — 클로드, 페르마의 마지막 정리 완전 증명 성공
1,300만 줄
1,300만 줄
11일간 클로드가 작성한 Lean 코드량
358년 걸린 증명, 정석으로 재현
1994년 와일스 증명을 클로드가 11일 만에 기계 검증 형태로 재구성
29,500개
29,500개
클로드가 증명해낸 중간 정리 수
지름길 없이 정석 루트로
쿠머는 일부 소수만, 클로드는 와일스·테일러의 전체 경로를 그대로 따랐어요
앤스로픽의 설명
"클로드가 11일간 거의 자율적으로 작업해 최초의 컴퓨터 검증 증명을 완성했다"
— 앤스로픽 리서치
이건 새 수학 발견이 아니에요
이미 증명된 정리를 형식 검증한 것이지, 미해결 난제를 새로 푼 건 아니에요. 그래도 검증 자체가 이정표라는 평가입니다 ✅
1 / 9