Lean4

기사 통계를 확인하고 있습니다.

• 앤스로픽, 페르마의 마지막 정리 Lean 4 완전 형식검증 공개

  앤스로픽이 페르마의 마지막 정리를 Lean 4와 Mathlib으로 형식화해 커널과 독립 검증기 nanoda로 이중 확인한 코드베이스를 공개했다.

  2026. 9. 5. 2분 출처 1건 AnthropicLean4Mathlibformal-verification 최근 30일 조회수 — 좋아요 —