Enter로 검색 · ESC로 닫기

AI × Crypto

Anthropic: Claude, 페르마의 마지막 정리 1300만 줄 증명 생성

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

원문

공유

관련 뉴스

TREE NEWS 공유 카드
위 이미지를 길게 눌러 → 사진에 저장 / 공유
보도 요청 의견 보내기