#Lean

Claude, 페르마 마지막 정리를 Lean으로 11일 만에 증명

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

• #Anthropic
• #수학
• #형식 검증