#수학
수학 관련 기사 1건을 모았습니다. 기사 12건이 모이면 이 주제의 검색에서 사이트 전체가 올라갑니다.
시간순 흐름
전체 기사
-
테크 · 3분클로드, 페르마의 마지막 정리 형식화 (9월 5일) — 11일에 1,300만 줄
결과 — 페르마의 마지막 정리를 Lean에서 처음으로 끝까지 기계검증 가능한 형태로 형식화. 11일, 대체로 자율
수학 관련 기사 1건을 모았습니다. 기사 12건이 모이면 이 주제의 검색에서 사이트 전체가 올라갑니다.
결과 — 페르마의 마지막 정리를 Lean에서 처음으로 끝까지 기계검증 가능한 형태로 형식화. 11일, 대체로 자율