What Happens to Software When Proof is Cheap?
0:00 · Watch on YouTube
AI가 생성한 코드는 검사만으로는 신뢰할 수 없지만, Lean에서 검증되는 저렴한 AI 생성 증명이 확장 가능한 신뢰를 제공할 수 있다 — 월드 모델링 문제, 특히 명세 문제를 해결한다면.
0:00 · Watch on YouTube
AI가 생성한 코드는 검사만으로는 신뢰할 수 없지만, Lean에서 검증되는 저렴한 AI 생성 증명이 확장 가능한 신뢰를 제공할 수 있다 — 월드 모델링 문제, 특히 명세 문제를 해결한다면.