앤트로픽, Claude Fable·Mythos 5.2 공개…Fable 에이전트 1천 개가 페르마 정리 증명 형식화

앤트로픽은 Claude Fable 5.2와 Claude Mythos 5.2를 공개했습니다. 회사는 코딩·추론·비전 분야의 개선을 소개하고, 사전 공개 시험에서 Fable 5.2 에이전트 1,000개가 페르마의 마지막 정리 증명을 30시간 만에 형식화한 사례를 제시했습니다.

수학적 형식화는 증명을 컴퓨터가 단계별로 검사할 수 있는 언어로 옮기는 과정입니다. 형식화는 수학자가 손으로 논증을 확인하는 부담을 덜고 결과에 신뢰를 갖는 데 도움을 줍니다. 앤트로픽은 AI 모델이 만든 결과처럼 사람이 확인하기 어려운 논증에서 특히 유용하다고 설명합니다.

앤트로픽이 비교 대상으로 든 첫 형식화는 공개되지 않은 연구용 Claude 버전으로 진행됐고, 전용 하네스와 연구자의 지도를 받아 11일이 걸렸습니다. 앤트로픽에 따르면 이번 Fable 작업은 최소한의 프롬프트로 시작해 자체 조율 방식을 만들었으며, 수학 참고 자료 없이 중간 정리 목록을 진척 점수로 활용했습니다. 회사는 첫 형식화와 비교해 행동 토큰(action token)을 3분의 1만 사용하고, 완성한 증명의 길이는 7분의 1로 줄었다고 밝혔습니다.

앤트로픽은 같은 1,000개 에이전트 구성으로 Opus 5.5도 시험했습니다. Opus 5.5는 18시간 동안 형식화의 26%를 마쳤고, 30시간이 될 때까지 진척이 거의 늘지 않았습니다.

두 모델은 같은 기반 모델을 쓰지만 안전장치와 이용 경로가 다릅니다. Fable 5.2는 침투 테스트와 익스플로잇 생성 등 고위험 사이버 활동, 연구 생물학 작업 대부분을 차단하는 안전 분류기를 적용해 모든 사용자에게 제공됩니다. 차단된 사이버 요청에는 Opus 4.8이, 생물학 요청에는 Opus 5가 응답합니다. 사이버 보안 전문가는 Cyber Verification Program을, 생명과학 연구자는 Life Sciences Verification Program을 통해 Mythos 5.2 접근을 신청할 수 있습니다.

Claude Enterprise 고객은 Cyber Verification Program 가입 여부와 관계없이 Claude Security를 이용할 수 있습니다. 이 제품은 Mythos 5.2를 포함한 모델로 코드 저장소의 취약점을 찾고, 코드가 바뀔 때 발견 사항을 추적해 수정 여부를 확인합니다.

앤트로픽은 대부분의 코딩·지식 작업에는 Opus 5.5부터 사용하고, 범위가 크고 열린 기술 과제에는 Fable이나 Mythos를 활용하라고 권합니다. Fable 5.2는 다른 모델이 어려운 문제를 풀 때 조언하는 Advisor 역할을 하거나, 단순한 작업을 작은 모델에 맡기는 Orchestrator로도 쓸 수 있습니다.

앤트로픽은 테스터들이 Fable 5.2와 Mythos 5.2의 출력 생성 속도를 각각의 5.1 모델보다 최대 30% 빠르다고 보고했으며 가격도 낮아졌다고 밝혔습니다. 두 모델의 기본 요금은 입력 토큰 100만 개당 8달러, 출력 토큰 100만 개당 40달러입니다. 선택형 빠른 모드는 토큰 생성 속도를 최대 2.5배 높이며, 요금은 입력 토큰 100만 개당 16달러, 출력 토큰 100만 개당 80달러입니다. Fable 5.2는 Claude Platform과 AWS, Google Cloud, Microsoft Azure 등에서 제공됩니다.