OpenAI 나비에 스토크스 발표 읽기: 증명, 검증과 공적 논란

OpenAI는 2026년 9월 8일 나비에 스토크스 밀레니엄 문제의 해법을 발표했습니다. 물이나 공기의 움직임을 나타내는 수학 방정식에서, 특정 조건의 움직임이 유한한 시간 안에 매끄러움을 잃을 수 있다는 주장입니다. 논문과 증명 검사 도구인 Lean으로 작성한 자료를 공개했습니다. OpenAI 발표

이 소식을 이해하려고 어려운 수식을 모두 풀 필요는 없습니다. 무엇을 증명했다고 하는지, 어떤 검증을 받았는지, 누가 무엇을 주장하는지를 구분하면 됩니다. 이 글은 2026년 10월 4일 확인한 자료를 반영합니다.

첫 연습: 세 문장은 같은 뜻일까요?

다음 문장 가운데 나머지 두 문장만으로 결론 낼 수 없는 것을 고릅니다.

1. 연구팀이 해법을 발표했다.
2. 연구팀이 기계로 검사할 수 있는 형식의 증명 파일을 공개했다.
3. 해당 문제의 상금 심사와 학계의 인정이 모두 끝났다.

정답은 3번입니다. 발표와 파일 공개는 확인 가능한 사건이지만, 그 자체가 심사 완료의 증거는 아닙니다. 반대로 심사가 끝나지 않았다는 사실만으로 증명이 틀렸다고 결론 낼 수도 없습니다. 이 구분을 유지한 채 아래 내용을 읽습니다.

나비에 스토크스 문제는 무엇을 묻나요?

밀레니엄 문제는 클레이 수학연구소가 선정한 일곱 수학 난제입니다. 이 목록에는 나비에 스토크스 문제도 포함됩니다.

나비에 스토크스 방정식은 유체의 속도와 압력이 시간에 따라 어떻게 변하는지 나타냅니다. 유체는 물이나 공기처럼 흐르는 물질입니다. 이 수학 모델에서는 개별 분자를 하나씩 추적하지 않고 연속된 물질로 다룹니다.

여기서 ‘해’는 정답 숫자 하나가 아니라 방정식과 조건을 만족하는 속도 및 압력의 변화입니다. ‘매끄럽다’는 말은 단순히 눈에 잔잔해 보인다는 뜻이 아니라, 변화율을 구하는 미분을 필요한 만큼 반복해도 잘 정의되는 상태를 가리킵니다. 특이점은 그런 성질을 계속 유지할 수 없게 되는 상황입니다.

클레이 수학연구소의 공식 문제 문안은 네 가지 선택지를 둡니다. 이 가운데 하나를 증명하도록 요구하며, 공간과 외력 조건이 다릅니다. 외력은 모델 밖에서 가해지는 힘입니다.

A와 C는 전체 3차원 공간, B와 D는 공간적으로 같은 패턴이 반복되는 조건을 다룹니다. 따라서 C와 D의 결과를 곧바로 ‘외력이 없는 모든 경우의 답’이라고 바꾸면 안 됩니다.

발표한 결과의 조건을 읽습니다

공개 논문의 첫 정리는 처음에는 정지한 유체에 매끄러운 외력이 작용할 때, 전체 운동에너지는 유한하게 유지되지만 속도는 유한한 시간 안에 한없이 커지는 구성을 제시합니다. 논문은 이를 C와 D의 해결로 설명합니다. 공개 논문 첫 페이지

이것은 실제 물이 무한한 속도로 움직였다는 실험 보고가 아닙니다. 이상적인 수학 모델 안에서 구성한 결과입니다. 모든 유체 흐름이 특이점을 만든다는 뜻도 아닙니다. ‘그런 사례가 존재한다’와 ‘모든 사례가 그렇다’를 나눠 읽어야 합니다.

