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

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

수식을 따라가지 않아도 이 소식은 세 가지로 나눠 이해할 수 있습니다. 무엇을 증명했다고 하는지, 어떤 검증을 거쳤는지, 누가 무엇을 주장하는지입니다. 이 글은 2026년 10월 4일까지 공개된 자료를 기준으로 합니다.

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

밀레니엄 문제는 클레이 수학연구소가 선정한 일곱 개의 수학 난제이며, 나비에 스토크스 문제도 여기에 들어갑니다.

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

여기서 '해'는 정답 숫자 하나가 아니라 방정식과 조건을 만족하는 속도와 압력의 변화 전체입니다. '매끄럽다'는 눈에 보이는 흐름의 모양과 관계없이, 변화율을 구하는 미분을 몇 번 반복해도 값이 잘 정의되는 수학적 성질을 가리킵니다. 특이점은 이 성질이 어느 순간 유지되지 않는 상황입니다.

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

클레이 문제의 네 선택지

선택지	공간	외력	증명할 내용
A	전체 3차원 공간	없음	매끄러운 해가 모든 시간에 존재
B	같은 패턴이 반복되는 공간	없음	매끄러운 해가 모든 시간에 존재
C (OpenAI 발표 대상)	전체 3차원 공간	매끄러운 외력 허용	모든 시간에 존재하지 않는 사례
D (OpenAI 발표 대상)	같은 패턴이 반복되는 공간	매끄러운 외력 허용	모든 시간에 존재하지 않는 사례

외력이 없는 A와 B는 C, D와 다른 질문이므로, C와 D의 결과가 A와 B의 답까지 주지는 않습니다.

발표한 결과의 조건

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

이 결과는 이상적인 수학 모델 안에서 만든 구성이며, 실제 물로 한 실험과는 관계가 없습니다. 또 이런 흐름이 존재한다는 결과라서, 모든 유체 흐름에 특이점이 생긴다는 결론으로 이어지지 않습니다.

그림의 inward spiral은 안쪽으로 감기는 흐름, axial stretching은 축 방향으로 늘어나는 흐름입니다. 공식 설명에서 주황색과 청록색은 회전 각속도의 차이를 나타냅니다. 각속도는 얼마나 빠르게 도는지를 뜻하며, 선을 따라 움직이는 속도는 반지름에 따라서도 달라집니다. 그림은 흐름의 모양을 보여 주는 시각화이고, 증명 자체는 논문과 형식화 파일에 있습니다.

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

OpenAI가 발표한 작업 기록에 따르면 시스템은 9월 1일에 작업을 시작해 9월 5일에 해법에 도달했고, 걸린 시간은 약 88시간입니다.

나비에 스토크스 문제의 작업 기록

• 88시간착수부터 해법 도달까지9월 1일부터 9월 5일
• 1만개동시에 돌린 에이전트
• 270만통주고받은 메시지
• 17시간추가 형식화와 검증GPT-6 Astra 사용

에이전트는 AI가 도구를 쓰며 맡은 작업을 진행하는 실행 단위입니다. 토큰은 모델이 글을 처리하는 단위로, 글자 수와 같지 않습니다. 발표에는 이 문제 하나의 사용량과 여러 문제 전체의 사용량이 따로 나오므로 둘을 섞지 않고 봅니다.

출력 토큰 사용량

• 나비에 스토크스 문제약 1,300억 토큰
• 전체 문제약 3,000억 토큰

회사 설명에 따르면 이 과정에는 다른 문제에서 얻은 결과를 넘겨주고, 자원을 다시 배치하고, 중간 성과를 모아 다시 제공하는 단계가 들어 있습니다. 공개되지 않은 내부 모델로 한 작업이므로, 일반 채팅창에서 요청 한 번으로 같은 결과를 얻을 수는 없습니다.

88시간에 추가 17시간을 더하면 약 105시간, 4일 9시간입니다. 이 시간에는 선행 연구나 모델 훈련 기간이 들어 있지 않습니다. 그래서 88시간을 사람이 들인 연구 기간과 바로 나눠 생산성 배수로 말하기는 어렵습니다.

Lean 검증이 확인하는 것

명제는 참인지 거짓인지 판단할 수 있는 문장입니다. Lean은 수학 명제와 증명을 정해진 형식으로 작성해 검사하는 도구입니다. Lean은 형식으로 적은 명제와 증명만 검사하고, 사람이 쓴 설명 글은 검사하지 않습니다. 그래서 어떤 전제를 두었고 무엇을 결론으로 적었는지가 중요합니다.

공개 저장소는 전체 공간과 주기적 공간에서 주장하는 명제를 나눠 적고 빌드 절차를 제공합니다. 독립 검사 안내도 따로 있어, 누구든 같은 버전을 직접 빌드해 검사할 수 있습니다.

증명 발표가 맞는지는 아래 네 단계로 나눠 봅니다. 앞 단계가 맞아도 다음 단계는 다른 자료로 확인합니다.

증명 발표를 확인하는 네 단계

1. 11. 무엇을 증명했나논문의 정리와
   형식화한 명제
2. 22. 결론이 따라오나해당 버전의 Lean 검사
   결과와 사용한 전제
3. 33. 원래 문제와 같나공식 문제 문안과
   형식화를 대조
4. 44. 학계가 받아들였나검토 논문과
   기관의 후속 발표

3단계가 왜 필요한지는 작은 예로 볼 수 있습니다. 원래 질문이 '모든 양의 정수'에 관한 것인데 프로그램에는 '짝수인 양의 정수'만 넣었다면, 입력한 명제의 검사를 통과해도 원래 질문을 다 푼 것이 아닙니다. "양의 정수에 1을 더하면 홀수다"는 짝수만 놓고 보면 맞지만, 1에 1을 더하면 2이므로 모든 양의 정수로 넓히면 틀립니다. 이 예는 이번 증명의 오류를 가리키지 않고, 명제의 범위를 원래 문제와 대조해야 하는 이유를 보여 줍니다.

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

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

