Re:L
오픈AI, 나비에-스토크스 방정식 증명과 함께 Lean 4 형식 증명도 공개 | Re:L