클로드가 11일 만에 페르마의 마지막 정리를 기계에 넘겼습니다 — 1,300만 줄과 29,500개의 정리
앤트로픽이 2026년 9월 4일 페르마의 마지막 정리를 Lean 4로 형식화한 결과물을 공개했습니다. 클로드가 11일간 대체로 자율적으로 작업해 1,300만 줄의 코드와 30,300개의 정리를 만들었고, 20년 넘게 비어 있던 100문제 목록의 마지막 칸이 채워졌습니다.
앤트로픽이 2026년 9월 4일 페르마의 마지막 정리를 Lean 4로 형식화한 결과물을 공개했습니다. 클로드가 11일간 대체로 자율적으로 작업해 1,300만 줄의 코드와 30,300개의 정리를 만들었고, 20년 넘게 비어 있던 100문제 목록의 마지막 칸이 채워졌습니다.