Re:L
OpenAI, Navier-Stokes 방정식 증명을 사람 버전과 기계 검증용 Lean 4 코드로 함께 공개 | Re:L