
ANTHROPIC 뉴스· 3분
Claude, 페르마 마지막 정리를 Lean으로 11일 만에 증명
Anthropic이 9월 4일 Claude가 11일·60억 토큰으로 페르마의 마지막 정리를 Lean으로 형식화했다고 발표했습니다. 검증 방법과 Kevin Buzzard의 평가를 정리했습니다.
- #Anthropic
- #수학
- #형식 검증
50편을 모았습니다. 검색하거나 카테고리로 좁혀 보세요.
3편을 찾았습니다.

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

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

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