참고Reddit
Fable 5.2(페이블 5.2), 페르마의 마지막 정리 형식화 성공… 기존 모델 대비 압도적 성능
1,000개 에이전트 협업으로 복잡한 수학 증명을 완수. 에이전트형 모델의 추론 한계가 확장되고 있음.
원문 제목 A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can check step by step. With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.
원문 보기 ↗