페르마의 마지막 정리 형식화

2026년 11월 9일, Anthropic은 공식 엔지니어링 블로그에서 멀티 에이전트 실험 결과를 공개했어요. Claude Fable 5.2 에이전트 1,000개가 협력해 28.7시간 만에 페르마의 마지막 정리를 컴퓨터로 형식화했고, 최종 증명은 Lean 공식 커널 검증을 통과했어요. 두 달 전 첫 형식화 실험은 에이전트 수십 개가 11일 동안 진행했어요. 이것은 “AI가 30시간 만에 페르마의 마지막 정리를 증명했다”는 이야기가 아니에요. 이…