앤트로픽, 페르마의 마지막 정리 정형 증명 오픈소스 공개… Claude가 전 과정 완수
앤트로픽은 AI 에이전트가 Lean 4로 작성한 페르마의 마지막 정리 기계 검증 증명 코드를 깃허브에 공개했다. 29,511개의 정리와 1,300만 줄 이상의 코드로 구성되었으며, 두 개의 독립 커널 검증을 무오류로 통과했다. 인공지능이 복잡한 고등수학 정형 검증을 대규모로 완수한 첫 이정표다.
앤트로픽은 AI 에이전트가 Lean 4로 작성한 페르마의 마지막 정리 기계 검증 증명 코드를 깃허브에 공개했다. 29,511개의 정리와 1,300만 줄 이상의 코드로 구성되었으며, 두 개의 독립 커널 검증을 무오류로 통과했다. 인공지능이 복잡한 고등수학 정형 검증을 대규모로 완수한 첫 이정표다.