참고AI타임스
앤트로픽 클로드, 수학 난제 '페르마의 마지막 정리' 코드화 성공
클로드 에이전트들이 11일 만에 수년 걸릴 형식화 작업을 완료하며 복잡한 추론 능력 입증.
요약
앤트로픽이 다수의 'Claude' 에이전트를 활용해 수학적 난제인 '페르마의 마지막 정리'를 컴퓨터가 검증 가능한 코드로 재구성하는 작업을 11일 만에 완료했다. 해당 작업은 통상 수년이 소요될 것으로 예상되었으나, AI를 투입해 기간을 대폭 단축했다. 페르마의 마지막 정리는 2보다 큰 임의의 양의 정수 a, b, c에 대해 aⁿ + bⁿ = cⁿ이 성립하지 않는다는 수학적 명제다. 앤트로픽은 이번 프로젝트를 통해 복잡한 증명 과정을 형식화하는 데 AI가 강력한 도구가 될 수 있음을 입증했다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 앤트로픽 '클로드', 수학계 난제 '페르마의 마지막 정리' 11일 만에 코드화
원문 보기 ↗