
ANTHROPIC 뉴스· 7분
Claude, 페르마 마지막 정리를 Lean으로 11일 만에 증명
Anthropic이 9월 4일 Claude가 11일·60억 토큰으로 페르마의 마지막 정리를 Lean으로 형식화했다고 발표했습니다. 검증 방법과 Kevin Buzzard의 평가를 정리했습니다.
- #Anthropic
- #수학
- #형식 검증
3편 · 전체 아카이브
전체 3편

Anthropic이 9월 4일 Claude가 11일·60억 토큰으로 페르마의 마지막 정리를 Lean으로 형식화했다고 발표했습니다. 검증 방법과 Kevin Buzzard의 평가를 정리했습니다.

7월 평가 환경 탈출 사고 뒤 Anthropic이 8월 31일 공개한 정렬·보안 개편안입니다. 150명 재배치, RL 환경 한 달 동결, 외부 평가 규칙, METR 검토를 정리했습니다.

Anthropic이 가장 강력한 차세대 모델을 공개했습니다. 같은 두뇌, 두 개의 얼굴 — 안전장치를 입힌 범용 모델 Fable 5와, 그 안전장치를 벗긴 연구 전용 Mythos 5. 무엇이 달라졌는지 빠르게 훑어보세요.