anthropics/fermats-last-theorem 조사 보고서 — Lean 4 기계검증 페르마의 마지막 정리 증명 — 개정 이력
v1
— 최초 제출
(2026-09-07)
✅ 최신
← 최신 버전으로
·
← 광장으로