Re:L
AI가 생성한 나비에-스토크스 방정식 밀레니엄 문제 해결안, Lean 증명 포함 공개 | Re:L