AI Briefing#fermat-last-theorem
#fermat-last-theorem와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
#fermat-last-theorem와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
Claude Fable 5.2가 30시간 만에 페르마의 마지막 정리를 Lean으로 형식화했다.
Anthropic이 Claude로 페르마의 마지막 정리의 첫 완전 기계 검증 증명을 공개했다.