그림의 inward spiral은 안쪽으로 감기는 흐름, axial stretching은 축 방향으로 늘어나는 흐름을 뜻합니다. 공식 설명에서 주황색과 청록색은 회전 각속도의 차이를 나타냅니다. 각속도는 얼마나 빠르게 회전하는지이며, 선을 따라 이동하는 속도는 반지름에도 영향을 받습니다. 그림의 색만으로 전체 유체의 속도나 증명의 타당성을 판정할 수는 없습니다.

88시간은 어떤 작업 시간인가요?

다음 수치는 OpenAI가 발표한 작업 기록입니다.

에이전트는 AI가 도구를 사용하며 맡은 작업을 진행하는 실행 단위입니다. 토큰은 모델이 글을 처리하는 단위로 글자 수와 같지 않습니다. 전체 문제의 토큰 수와 이 문제 하나의 사용량을 섞으면 비용이나 효율을 잘못 비교하게 됩니다.

회사 설명에는 다른 문제에서 얻은 결과를 전달하고, 자원을 재배치하고, 중간 성과를 모아 다시 제공한 과정이 포함돼 있습니다. 공개되지 않은 내부 모델로 수행한 작업이므로 일반 채팅창에서 요청 한 번으로 재현할 수 있다는 뜻은 아닙니다. 작업 과정 원문

88시간에 추가 17시간을 더하면 약 105시간, 즉 4일 9시간입니다. 이것도 선행 연구나 모델 훈련까지 합친 전체 연구 기간은 아닙니다. 사람의 약 1년 연구와 AI의 88시간을 바로 나눠 생산성 배수로 제시하기 어려운 이유입니다.

Lean 검증이 확인하는 것

명제는 참인지 거짓인지 판단할 수 있는 문장입니다. Lean은 수학적 명제와 증명을 정해진 형식으로 작성하고 검사하는 도구입니다. 사람의 설명 글을 읽고 무조건 참이라고 판정하는 시스템은 아닙니다. 어떤 전제를 두었는지, 무엇을 결론으로 적었는지가 중요합니다.

공개 저장소는 전체 공간과 주기적 공간에서 주장하는 명제를 구분하고 빌드 절차를 제공합니다. 별도의 독립 검사 안내도 연결합니다. 파일이 공개됐다는 사실과 내가 해당 버전을 실제로 검사했다는 사실은 다릅니다.

설명을 위한 작은 예를 생각해 봅니다. 원래 질문이 ‘모든 양의 정수’에 관한 것인데 프로그램에는 ‘짝수인 양의 정수’만 입력했다면, 입력한 명제의 검증에 성공해도 원래 질문 전체를 해결한 것은 아닙니다. 예를 들어 “양의 정수에 1을 더하면 홀수다”는 짝수만 대상으로 하면 맞지만, 1에 1을 더하면 2이므로 모든 양의 정수에 대해서는 틀립니다. 이는 이번 증명에 그런 오류가 있다는 지적이 아니라, 명제의 범위를 대조해야 하는 이유를 보여 주는 가상 예입니다.

함께 연구하던 수학자들은 무엇을 문제 삼았나요?

NYU의 Tristan Buckmaster와 Levent Alpöge도 관련 유체 방정식을 AI와 함께 연구했습니다. Buckmaster의 공개 성명은 Córdoba와 Martínez-Zoroa의 선행 연구에서 출발했다고 설명합니다. 두 사람은 Claude와 Codex 등을 사용했으며, 소속 기관의 공동 사업이 아닌 개인 협업이었다고 밝혔습니다. Buckmaster 성명

두 사람의 공개 결과에는 매끄러운 외력이 있는 오일러 방정식이 포함됩니다. 오일러 방정식은 점성, 즉 유체 내부의 마찰 효과를 제외한 방정식으로 나비에 스토크스와 같지 않습니다. 두 사람이 동일한 나비에 스토크스 문제를 먼저 해결했다고 바꿔 읽지 않습니다.

성명에서 제기한 문제는 연구의 기여를 어떻게 인정하고 발표할지, 비공개 Codex 기록이 쓰였는지에 관한 것입니다. Buckmaster는 공동 발표 과정에서 Alpöge를 저자에서 제외하라는 제안을 받았다고 적었습니다. 동시에 자신의 자료가 실제로 사용됐는지는 모른다고 명시했습니다. 의혹 제기와 사용이 확인됐다는 결론을 혼동하면 안 됩니다.

