https://news.mrlatte.net/p/lean-autoformalization-navier-stokes-mismatch/라떼군 뉴스ko2026-10-10T03:00:00+09:00Lean이 확인한 것은 다른 명제였다: OpenAI 나비에-스토크스 증명의 형식화를 짚은 논문