Navier–Stokes 밀레니엄 상금 문제에 관하여

약 90년간 미해결이던 3차원 유체의 매끄러움 문제에 대해 OpenAI가 해석적 증명과 Lean 형식화를 공개함. 매끄러운 외력이 작용하는 정지 상태의 유체에서 유한 시간 안에 특이점이 발생하는 구성을 통해 공식 문제의 C·D를 입증했다고 밝힘 해법은 안쪽으로 나선 운동하며 길게 늘어나는 소용돌이를 구성함. 중심 영역이 줄면서 속도는 무한히 커지지만 에너지는 유한하게 유지되고, 운동을 기술하는 큰 항들이 정밀하게 상쇄돼 외력은 매끄럽게 남음 GPT‑6 Astra보다 훨씬 강력하다는 내부 모델 기반의 동시 에이전트 약 1만 개가 해법을 찾은 그룹에 참여함. 최초 가동 약 88시간 뒤 해법에 도달했고, GPT‑6 Astra를 통한 Lean 형식화·검증에 17시간이 추가로 걸림 탐색 과정에서 외력이 없는 Euler 방정식의 정칙성 반례도 도출함. Navier–Stokes 해결 과정에만 메시지 270만 개와 출력 토큰 약 1,300억 개를 사용했으며, 모든 평가에 모니터링과 격리 등 안전조치를 적용함 OpenAI는 밀레니엄 상금을 청구할 의사가 없음을 밝힘. AI 역량의 진전을 알리기 위해 결과를 공개했으며, 모델 이해를 바탕으로 후속 역량 향상의 방향과 속도를 조절하는 데 집중함 문제의 조건과 수학적 배경 Navier–Stokes 방정식은 뉴턴의 운동 제2법칙인 F=ma로 유체 운동을 기술하며, 개별 분자를 추적하는 대신 유체를 연속 매질로 취급함. 항공기 설계, 일기예보, 혈류 연구에 사용됨 핵심 질문은 밀도가 일정한 3차원 비압축성 유체가 매끄럽게 운동을 시작하더라도 유한 시간 안에 속도가 무한히 커지는 특이점을 형성할 수 있는지임 운동을 매끄럽게 만드는 점성이 존재하는데도 특이점이 발생할 수 있는지가 쟁점임 실제 유체는 무한히 빠르게 움직일 수 없으므로, 특이점은 연속체 근사에 기반한 유체 모델의 붕괴를 뜻함. 이후에도 계를 모델링하려면 개별 입자의 거동을 추적해야 함 방정식은 19세기 Claude-Louis Navier와 George Gabriel Stokes의 연구에서 출발함 Jean Leray는 1934년 일반화된 의미에서 해가 존재함을 증명했지만, 해가 항상 매끄럽게 유지되는지는 약 90년 동안 미해결 상태였음 Clay Mathematics Institute는 2000년 이 문제를 7개 밀레니엄 상금 문제 중 하나로 선정함 공개한 증명과 특이점의 구조 OpenAI는 내부 시스템이 도출한 해석적 증명 과 ...