OpenAI는 9월 10일 발표문을 갱신했습니다. 조사 결과 발표 전 두 달 동안의 Buckmaster Codex 프롬프트는 학습을 포함해 해당 시스템에 영향을 줄 수 없었다고 설명합니다. 이는 회사가 발표한 조사 결과입니다. 두 당사자의 연구 결과와 저자 표기 논란 전체를 한 문장으로 판정하는 근거는 아닙니다. 갱신된 Concurrent work와 각주

미공개 자료를 다룰 때 확인할 설정

연구 기록 논란과 별개로, 업무 자료를 AI에 넣을 때는 자신이 쓰는 계정의 데이터 조건을 확인해야 합니다. Codex는 코딩과 관련 작업을 돕는 OpenAI 도구입니다. 개인용 서비스와 조직의 업무용 서비스는 학습 이용 기본값이 같지 않습니다.

OpenAI의 현재 안내에서 개인 계정은 ChatGPT 설정의 Data controls에서 Improve the model for everyone을 끄는 방법을 제공합니다. Codex의 전체 작업 환경 학습에 관한 Include environments는 별도 설정입니다. 업무용 Business와 Enterprise 등의 데이터는 기본적으로 학습에 사용하지 않는다고 안내합니다. 학습 이용 안내, 업무 데이터 정책

학습에 사용하지 않는다는 조건과 저장하지 않는다는 조건은 다릅니다. 자료를 입력하기 전에 계정 종류, 해당 설정과 조직의 자료 반출 규칙을 확인합니다. 설정을 끄는 행동만으로 과거 입력이 모두 삭제됐다고 판단하지 않습니다.

클레이 연구소의 현재 표시는 어떻게 읽나요?

위 사진은 9월 10일의 기록이며 Unsolved는 미해결이라는 뜻입니다. 10월 4일 확인한 현재 문제 페이지에는 Active가 표시됩니다. 예전 사진을 현재 화면으로 읽지 않습니다. Active라는 짧은 상태 표시만으로 증명 인정이나 상금 지급을 결론 내릴 수는 없습니다.

연구소 규정에는 인정하는 출판 경로에 결과가 실리고, 출판 후 최소 2년이 지나고, 세계 수학계의 일반적인 수용을 얻어야 한다는 조건이 함께 있습니다. 2년이 지나면 자동으로 상금을 주는 제도는 아닙니다. 발표 시점과 검토 및 인정 시점을 따로 확인해야 합니다.

다른 증명 소식에도 적용해 보기

‘AI가 난제를 해결했고 검증 파일도 공개했다’는 새 소식을 보았다고 가정합니다. 메모에 발표자와 날짜, 증명한 조건, 검증 자료, 학계 또는 기관의 후속 판단 네 항목을 적습니다. 자료에서 찾지 못한 항목은 ‘확인하지 못함’으로 남깁니다.

이번 글에 적용하면 발표자는 OpenAI, 발표일은 9월 8일, 조건은 매끄러운 외력을 허용하는 C와 D, 공개 자료는 논문과 Lean 형식화입니다. 클레이의 최종 인정은 Active 표시만으로 채울 수 없습니다. 이 네 항목을 구분해 설명할 수 있으면 단순한 ‘해결 성공’ 제목보다 정확하게 소식을 이해한 것입니다.

3줄 요약

1. OpenAI는 2026년 9월 8일 매끄러운 외력을 허용한 3차원 나비에 스토크스 문제의 C와 D를 해결했다고 발표했습니다.

2. Lean 형식 검증은 정해진 명제와 전제의 논리 관계를 검사하며, 원래 문제와의 일치 및 학계의 인정은 별도로 확인합니다.

3. 공적 논란에서는 연구자의 성명과 OpenAI의 9월 10일 갱신 설명을 구분하고, 현재 클레이 페이지의 Active 표시만으로 최종 판정을 내리지 않습니다.