AI가 100년 난제를 풀었다? 나비에–스토크스 ‘해결 제안’과 진짜 쟁점

AI가 수학자의 보조 도구를 넘어 새로운 증명을 제안하는 단계에 들어섰습니다. OpenAI는 2026년 9월 8일 내부 AI 시스템이 나비에–스토크스 밀레니엄 문제의 해법을 제시했다며 설명문과 Lean 형식 증명을 공개했습니다. 사실이라면 역사적인 사건이지만, 지금 가장 정확한 표현은 ‘완전한 해결’이 아니라 검증 가능한 해결안의 공개입니다.

나비에–스토크스 문제가 무엇인가

나비에–스토크스 방정식은 물과 공기 같은 유체의 움직임을 설명합니다. 날씨, 항공기 설계, 선박, 혈류, 반도체 공정까지 응용 범위가 넓지만, 3차원에서 해가 항상 매끄럽게 유지되는지 아니면 어느 순간 값이 폭주하는 ‘특이점’이 생기는지는 오랫동안 증명되지 않았습니다. 이 때문에 클레이 수학연구소가 지정한 밀레니엄 문제 가운데 하나로 남아 있었습니다.

OpenAI가 내놓은 결과

OpenAI 발표에 따르면 내부 시스템은 유체의 흐름이 유한한 시간 안에 특이점을 만들 수 있음을 보이는 증명을 생성했습니다. 특히 사람이 읽는 논문뿐 아니라 정리 증명 도구 Lean으로 확인할 수 있는 형식 증명을 함께 제시했다는 점이 중요합니다. 긴 수학적 논증은 중간 단계 하나만 틀려도 무너지는데, 형식 검증은 각 단계를 기계적으로 점검할 수 있기 때문입니다.

그렇다면 정말 ‘해결’된 것일까

아직은 신중해야 합니다. 컴퓨터가 형식을 검사했다는 사실과 수학계가 문제의 조건·정의·전체 논리를 받아들였다는 것은 같은 말이 아닙니다. 전문가들이 증명의 전제와 구현, 문제 원문의 조건을 독립적으로 검토해야 합니다. 상금과 공식 인정에도 별도의 심사 과정이 필요합니다.

따라서 현시점의 핵심 뉴스는 “AI가 난제를 확정적으로 끝냈다”기보다, AI가 새로운 증명을 만들고 형식 검증까지 연결하는 연구 파이프라인을 보여줬다는 데 있습니다.

뜻밖의 쟁점: 발견의 공로는 누구에게 있나

이번 발표를 둘러싸고 외부 수학자들의 유사 연구와 발표 시점이 겹치면서 공로와 정보 경계 논란도 생겼습니다. Axios 보도에 따르면 OpenAI는 해당 연구자들의 특정 사용자 데이터를 직접 이용하지 않았다고 밝혔지만, 간접적인 연결 가능성을 완전히 배제할 수는 없다고 설명했습니다.

이 문제는 앞으로 모든 AI 연구 도구가 풀어야 할 숙제입니다. 연구자가 공개 전 아이디어를 모델과 논의했을 때 그 대화가 학습·평가·내부 연구에 어떻게 분리되는지, 증명의 출처와 기여를 어떤 기록으로 남길지 명확해야 합니다.

이번 사건이 바꿀 세 가지

• 수학 연구: 증명 후보 생성과 형식 검증의 속도가 크게 빨라질 수 있습니다.
• 과학 출판: 논문뿐 아니라 프롬프트, 실행 기록, 모델 버전, 검증 코드가 연구의 출처 자료가 될 수 있습니다.
• AI 신뢰: 결과가 뛰어난가만큼 누구의 아이디어에서 출발했는지 설명하는 능력이 중요해집니다.

한 줄 결론

AI가 수학 난제를 푸는 시대의 첫 질문은 “정답인가?”이지만, 곧이어 “누가 검증했고 누구의 발견인가?”라는 더 어려운 질문이 따라옵니다.

---

출처
OpenAI, On the Navier–Stokes Millennium Prize Problem (2026-09-08)
Axios, OpenAI's historic math solution overshadowed by credit controversy (2026-09-08)

※ 2026년 9월 9일 공개 자료 기준 분석입니다. 증명에 대한 독립 검토와 공식 인정 절차는 앞으로 진행될 수 있습니다.