#Lean
Lean 관련 기사 3건을 모았습니다. 기사 12건이 모이면 이 주제의 검색에서 사이트 전체가 올라갑니다.
시간순 흐름
-
클로드, 페르마의 마지막 정리 형식화 (9월 5일) — 11일에 1,300만 줄
-
형식 증명이란 — AI의 수학을 '믿을 수 있게' 만드는 장치
-
AI가 수학 미해결 문제 10개를 건드렸다 — 필즈상 수상자의 인정
전체 기사
-
테크 · 3분클로드, 페르마의 마지막 정리 형식화 (9월 5일) — 11일에 1,300만 줄
결과 — 페르마의 마지막 정리를 Lean에서 처음으로 끝까지 기계검증 가능한 형태로 형식화. 11일, 대체로 자율
-
-
테크 · 2분AI가 수학 미해결 문제 10개를 건드렸다 — 필즈상 수상자의 인정
오픈AI 내부 모델 아스트라(Astra)가 미해결 문제 10개를 해결 또는 크게 전진시켰다고 발표