TREE NEWS 소식: Anthropic은 AI 모델 Claude가 350년 된 수학 문제인 페르마의 마지막 정리에 대한 1300만 줄의 증명을 인간의 신뢰 없이 컴퓨터가 검증할 수 있는 형태로 11일 만에 생성했다고 발표했습니다. 이 위업은 AI 기반 형식 수학의 이정표를 나타냅니다.
TREE NEWS 소식: Anthropic은 AI 모델 Claude가 350년 된 수학 문제인 페르마의 마지막 정리에 대한 1300만 줄의 증명을 인간의 신뢰 없이 컴퓨터가 검증할 수 있는 형태로 11일 만에 생성했다고 발표했습니다. 이 위업은 AI 기반 형식 수학의 이정표를 나타냅니다.