#수학

OpenAI, 나비에–스토크스 난제 해결안 공개…외력 조건과 검증 쟁점

OpenAI가 공개한 나비에–스토크스 증명의 범위를 논문과 클레이 문제문으로 대조했다. 외력 조건, 유한 에너지와 속도 발산, AI의 역할, Lean 검증과 공식 인정의 차이를 설명한다.