News
앤트로픽, 클로드가 만든 페르마의 마지막 정리 전산 검증 증명 공개
앤트로픽은 클로드가 11일 동안 대부분 자율적으로 작성한 페르마의 마지막 정리 증명을 공개했으며, 린(수학 증명의 논리 단계를 컴퓨터로 확인하는 도구)이 전체 과정을 검사했다고 밝혔다. 쉽게 말하면 새로운 정리를 발견한 것이 아니라 기존의 유명한 증명을 1,300만 줄의 검증 가능한 코드로 옮긴 성과다. 복잡한 연구 결과를 확인하는 데 드는 수학자의 시간을 줄일 가능성이 있지만, 이는 앤트로픽의 연구 발표이며 작업에는 약 60억 개의 출력 토큰과 내부 연구 모델이 쓰였다. 독립 재현과 전문가 검토 범위, 계산 비용을 확인해야 하며 이번 결과가 곧바로 일반 연구나 실제 운영에 적합하다는 뜻은 아니다.
- 출처Anthropic
- 원문 발행
- KAIPS 게시
이 글은 연구회가 작성한 한국어 요약입니다. 원문의 저작권은 Anthropic에 있으며, 전문은 원문에서 확인해 주세요.