# OpenAI, 166쪽 나비에-스토크스 초안 공개…수학자들 의문 제기

> OpenAI는 9월 나비에-스토크스 방정식 해법의 형식 검증 초안을 공개했지만, 전문가들은 주장한 접근법과 다르고 기여도도 불분명하다고 지적했다.

Oossa · 2026-10-17 · https://oossa.com/ko/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

2026년 9월 초 OpenAI는 클레이 수학연구소가 선정한 100만 달러 규모의 밀레니엄 문제 7개 중 하나인 나비에-스토크스 문제를 풀 수 있다고 밝히며 166쪽 분량의 초안을 공개했다. 이 초안은 각 논리 단계를 자동으로 검증하는 형식 검증 언어 Lean으로 작성됐다. OpenAI는 스페인 수학자 디에고 코르도바와 루이스 마르티네스-조로아의 방법을 따랐다고 밝혔다.

## 수학자들, 접근법 불일치 지적

EPFL의 곤살로 카오-라보르를 비롯한 여러 수학자가 초안을 살펴본 결과, 추론 과정이 코르도바-마르티네스-조로아의 접근법과 맞지 않는다고 지적했다. 이들은 두 접근법의 유사성이 표면적인 수준에 그친다고 평가했다. 클레이 수학연구소는 초안이 공개된 뒤 이를 검토하고 있다.

## 막대한 연산에도 불분명한 성과

OpenAI는 초안을 생성하기 위해 모델 인스턴스 약 10,000개를 약 88시간 동안 실행해 130 billion tokens를 처리했다. 연구자 노엄 브라운은 결과의 10% 미만만이 다중 에이전트 구성에 따른 것으로 추정하며, 대부분의 작업은 기반 모델 자체가 수행했을 가능성을 시사했다. 이 규모에서 체계적인 시험이 진행된 적이 없어 에이전트 군집의 정확한 역할은 여전히 밝혀지지 않았다.

## 추가 공개에도 비판 이어져

10월 초 OpenAI는 여러 수학자가 수학 분야의 가치를 떨어뜨린다고 비판한, 느슨하게 정리된 GitHub 자료 모음에 AI가 생성한 결과물 약 400개를 추가했다. 빠른 속도로 쏟아지는 결과물에 수학계는 이를 따라가는 데 어려움을 겪고 있다.

## 팩트

- OpenAI는 2026년 9월 초 나비에-스토크스 방정식의 잠재적 해법을 담은 166쪽 분량의 초안을 공개했다.
- 초안은 논리 단계를 자동으로 검증하는 형식 검증 언어 Lean으로 작성됐다.
- OpenAI는 모델 인스턴스 약 10,000개를 88시간 동안 실행해 130 billion tokens를 생성했다.
- 연구자 노엄 브라운은 초안의 성과 중 10% 미만이 다중 에이전트 구성에 따른 것이라고 말했다.
- OpenAI는 2026년 10월 초 AI가 생성한 결과물 약 400개를 GitHub에 추가로 게시했다.

## 왜 중요한가

일반 독자에게 이번 사례는 막대한 AI 자원을 투입해도 전문가들이 여전히 의문을 제기하는 결과물이 나올 수 있음을 보여준다. 또한 AI가 만든 수학 증명이 아직 인간의 검증을 대신할 지름길은 아니라는 점을 드러내며, 상금이 걸린 이 문제는 여전히 풀리지 않은 상태다.

## 출처 및 참고 자료

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

최종 업데이트: 2026-10-17