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