OpenAI의 Navier-Stokes 발표에 포함된 Lean 4 형식 증명

<ul> <li>OpenAI는 유체역학의 <strong>Navier-Stokes 방정식</strong>에 관한 오랜 문제의 증명을 발표하면서, 사람이 읽는 증명과 기계로 검증할 수 있는 <strong>Lean 4 형식 증명</strong>을 함께 공개함</li> <li>최근 AI로 해결된 다른 수학적 추측에도 <strong>형식 증명</strong>이 함께...