AI 에이전트·툴 유즈

Claude Fable 5.2, 에이전트 1000개로 페르마 정리 형식화

GeekNews·2026-11-14

요약

Anthropic 연구진이 출시 전 버전인 Claude Fable 5.2로 리드 에이전트 1개와 헬퍼 에이전트 999개, 총 1,000개짜리 에이전트 팀을 꾸려 페르마의 마지막 정리 증명을 Lean 언어로 형식화하는 실험을 했어요. 작업은 28.7시간 만에 끝났는데, 9월에 했던 실험(에이전트 수십 개가 연구자 지휘를 받아 11일 걸림)과 비교하면 출력 토큰은 3분의 1, 증명 길이는 7분의 1로 줄었어요. 따로 만든 협업 도구 없이 에이전트마다 Git 브랜치를 쓰고 공유 Postgres 데이터베이스만 활용했어요. 리드 에이전트는 작업 시작 10분 안에 Announce, Assign, Notes, Subtasks, Landed라는 다섯 개 표를 만들어 전체 작업을 관리했고, 가장 어려운 정리인 Langlands–Tunnell은 헬퍼 에이전트 약 750개가 붙어 최대 10단계, 2,418개 작업으로 쪼개 나눠 풀었어요.

큐레이터 노트

원문에 없는 맥락입니다

사람 지휘 없이 1,000개 에이전트가 역할을 나누고 진행 상황을 표로 공유하며 복잡한 수학 증명 작업을 끝낸 사례라, 앞으로 에이전트 여러 개를 어떻게 조직하고 관리하느냐가 중요한 과제로 떠오를 걸 보여줘요.

깊이 읽기

이 기사 한 건이 아니라, 같은 사안을 다룬 이 사이트의 기록을 근거로 정리했습니다

이 일이 어디서 왔나

앤트로픽은 2026년 11월 9일 Claude Fable 5.2를 공개하며 에이전트 팀을 조율해 장기 프로젝트를 수행하고 사전 테스트에서 미해결 이론물리학 문제까지 풀었다고 밝힌 바 있다. 이번 실험은 그 주장을 뒷받침하는 사례로, 9월에 진행했던 에이전트 수십 개·연구자 지휘·11일 소요 실험과 직접 비교된다. 비슷한 시기 구글 딥마인드도 AI 에이전트로 시그널 암호화 코드를 Lean으로 수학적 검증한 사례(11월 10일)를 내놓으면서, 대형 수학·증명 작업에 다중 에이전트를 투입하는 흐름이 여러 회사에서 동시에 나타나고 있다.

짚어야 할 점

  • 핵심은 '사람 지휘 없이' 1,000개 에이전트가 역할을 나눠 작업을 끝냈다는 점으로, 9월 실험의 '연구자 지휘' 구조와 대비된다.
  • 별도 협업 도구 없이 Git 브랜치와 공유 Postgres만으로 1,000개 에이전트를 조율했다는 점은, AWS가 11월 9일 제시한 7계층 에이전트 아키텍처처럼 복잡한 오케스트레이션 체계를 꼭 갖춰야 하는 건 아닐 수 있음을 시사한다.
  • 출력 토큰 1/3, 증명 길이 1/7로 줄어든 효율성 향상이 모델 성능 개선 때문인지, 조직 구조(다섯 개 관리 표) 개선 때문인지는 이 글만으로는 구분되지 않는다.
  • 딥마인드의 시그널 코드 검증이 전문가가 작성한 명세와 Lean 자동 확인을 거쳤던 것처럼, 수학 증명을 AI가 만들었을 때 최종 정확성을 어떤 방식으로 보증하는지가 함께 봐야 할 지점이다.

아직 확인되지 않은 것

  • 이번 페르마 정리 형식화 증명이 Lean에 의해 최종적으로 완전히 검증 완료됐는지, 아니면 일부만 검증된 상태인지는 확인되지 않았다.
  • 출시 전 버전으로 진행된 실험인 만큼, 실제 비용이나 투입된 컴퓨팅 자원 규모에 대한 자료는 나오지 않았다.
  • Langlands–Tunnell 정리에 헬퍼 에이전트 약 750개가 붙었다는 것 외에, 중복 작업이나 충돌 처리를 어떻게 방지했는지에 대한 설명은 없다.

다른 매체는 이렇게 썼다

같은 사안을 다룬 다른 곳의 보도입니다

AWS, 회사 간 AI 에이전트 협업 돕는 A2A 소개
AWS ML Blog · 2026-11-12

AWS가 서로 다른 회사의 AI 에이전트(스스로 일을 처리하는 프로그램)끼리 안전하게 협업하도록 돕는 A2A(Agent-to-Agent) 프로토콜 활용 사례를 블로그에 소개했어요. 이 방식을 쓰면 기업과 소프트웨어 회사(SaaS)가 서로 다른 개발 도구(프레임워크)를 쓰더라도, 비밀 정…

링크알파코리아, AI 리서치 플랫폼으로 스마트금융대상 수상
전자신문 SW · 2026-11-12

링크알파코리아가 'LinqAlpha'라는 멀티 에이전트 AI 리서치 플랫폼으로 제6회 스마트금융대상에서 코스콤 사장상을 받았어요. 이 플랫폼은 헤지펀드, 자산운용사, 증권사가 투자 리서치 업무를 할 때 AI 에이전트가 대신 처리해주는 금융 전용 서비스예요. 글로벌 금융 데이터와 고객사 …

삼성SDS, 132억 한국석유공사 생성형AI 사업 우선협상자로
ZDNet Korea · 2026-11-11

삼성SDS가 132억원 규모 한국석유공사 생성형 AI 플랫폼 구축 사업에서 1순위 우선협상대상자로 뽑혔어요. 2순위는 에코아이티였고, KT는 예가초과로 빠졌어요. 이 사업은 한국석유공사 안에 자체 클라우드 기반 생성형 AI 플랫폼을 만들고, 여러 AI가 역할을 나눠 일하는 멀티에이전트로…

이 사안의 흐름

같은 주제를 다룬 이 사이트의 기록 — 최신순

이 글에 나온 말

용어집 전체 →
AI 에이전트
AI 에이전트는 주어진 목표를 달성하기 위해 스스로 계획을 세우고 도구를 호출하며 행동한 결과를 관찰해 다음 행동을 결정하는 AI 시스템을 말한다.
토큰
언어 모델이 텍스트를 처리할 때 사용하는 최소 단위로, 단어나 단어의 일부, 문장 부호 등을 가리키는 말이다.

이 분야 브리핑

여러 매체가 함께 다룬 사안을 한 번에

이 페이지는 원문을 요약·재서술하고 이 사이트가 쌓은 기록을 덧붙인 큐레이션입니다. 원문 본문은 싣지 않으며, 수치와 표기는 원문 기준을 유지했습니다. 이 글은 AI의 도움을 받아 작성했습니다.

GeekNews 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →