AI Briefing#fermats-last-theorem
#fermats-last-theorem와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
#fermats-last-theorem와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
Claude가 Lean 언어로 페르마의 마지막 정리를 11일 만에 자율적으로 형식화하며 1,300만 줄의 코드를 생성했다.
Anthropic이 Claude와 Prove2Me 플랫폼을 활용해 페르마의 마지막 정리를 11일 만에 컴퓨터 검증 가능한 형태로 형식화하는 데 성공했다.