페르마의 마지막 정리 형식화

Anthropic은 Claude가 11일간 대부분 자율적으로 형식화한 최초의 종단 간 컴퓨터 검증형 페르마의 마지막 정리 증명을 공개함
- 새로운 증명을 발견한 것이 아니라, 기존 증명을 Lean으로 옮겨 컴퓨터가 처음부터 끝까지 검증할 수 있게 만든 것임
수십 개의 Cl...