뉴스로 돌아가기뉴스 요약AI가 350년 된 수학 문제를 풀며 가장 긴 증명서를 작성했습니다Anthropic는 Claude가 11일 동안 페르마의 마지막 정리를 1,300만 줄의 코드로 변환하여 인간의 신뢰 없이 컴퓨터가 자체적으로 확인할 수 있도록 했다고 말했다.출처Decrypt게시 시간2026-09-05 13:01 UTC캐시 업데이트2026-09-05 13:03 UTCArtificial Intelligence이 페이지는 제목, 요약, 출처 정보만 표시합니다.원문 열기 ↗전송 수수료 확인관련 주제01Users and AppsDecryptFollow consumer wallet, application, security, DeFi, and market updates before deciding whether Energy rental is needed.
