커뮤니티국내
Claude Fable 5.2로 에이전트 1,000개 팀 안전하게 돌리기 - 페르마의 마지막 정리 형식화 실험
GeekNews
한눈에 보기
앤트로픽 연구진이 Fable 5.2 모델과 1,000개의 AI 에이전트 네트워크를 결합해 복잡한 수학 정리 증명 작업을 대규모로 완수했습니다.
AI 요약 · 오늘의 브리핑 — 정확한 내용은 원문에서 확인해 주세요.
- 처음 보도
- GeekNews · 11.14 23:39
- 종류
- 커뮤니티 · 국내
- 다룬 곳
- GeekNews
Anthropic 연구진이 출시 전 Claude Fable 5.2로 리드 에이전트 1개와 헬퍼 999개를 돌려, 페르마의 마지막 정리 증명을 Lean으로 형식화하는 데 28.7시간이 걸렸음9월 실험(에이전트 수십 개, 연구자 지휘, 11일)과 비교해 출력 토큰은 1/3, 증명 길이는 1/7별도 협업 도구 없이 에이전트별 Git 브랜치와 공유…
원문의 저작권은 GeekNews에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.