두 쪽의 연구 대상과 주장

항목	Buckmaster 성명NYU 연구자	OpenAI 갱신 설명9월 10일
다룬 방정식	매끄러운 외력이 있는 오일러 방정식	나비에 스토크스 C와 D
비공개 Codex 기록	사용 의혹 제기 실제 사용 여부는 모름	발표 전 두 달 치 프롬프트의 영향 가능성 부인
저자 표기	Alpöge를 빼는 저자 구성 제안 공개	–

두 사람의 공개 결과에는 매끄러운 외력이 있는 오일러 방정식이 들어 있습니다. 오일러 방정식은 점성, 즉 유체 내부의 마찰을 뺀 방정식으로 나비에 스토크스 방정식과 다릅니다. 따라서 두 사람의 결과는 나비에 스토크스 문제를 먼저 푼 것이 아니라, 가까운 다른 방정식에서 얻은 결과입니다.

성명이 문제 삼은 것은 연구 기여를 어떻게 인정하고 발표할지, 그리고 비공개 Codex 기록이 쓰였는지입니다. Buckmaster는 공동 발표를 논의하던 중 Alpöge를 저자에서 빼라는 제안을 받았다고 적었습니다. 동시에 자신의 자료가 실제로 쓰였는지는 모른다고 밝혀, 사용 사실을 확인하지 않은 채 의혹을 제기했습니다.

OpenAI는 9월 10일 발표문을 갱신해, 발표 전 두 달 동안의 Buckmaster Codex 프롬프트가 학습을 포함해 해당 시스템에 영향을 줄 수 없었다고 설명했습니다. 이 설명은 기록 사용 의혹에 답한 것이며, 저자 표기를 둘러싼 문제는 다루지 않았습니다.

미공개 자료를 AI에 넣을 때 볼 설정

연구 기록 논란과 별개로, 업무 자료를 AI에 넣을 때는 내가 쓰는 계정의 데이터 조건을 먼저 봅니다. Codex는 코딩과 관련 작업을 돕는 OpenAI 도구입니다. 개인용 서비스와 조직의 업무용 서비스는 학습 이용 기본값이 다릅니다.

계정 종류별 학습 이용 설정

항목	개인 계정	Business, Enterprise
대화 학습 이용	설정에서 끌 수 있음	기본으로 사용 안 함
끄는 곳	Data controls Improve the model for everyone	–
Codex 작업 환경	Include environments 별도 설정	–

설정을 끈다고 이미 입력한 자료가 지워지지는 않습니다. 미공개 자료를 넣기 전에 계정 종류와 해당 설정, 조직의 자료 반출 규칙을 함께 봅니다.

클레이 연구소의 인정까지 남은 단계

10월 4일 기준 클레이 연구소의 나비에 스토크스 문제 페이지에는 Active가 표시됩니다. 이 표시 하나로 인정 여부를 판단하지 않는 이유는 연구소 규정에 있습니다.

연구소 규정은 연구소가 인정하는 출판 경로에 결과가 실리고, 출판 뒤 최소 2년이 지나고, 세계 수학계의 일반적인 수용을 얻어야 한다는 조건을 함께 둡니다. 세 조건을 모두 갖춰야 하므로 2년이 지났다고 상금이 자동으로 지급되지는 않습니다.

발표에서 클레이 인정까지

1. 11. 발표OpenAI
   9월 8일
2. 22. 자료 공개논문과
   Lean 형식화
3. 33. 출판연구소가 인정하는
   출판 경로
4. 44. 2년 이상출판 뒤
   최소 2년
5. 55. 학계 수용세계 수학계의
   일반적 수용
6. 66. 연구소 판단인정과
   상금 결정

다른 AI 증명 소식을 볼 때도 같은 순서로 나눠 봅니다. 누가 언제 발표했는지, 어떤 조건을 증명했는지, 어떤 검증 자료가 있는지, 학계와 기관이 어디까지 판단했는지를 따로 적으면 '난제 해결' 같은 제목이 실제로 어느 단계의 소식인지 알 수 있습니다. 이번 발표는 외력을 허용한 C와 D를 다룬 논문과 Lean 형식화까지 공개된 단계입니다.

Sources

• OpenAI 나비에 스토크스 발표와 9월 10일 갱신
• OpenAI 공개 논문
• Lean 형식화 저장소
• 독립 검사 안내
• 클레이 수학연구소 공식 문제 문안
• 클레이 수학연구소 나비에 스토크스 문제 페이지
• 클레이 수학연구소 밀레니엄 문제 규정
• Tristan Buckmaster 성명
• OpenAI 학습 이용 안내
• OpenAI 업무 데이터 정책

3줄 요약

1. OpenAI는 2026년 9월 8일 매끄러운 외력을 허용한 3차원 나비에 스토크스 문제의 선택지 C와 D를 해결했다고 발표하고 논문과 Lean 형식화 자료를 공개했습니다.

2. Lean 검증은 적어 둔 명제가 전제에서 따라오는지 검사할 뿐이고 클레이 연구소의 인정에는 승인된 경로의 출판과 2년 이상의 기간, 학계의 일반적 수용이 필요합니다.

3. NYU의 Buckmaster는 비공개 Codex 기록의 사용 의혹과 저자 표기 문제를 제기했고 OpenAI는 9월 10일 해당 프롬프트가 시스템에 영향을 줄 수 없었다고 설명했습니다.