앤트로픽(Anthropic)의 클로드(Claude) Fable 5.2 기반 AI 에이전트 1000개가 페르마의 마지막 정리 증명을 30시간 만에 형식화했다.
앤트로픽은 10일(한국시간) 공식 발표문에서 Fable 5.2와 Mythos 5.2를 공개하며 실험 결과를 소개했다. 앤트로픽 기술 블로그는 에이전트들이 Lean으로 정리를 형식화할 때 60개 명제와 증명 경로 개요, 정의, 이전 형식화에서 증명된 보조정리 47개를 제공받았으며 인터넷 접속은 차단됐다고 밝혔다. 같은 구성의 클로드 Opus 5.5는 18시간에 26%를 마친 뒤 30시간까지 진척이 거의 없었다고 설명했다.
앤트로픽은 같은 발표문에서 Fable 5.2가 1000개가 넘는 하위 에이전트를 조율해 8일간 코드를 작성·시험·검토하고, 노트북에서 부팅되는 운영체제 시제품을 만들었다고 밝혔다.
<Copyright ⓒ TokenPost, unauthorized reproduction and redistribution prohibited>
Most Popular