앤트로픽 페이블 5.2, 페르마 정리 형식화 30시간 만에 완료

2026.11.10. 12:05:23

앤트로픽이 현지 시각 11월 9일 클로드 페이블 5.2를 공개하면서, 출시 전 시험 기간에 이 모델이 수학과 물리학, 하드웨어 설계 분야에서 기록한 결과를 함께 공개했다.

앤트로픽에 따르면, 페이블 5.2 에이전트 1,000개가 &#8216;페르마의 마지막 정리&#8217; 증명을 수학 증명 검증 언어 &#8216;린(Lean)&#8217;으로 변환하는 작업을 30시간 만에 마쳤고, 사람의 개입은 최소한으로 이뤄졌다. 새 증명을 찾은 것이 아니라 기존 증명을 컴퓨터가 검증할 수 있는 형식으로 바꾼 작업이다. 앤트로픽은 9월 페이블 5.1 수준의 내부 연구 모델이 같은 작업을 11일 동안 수행했다고 공개한 바 있는데, 페이블 5.2는 행동 토큰을 3분의 1만 쓰고 증명 길이도 7분의 1로 줄였다. 같은 조건에서 클로드 오퍼스 5.5는 18시간 동안 26%까지 진행했다.

물리학 분야에서는 페이블 5.2가 홀로그래피 이중성을 이용해 블랙홀 이론의 미해결 문제 2건을 해결했다고 앤트로픽은 밝혔고, 관련 논문 사전 공개본을 함께 공개했다. 학계 검증을 거친 결과는 아직 아니다. 미토스 5.2는 유전자 치료 전달체로 활용하는 아데노부속바이러스(AAV) 껍질 단백질 34종 가운데 28종의 구조를 정확하게 모델링했다.

하드웨어 설계 시험에서는 프롬프트 1개로 작동하는 전자 기기 3종을 설계했고, 회로 설계 도구 다이오드(Diode)를 활용해 하루가 안 돼 제조 가능한 기판을 준비했다. 한 엔지니어의 시험에서는 하위 에이전트 1,000여 개가 8일 동안 작업해 노트북에서 부팅되는 운영체제 시제품을 완성했다. 우버는 보안 감사에 검토 에이전트 약 170개를 투입해 10~12시간 동안 작업한 사례를 소개했다. 앤트로픽은 출시 전 버전이 기업의 소프트웨어 이전 작업에도 활용됐다고 밝혔다.

하드웨어 공학 평가 &#8216;벤치CAD 2.1&#8217;에서 페이블 5.2는 83.5점을 받아 오퍼스 5.5(65.3점)와 페이블 5.1(44.4점)보다 높았다. 로봇 시뮬레이션 평가 &#8216;로보도조 심&#8217;에서는 64.9%를 기록해 오퍼스 5.5(39.4%)를 앞섰다. 두 평가 모두 앤트로픽이 자체적으로 실행한 결과다.

자세한 내용은 앤트로픽에서 확인할 수 있다.

이미지 출처: 앤트로픽

AI Matters 뉴스레터 구독하기