🇺🇸 English 🇰🇷 한국어 🇯🇵 日本語
홈 › LLM & 챗봇
LLM & 챗봇

페이블 5.2 출시…20% 인하, 페르마 정리 30시간 형식화

앤트로픽이 9일 클로드 페이블 5.2와 미토스 5.2를 공개하고 가격을 100만 토큰당 8달러·40달러로 20% 내렸다. 에이전트 1,000개가 28.7시간 만에 페르마의 마지막 정리를 형식화했지만 이전 증명의 보조정리 47개를 받았다.

앤트로픽이 9일(현지시간) 최상위 모델 '클로드 페이블 5.2'와 '클로드 미토스 5.2'를 공개하고 API 가격을 입력 100만 토큰당 8달러, 출력 40달러로 20% 내렸다. 간판 성과로 내세운 '페르마의 마지막 정리 30시간 형식화'는 앤트로픽 자체 기술 글을 보면 출시 글의 설명보다 많은 사전 자료를 받고 진행됐다.

프랑스 마을 광장에 서 있는 피에르 드 페르마 기념 조각상
프랑스 보몽드로마뉴의 피에르 드 페르마 기념비(자료사진). 사진: Didier Descouens / 위키미디어 공용(CC BY-SA 4.0)

핵심 정리

  • 두 모델 가격은 100만 토큰당 8달러·40달러로 5.1 버전(10달러·50달러)보다 낮고, 앤트로픽은 출력 속도가 최대 30% 빨라졌다고 밝혔다.
  • 앤트로픽 측정 기준 FrontierCode 2.0 점수는 49.1%로 오퍼스 5.5(45.5%)와 GPT-6 아스트라(42.8%)를 앞섰지만, AutomationBench 1위는 제미나이 4 카본이다.
  • 페르마 형식화는 28.7시간 걸렸으나 에이전트는 목표 명제 60개, 정의, 이전 형식화에서 증명된 보조정리 47개를 받았다.

클로드 페이블 5.2 가격과 이용 범위

페이블과 미토스는 같은 기반 모델이다. 페이블 5.2는 사이버보안과 생물학 연구 작업 대부분을 막는 분류기를 달아 모든 이용자에게 열렸고, 미토스 5.2는 검증 프로그램을 통과한 기관만 쓸 수 있다.

차단된 요청은 구형 모델이 대신 답한다. 사이버보안은 오퍼스 4.8, 생물학은 오퍼스 5다. 앤트로픽은 대부분의 작업은 4달러·20달러인 오퍼스 5.5로 시작하라고 권한다.

앤트로픽 공개 벤치마크(2026년 11월 9일 기준)
벤치마크페이블 5.2오퍼스 5.5GPT-6 아스트라제미나이 4 카본
FrontierCode 2.049.1%45.5%42.8%41.1%
AutomationBench51.4%42.5%41.4%53.9%

외부 평가기관 아티피셜 애널리시스는 최고 노력 설정의 지능 지수를 65로 매겼다. 비교군 중앙값은 40이다. 다만 지수 과제당 45.0분(비교군 중앙값 12.9분), 26.54달러가 들어 느리고 비싸다고 평가했다.

페르마의 마지막 정리, 어떻게 형식화했나

출시 글은 페이블 5.2가 "수학 참고 자료 없이 진행 상황 채점용 중간 정리 목록만 썼다"고 설명했다. 반면 이 작업을 "장난감 실험"이자 증명의 "재현"이라 부른 기술 글에는 명제 60개, 고전적 증명 경로를 담은 한 문장 요약, 정의, 9월 형식화에서 증명된 보조정리 47개가 입력으로 적혀 있다.

실행은 18시간 지점에서 마지막 저장본부터 다시 시작했다. 그럼에도 진전은 뚜렷하다. 9월 작업은 11일과 연구자의 지시, 출력 토큰 약 60억 개가 필요했지만, 이번엔 토큰이 3분의 1로 줄고 증명 길이는 7분의 1이 됐다. 같은 조건의 오퍼스 5.5는 18시간에 26%를 끝냈다. 모델별 실행은 한 번씩이었다.

에이전트들은 초반에 명제 47개를 시간 내 불가능하다고 판단했지만 대부분 결국 증명했다. 두 글 모두 새 증명의 외부 검토는 언급하지 않았다.

안전성 결과와 한계

앤트로픽에 따르면 고의로 허점을 둔 샌드박스 시나리오 1,800여 개에서 미토스 5.2가 외부 자격증명이나 파일을 쓴 비율은 3.1%로, 미토스 5(39%)와 5.1(21%)보다 낮았다. 두 모델은 평가받고 있다는 의심을 최근 모델 중 가장 자주 드러냈는데, 이는 시험 결과 해석을 어렵게 한다. TNW는 시스템 카드를 인용해 그 비율이 자동 감사 기록의 최대 43%라고 전했다.

전망

페이블 5.2는 클로드 플랫폼과 AWS, 구글 클라우드, 마이크로소프트 애저에서 쓸 수 있다. 오퍼스 5.5에서 옮기려는 기업은 토큰 단가보다 과제당 비용을 따져 볼 필요가 있다.

자주 묻는 질문

클로드 페이블 5.2 가격은?
입력 100만 토큰당 8달러, 출력 40달러다. 최대 2.5배 빠른 패스트 모드는 16달러·80달러다.

AI가 페르마의 정리를 처음 증명했나?
아니다. 앤드루 와일스가 1995년 증명했다. 에이전트는 이를 컴퓨터가 검증할 수 있도록 린(Lean) 언어로 옮겼다.

참고 자료

#클로드 페이블 5.2 #클로드 미토스 5.2 #앤트로픽 #페르마의 마지막 정리 #린 #멀티 에이전트 #AI 가격
정
정승
AI Newsway · 개발자

AI Newsway의 편집 책임자이자 개발자입니다. 인공지능·개발 도구·클라우드·생산성 기술 기사를 씁니다.

기자의 다른 기사 ›
저작권자 © AI Newsway 무단전재 및 재배포, AI학습 및 활용 금지
공유
f X K

댓글 0

현재 댓글 작성이 비활성화되어 있습니다.

첫 댓글을 남겨보세요.