Formal Verification 主题文章

共 3 篇 · 由萬安算交所资讯持续追踪

Anthropic Claude, 앤드류 와일스의 페르마 정리 증명을 1,300만 줄 Lean 코드로 정식화
2026-11-04 · Anthropic은 Claude 모델이 앤드류 와일스의 페르마의 마지막 정리 증명을 약 1,300만 줄의 Lean 코드로 변환해 정식화했으며,
Hillel Wayne 인터뷰: TLA+와 형식적 방법, AI가 검증을 주류로 만들 수 있을까
2026-11-04 · The Pragmatic Engineer가 Hillel Wayne과의 인터뷰를 통해 TLA+ 같은 형식적 방법이 신뢰할 수 있는 소프트웨어 구축
Anthropic Claude, 페르마의 마지막 정리 증명을 '기계 검증 가능' 형식화로 구현
2026-11-04 · Anthropic은 2026년 9월 4일 게시한 블로그 포스트에서 Claude가 페르마의 마지막 정리, 그 유명하고 복잡하기로 악명 높은 증명을

萬安算交所 AIXX · 进入货源大厅