폭풍 전야의 13시간 — AI가 푼 밀레니엄 문제, 그 공로는 누구의 것인가

2026년 9월 8일, 수학계의 가장 거대한 성벽 하나가 무너졌다는 소식이 실리콘밸리를 강타했다.

OpenAI가 100만 달러의 상금이 걸린 7대 밀레니엄 난제 중 하나, 나비에–스토크스 방정식 문제를 자사 차세대 AI 에이전트 군단이 풀어냈다고 선언한 것이다. 한국 커뮤니티 일부에서는 곧바로 "인간 시대의 끝"이라는 말까지 나왔다.

그런데 축포가 터지기 13시간 전, 같은 나라 반대편 해안에서는 이미 전혀 다른 문서 하나가 공개돼 있었다.

같은 계열의 결과를 먼저 마스토돈에 올린 한 수학자가, 논문과 함께 경위서를 붙여 둔 것이다. 거기엔 기술적 개가가 아니라, 그가 기록한 일요일 오후의 두 차례 통화와, "왜 당신 커리어를 망치려 하느냐"는 말의 기록이 담겨 있었다.

그날 무슨 일이 있었던 걸까. 이 사건에는 서로 독립된 질문이 두 개 겹쳐 있다. 하나는 증명이 문제의 조건을 실제로 충족하느냐, 다른 하나는 연구 과정과 공로 배분이 적절했느냐다. 유효한 증명에도 윤리 문제가 있을 수 있고, 윤리적 의혹이 곧 증명의 오류를 뜻하지도 않는다. 이 글은 두 질문을 섞지 않으려 한다.

⚖️ 먼저 밝혀 둘 이해관계 — 이 분쟁의 한쪽 당사자는 Anthropic 소속 연구자이고, 이 글을 정리한 것도 Anthropic이 만든 모델이다. 그래서 양측 입장은 각자의 공개 원문을 대조해 발췌·번역했고, 한쪽만 요약으로 처리하지 않도록 했다. 영문 인용은 편집부 번역이다.

13시간 전, 먼저 공개된 연구

시계 바늘을 한국시간 9월 8일 낮 12시 58분(UTC 03:58)에 맞춰 보자.

NYU 쿠랑연구소의 수학자 트리스탄 벅마스터가 결과 세 건을 웹에 띄웠다.

"오늘 레벤트 알푀게와 나는 세 가지 결과를 공개했다. 비압축성 다공질 매질, 부시네스크, 그리고 3차원 비압축성 오일러 방정식에 대한, 매끄러운 외력을 동반한 유한시간 폭발이다."

여기서 '폭발'은 실제 폭발 사고가 아니라, 방정식의 해에서 특정한 크기나 그 변화율이 유한한 시간 안에 한없이 커지며 매끄러움이 깨지는 수학적 현상(특이점)을 말한다. 이번 나비에–스토크스 주장에서는 그 양이 속도다. 눈여겨볼 것이 있다. 이들이 발표한 것은 나비에–스토크스가 아니라 관련 유체 방정식 세 종류다.

공동 연구자 레벤트 알푀게는 지난 7월 야코비안 추측의 반례를 발표한 바로 그 수학자다. 그리고 공교롭게도, OpenAI의 경쟁사인 앤트로픽 소속 연구원이었다. 다만 벅마스터는 성명서에서 이 연구가 "어느 쪽 고용주와도 기관 협약이나 공식 관여가 없는 순수한 개인 공동연구"라고 명시했다. 앤트로픽의 기관 연구가 아니라는 뜻이다.

29분 뒤, 테런스 타오가 즉각 반응했다.

"놀라운 성취다. 알푀게와 벅마스터는 유체 방정식의 폭발 해를 구성하는 유력한 접근 중 하나 — 코르도바와 마르티네스-소로아가 발전시킨 — 를 밀어붙여, 매끄러운 강제항을 가진 3차원 비압축성 오일러를 포함한 여러 핵심 유체 방정식에서 유한시간 폭발을 확립해 냈다."

그리고 13초 뒤, 같은 글타래에 이렇게 덧붙였다. 이 문장은 13시간 뒤 OpenAI의 발표보다 앞서 나왔다. 다만 회사 설명에 따르면 그때 이미 OpenAI의 해법은 9월 5일에, Lean 검증은 6일에 끝나 있었다. 타오가 무언가를 예견했다기보다, 그가 가능하다고 본 일이 이미 비공개로 진행된 뒤였던 셈이다.

"이 방법이 나비에–스토크스까지 확장되는 것을 원리적으로 막는 것은 없어 보이며, 강제항을 완전히 제거할 수 있을 가능성도 무시할 수 없다. (…) 현시점에서 나는 엄청난 양의 계산과 AI 보조를 쏟아부어 그런 확장을 두들겨 만들어 낸다 해도 놀라지 않을 것이다."

타오는 같은 글에서 두 가지를 더 적었다. 이 논증에 "상당한 AI 입력이 담겨 있다"는 것, 그리고 저자들이 "외부 사건 때문에 예정보다 훨씬 일찍 공개해야 했다"는 것이었다. 그 외부 사건이 무엇인지는 곧 밝혀진다.

13시간 22분 뒤, 1만 개의 에이전트

벅마스터의 글이 올라온 지 약 13시간 22분 뒤, 한국시간 9월 9일 새벽 2시 20분(UTC 09-08 17:20)에 OpenAI 공식 계정에 공지가 떴다.

"우리는 수학의 최전선에서 가장 깊은 문제 중 하나인 나비에–스토크스 밀레니엄 상 문제의 해법을 공유한다. 이 증명은 GPT-6 아스트라보다 상당히 뛰어난 OpenAI 차세대 모델을 사용하는 에이전트 집단이 만들어 냈다."

숫자는 공식 블로그에 있었고, 압도적이었다.

위 수치는 모두 회사가 보고한 것이며, 독립 감사를 거친 값이 아니다.

수십 년간 칠판 앞에서 씨름하던 난제를, 기계 군단이 나흘 만에 풀고 17시간을 더 들여 형식 검증까지 마친 뒤 166쪽짜리 논문으로 내놓았다는 선언이었다.

하지만 수학자들의 시선은 보도자료 이면의 세부 조항으로 향했다.

무엇을 풀었는가 — 널리 퍼진 오해

대중의 이해와 달리, OpenAI는 "유체의 움직임은 언제나 매끄럽게 유지된다"는 전역 정칙성을 증명한 것이 아니다.

정반대다. 정지 상태의 유체에서 출발해, 특이점을 일으키는 특정한 매끄러운 외력을 하나 구성해 냈다는 주장이다. 모든 매끄러운 외력이 그런 현상을 일으킨다는 보편 명제가 아니라, 그런 것이 존재한다는 반례다. Lean 저장소는 전체 공간(ℝ³, 명제 C)에 대해 이렇게 적는다 — "매끄러운 초기 데이터와 외력이 존재하며, 그에 대해 운동에너지가 균일하게 유계인 전역 매끄러운 해가 존재하지 않는다." 주기 공간(명제 D)에도 대응하는 결과를 함께 주장한다. 공식 발표의 표현은 이렇다.

"이것은 공식 밀레니엄 상 정식화에서 명제 'C'(그리고 'D')를 확립함으로써 나비에–스토크스 밀레니엄 상 문제를 해결한다."

회사가 설명한 해의 모양은 소용돌이다. 안쪽으로 말려들며 스파게티처럼 가늘고 길게 늘어나고, 중심부는 작아지는 동시에 빨라지지만 에너지는 끝까지 유한하게 유지된다.

클레이 수학연구소의 공식 정의상 C·D는 매끄러운 외력을 허용하는, 인정된 해결 경로다. "외력을 썼으니 가짜"라는 흔한 비판은 근거가 약하다. 쟁점은 외력을 썼다는 사실이 아니라, 그 세부 조건을 실제로 충족했느냐다.

몇 가지 오해도 함께 정리해 둔다. "88시간"은 언론이 지어낸 숫자가 아니라 공식 수치다. 다만 그것은 에이전트 가동부터 해법 도달까지이고, 8월 28일부터 진행된 모델 학습이나 형식 검증 17시간은 포함하지 않는다. 커뮤니티에 돌던 "3,000억 토큰"은 이 문제 하나가 아니라 시도한 전체 문제의 합계이며, 여기서 파생된 비용 환산치는 회사가 공개한 수치가 아니다.

공로의 계보에 대해 벅마스터는 자신들의 연구가 디에고 코르도바와 루이스 마르티네스-소로아의 접근에 기반한다고 성명서에서 가장 강하게 강조했다.

"이 프로그램은 우리가 시작한 것도 아니고 대규모 언어모델이 제안한 것도 아니다. 기본 착상에 대한 공로는 디에고 코르도바와 루이스 마르티네스-소로아에게 있다. (…) 동료들에게 사석에서 해 온 말을 분명히 해 두겠다. 나는 루이스 마르티네스-소로아가 필즈상을 받을 자격이 있다고 믿는다."

나비에–스토크스 문제의 공식 정의를 직접 작성한 프린스턴의 찰스 페퍼먼도 같은 곳을 가리켰다. 그는 퀀타 매거진에 "문제가 풀려서 무척 기뻤다"고 말하면서, 이 이야기의 영웅은 코르도바와 마르티네스-소로아라고 했다. 퀀타는 두 AI 활용 팀이 모두 이 두 사람의 연구에 크게 의존했다고 전했다. 다만 페퍼먼의 반응은 개인 평가이지 클레이의 공식 판정이 아니다.

여기서 두 가지를 구분해야 한다. 코르도바–마르티네스-소로아의 연구는 공개된 선행 연구라, 누구든 그 위에 쌓는 것은 정상적인 연구 관행이다. 다툼의 대상은 그게 아니라, 벅마스터–알푀게의 미공개 진전이 OpenAI의 작업에 영향을 줬느냐다. 그리고 OpenAI의 증명이 실제로 어떤 경로를 따라갔는지는 별개의 문제다. 회사는 "우리 증명은 상당히 다르고, 오일러의 경우 증명한 결과 자체가 다르다(외력 있음 대 없음)"고 밝혔다. 실제로 OpenAI가 공개한 오일러 결과는 외력이 없는 경우로, 벅마스터–알푀게의 외력 있는 결과와 조건이 다르다. 두 증명을 나란히 놓고 비교한 독립 검증 결과는, 편집부가 확인한 공개 자료 범위에서는 찾지 못했다.

일요일 오후의 두 통화

앞서 본 9월 8일 낮 12시 58분 게시물에서, 벅마스터는 논문 세 편과 함께 성명서 PDF를 링크해 뒀다. OpenAI 발표보다 13시간 앞선 시점이다. 그 문서는 학술 자료라기보다 경위서였다.

그는 연구 내내 OpenAI의 코덱스를 사용했다. 9월 3일, 자기 연구 소문이 돌기 시작하자 그는 OpenAI 소속 수학자에게 먼저 메일을 보냈다. 그리고 9월 6일 일요일 12시 45분, 그날 안에 만날 수 있느냐는 연락이 왔다. 세바스티앙 뷔벡이 합석했고, 세 사람은 그날 오후에 두 번 통화했다. 알푀게는 통화에 없었다.

성명서에 따르면 통화에서 두 가지 제안이 나왔다. 첫째는 벅마스터 쪽이 오일러 결과를 올리면 OpenAI가 다음 날 나비에–스토크스를 올리는 것, 둘째는 오일러를 올린 뒤 벅마스터가 혼자서 OpenAI의 나비에–스토크스 결과를 소개하는 논문을 쓰는 것이었다. 저자 문제는 이 두 번째 제안의 맥락에서 나왔다. 그는 둘 다 거절했다고 적었다.

"뷔벡은 레벤트를 저자에서 빼고 싶다고 두 번 말했고, 레벤트가 앤트로픽에서 일한다는 사실만 아니었다면 모든 게 간단했을 거라고, 그게 너무 성가시다고 말했다."

"OpenAI가 제안한 방식대로 결과를 공개한다면 나는 무슨 일이 있었는지 공개하겠다고 말했다. 돌아온 답은 '왜 당신 커리어를 망치려 하느냐'였다. 나는 학자인데 왜 공개가 커리어를 망친다고 생각하느냐고 되물었다. 답은 '내가 좋게 나가길 원치 않는다면, 그럴 필요 없다'였다."

그리고 그는 데이터에 대해 이렇게 적었다.

"나는 모델이 우리의 코덱스 세션 — 이 프로젝트 내내 우리가 모든 초안을 넣어 온 — 으로 학습됐는지, 혹은 거기 접근했는지 물었다. 모델이 사용자 데이터를 들여다보지는 않는다는 답을 받았다. 학습에 대해 다시 물었고, 답을 받지 못했다."

여기서 성명서의 마지막 문단을 빼놓으면 이 글을 왜곡하는 것이 된다. 벅마스터는 자기 주장의 한계를 스스로 못 박는다.

"내가 주장하지 않는 것을 분명히 하고 싶다. 나는 OpenAI의 증명을 보지 못했다. 그들의 모델이 무엇을 어떻게 했는지 모른다. 우리 데이터가 사용됐는지 모른다. 나는 누구에게도 어떤 혐의를 제기하는 게 아니다."

다만 이것은 성명서를 쓸 당시의 입장이다. 그는 OpenAI 블로그가 올라온 뒤 한국시간 9일 새벽 1시 56분(UTC 8일 16:56)의 후속 게시물에서, 블로그의 "8월 28일부터 새 내부 모델을 학습해 왔다"는 문장을 인용하며 한 걸음 더 나갔다. "우리가 결과를 얻은 이후 시기의 학습 데이터를 썼다고 공개적으로 인정한 것"이라며 "고객을 선점하려고 고객의 데이터를 쓰는 것이 윤리적인가"라고 물었다. 이는 그의 해석이다. 학습을 8월 28일부터 했다는 문장만으로는 학습 데이터가 어느 시기의 것인지 알 수 없고, 실제 이용을 입증하는 자료가 제시된 것도 아니다.

19분 뒤, 반대편의 이야기

OpenAI 공식 발표 약 19분 뒤, 뷔벡이 반박문을 올렸다(벅마스터의 성명서는 그보다 13시간 앞서 이미 공개돼 있었다). 그의 반론은 "오해였다"는 수준이 아니라, 사실관계 자체가 다른 이야기다.

저자 문제에 대해 그는 이렇게 부인한다.

"나는 레벤트를 그 자신의 연구 저자에서 빼 달라고 요구한 적이 결코 없다. (…) 통화에서 그들이 오일러만 풀었고 나비에–스토크스는 풀지 못했다는 것을 알고 놀랐다. 이후 우리는 가능한 경로들을 검토했고, 그중 하나가 트리스탄이 OpenAI 증명의 재작성 논문을 주도 저자로 맡는 것이었다. '레벤트가 앤트로픽 직원이 아니었다면 더 간단했을 것'이라고 말한 것은 바로 그 맥락에서였다."

그리고 그는 새로운 사실 주장을 하나 덧붙인다.

"중요한 것은, 그들의 오일러 폭발 증명에 앤트로픽의 내부 모델이 사용됐다는 점이 인정됐다는 사실이다. 그래서 나는 레벤트를 독립적인 학자로 볼 수 없다고 느꼈다."

이 대목은 성명서와 정확히 겹치지 않는다. 벅마스터는 사용한 도구를 "앤트로픽의 클로드, OpenAI의 코덱스(특히 GPT-5.6 솔, 최근에는 아스트라)"라고 적었고 아스트라는 원고 작성과 논증 감사에만 썼다고 밝혔다. '내부 모델'이 공개 모델과 다른 것을 가리키는지는 어느 쪽 문서로도 확정되지 않는다.

통화 분위기에 대한 그의 서술은 정면으로 반대다.

"통화에서 나는 곧바로 일련의 비방에 부딪혔고, 여기에는 우리가 나비에–스토크스를 발표하면 근거 없는 비난을 쏟아내며 즉시 언론에 가겠다는 직접적인 위협이 포함돼 있었다."

문제의 발언에 대해서는 맥락을 설명하고 사과한다.

"나는 왜 축하할 계기를 이런 다툼으로 바꾸려 하는지 이해하지 못했고, 그때 근거 없는 비난 때문에 커리어를 걸 이유를 모르겠다고 말했다. (…) 이 극도로 형편없는 표현 선택에 깊이 사과한다. 내가 전하려던 것과 정반대다. (덧붙이자면 그 자리에서 즉시 철회했다.)"

다만 성명서에 기록된 두 번째 발언 — "내가 좋게 나가길 원치 않는다면, 그럴 필요 없다" — 에 대해서는 뷔벡의 반박문이 다루지 않는다. 답하지 않았다는 것이 그 발언을 인정했다는 뜻은 아니다.

23분 뒤 샘 올트먼도 입장을 냈다.

"그들이 나비에–스토크스가 아니라 오일러를 가졌다는 것을 알았을 때, 우리는 그들이 먼저 발표하도록 양보하겠다고 제안했고, 상을 받아야 할 쪽은 그들이라고 말하겠다고 제안했다. (…) 이제 그들의 작업을 볼 수 있게 되니, 접근법은 서로 다른 것으로 보인다."

착수 계기에 대해서는 이렇게 밝혔다.

"우리가 이것을 시도한 이유는, 지난주 인터넷에 앤트로픽의 모델이 밀레니엄 문제를 풀었다는 소문이 돌았고 우리 것도 할 수 있는지 궁금했기 때문이라는 것이 사실이다."

소문을 계기로 연구를 시작했다는 회사 설명은, 벅마스터가 전한 착수 경위와 대체로 부합한다.

확인된 것과, 여전히 다투는 것

일부 경위는 양측 서술이 겹치지만, 발언의 의미와 의도는 서로 다툰다. 편집부는 통화 녹음, 전체 메시지 기록, 실행 로그 가운데 어느 것도 확보하지 못했다. 지금 확인할 수 있는 공개 자료만으로는 어느 쪽 서술이 옳은지 판정할 수 없다.

서울의 새벽, 그리고 AI에게 물어본 진위

우리가 수집한 국내 표본에서 관련 글은 벅마스터 발표 직후인 9월 8일 오후부터 보였고, OpenAI의 공식 발표가 나온 한국시간 새벽 2시 20분 이후 늘었다(발표 전 12시간 10건, 발표 후 12시간 23건). 디시인사이드 특이점 갤러리에는 OpenAI 발표 직후 "인간 시대의 끝이 도래했다", "역사적인 순간이다" 같은 댓글이 달렸고, "이세돌"을 끌어온 제목의 글도 두 건 있었다. 한 이용자는 그 표현이 "아예 자연스러운 용어가 됐구나"라고 적었다.

발표 뒤 수집된 일부 글에서는 결이 다른 반응도 보였다. 우리 표본(최근 48시간 조회로 수집한 개념글 199건 중 이 사건 관련 33건)의 오전 시간대에는 발표 내용을 되짚는 글이 섞여 있었다. 오전 10시 25분, 선행 연구의 몫을 강조하는 댓글이 달렸다. 이 해석 자체가 이번 분쟁의 쟁점이라 우리가 옳다고 보증할 수는 없지만, 발표 여덟 시간 만에 표본 안에서 그런 각도가 나왔다는 사실은 기록해 둘 만하다.

"헤드라인만 보고 쓴 글인가. OpenAI가 한 일은 인간이 만든 반례 찾는 방법론을 수많은 에이전트에 적용시켜서 반례 찾은 건데."

공로가 어디 있는지 짚는 반응도 있었다. "기존 인간 수학자들의 기여와 연구가 있었기에 AI도 문제를 풀 수 있었던 거지, 대단한 분들임."

표본에는 다른 AI의 답변을 근거로 발표를 의심하는 취지의 게시물도 있었다. "제미나이에게 물어보니 가짜라더라"는 내용이었는데(편집부는 그 대화 원문은 확인하지 못했다), 댓글들은 오히려 그 방법을 꼬집었다. "검색을 끄면 너도 저렇게 할 수 있음", "뉴스를 믿지 마 잼황을 믿어". AI가 풀었다는 주장의 진위를 다른 AI에게 물어보는 장면은, 이 사건이 던지는 검증의 질문을 작게 비춰 보인다.

덧붙일 것이 있다. 이 사건을 두고 표본에 등장한 두 가지 이야기 — "해외 석학들이 이번 증명은 사기라는 공동 성명을 냈다", "프랑스 CNRS 소속 수학자가 벅마스터에게 독설을 퍼부었다" — 는 원문도 서명자도 확인되지 않았다. 흥미롭게도 커뮤니티 스스로도 이를 다 받아들이진 않았다. 성명문 글에 달린 첫 댓글은 "내 5초 돌려줘…"였고, 프랑스 수학자 글에는 "스페인 사람임"이라며 국적을 지적하는 댓글이 달렸다(국적과 소속은 양립할 수 있어, 이것이 원 주장을 반박하지는 않는다).

지적 공유지의 비극

이 공방을 두고 구조적인 우려를 짚은 이는 타오였다. 발표 3시간 뒤 그는 표절 공방이 아니라 연구 생태계 자체를 겨눈 네 편의 글을 올렸다.

"좋고 결실 있는 미해결 문제들의 집합이 이제 비재생 방식으로 채굴되고 있다."

미완성 아이디어를 공유하고 서로 살을 붙이며 함께 검증하는 것은 과학 발전의 중요한 관행이었다. 오픈 사이언스의 전통이다. 타오가 말하는 것은 그 관행의 유인이 흔들리고 있다는 것이다. 그렇다고 그가 새 도구 자체를 부정하는 것은 아니다. 같은 글에서 그는 새 도구가 문제를 쉽게 만들어 난도의 지형을 평평하게 하는 대가가 있지만, 동시에 도달 가능한 결과의 반경을 넓혀 새로운 탐구의 경계를 여는 경우도 많다고 적었다.

"이제 희소하고 귀중한 자원이 된 것은 유망한 문제를 식별하는 일이다. 우리는 누군가 어떤 문제를 연구 중이라는 소문만으로도, 그 원래 연구가 잠재력을 다 발휘하기 전에 그것을 납작하게 만들어 버리는 대규모 AI 동원이 촉발될 수 있음을 보았다. 이제 유인은 유망한 연구 방향을 공동체와 더 이상 공유하지 않는 쪽을 가리키고 있을지 모른다. 그렇게 되면 수백 년의 공개과학 전통이 뒤집히고 이 분야의 미래가 심각한 장기 손상을 입게 될 것이다."

그가 지목한 두 번째 문제는 더 구조적이다. AI 기업이 실패한 시도와 도달 과정을 공개하지 않는 관행. 그것이 "AI로 풀 수 있는 문제와 AI에게 어려운 문제 사이의 경계"를 아무도 알 수 없게 만든다는 것이다.

그의 결론은 금지가 아니라 기준이다. 자동화 도구의 무차별적 사용을 막기는 어렵겠지만, 많은 종류의 문제에 대해 해답뿐 아니라 풀이 과정의 통찰과 주변 문제에 대한 이해까지 함께 요구하는 기준을 정할 수 있다는 것이다. 그는 이를 먹을 수만 있으면 무엇이든 받던 옛날과 달리, 오늘날의 식품 기부가 무엇을 받을지 기준을 두는 것에 비유했다.

한 가지 덧붙일 것이 있다. 타오의 이 우려는 이번 발표에 대한 반응으로 처음 나온 것이 아니다. 그는 닷새 앞선 9월 3일, 바로 나비에–스토크스 정칙성 문제를 사례로 들어 "AI가 주로 생성한 해법이 등장하되, 그 문제를 이후 발전의 원천으로서 오염시키는 방식으로 나타날 시나리오가 점점 현실적이 되고 있다"고 썼다. 이번 사건은 그 우려가 사례를 얻은 셈이다.

남겨진 질문

취재 기준 시점까지 편집부는 클레이의 공식 인정이나 학술지 동료평가 완료를 확인하지 못했다. 이는 증명이 틀렸다는 뜻이 아니다. 인정 절차와 수학적 타당성은 서로 다른 문제다.

클레이 연구소는 블로그 글이 아니라 CMI가 적격으로 인정하는 출판매체(Qualifying Outlet)에의 게재, 게재 후 최소 2년, 그리고 국제 수학계의 일반적 수용 세 가지를 모두 요구한다. OpenAI가 상금을 청구하지 않겠다고 밝힌 것과, 클레이가 이를 해결로 인정하는 것은 전혀 다른 문제다.

검증 자체는 열려 있다. OpenAI 저장소에는 Lean 빌드 방법과 함께 Comparator를 이용한 독립 검사 안내가 들어 있다. 다만 검증 방법이 공개됐다는 것, 누군가 실제로 돌려 봤다는 것, 그 결과가 수학적으로 평가됐다는 것은 서로 다른 사건이다. 편집부는 그 안내를 확인했을 뿐 실행하지 않았고, 셋 중 뒤의 두 가지가 완료됐다는 공개 자료도 찾지 못했다.

그리고 수학적 검증과는 별개로, 중요한 질문이 하나 더 남았다.

벅마스터는 자신의 연구 초안을 전부 코덱스 창에 넣어 두고 작업했다. 그는 통화 당시 학습 여부를 물었지만 답을 받지 못했다고 밝혔다. OpenAI는 이후 공개 발표에서, 특정 사용자 데이터는 보지 않았다고 하면서도 가능성은 낮지만 제품 사용에서 파생된 비식별 데이터가 모델 개선에 기여했을 가능성은 배제하지 않았다. 불완전하나마 공개적인 답은 나온 셈이다.

이 구조가 그대로라면, 다음에 어떤 연구자가 미공개 진전을 AI 도구에 입력할 때 같은 질문이 또 나온다. 다만 해당 연구 자료가 실제로 쓰였는지를 확인해 줄 독립 감사 기록은, 편집부가 확보하지 못했다.

기계가 밀레니엄 문제를 풀었다는 환호 뒤편에서, 이번 사건은 묻고 있다. AI의 해법을 무엇으로 검증하고, 연구자의 공로와 미공개 자료의 쓰임을 어떤 기록으로 확인할 것인가. 그 답이 마련되지 않는다면, 우리가 지켜온 탐구의 규칙은 스스로 유한시간 특이점을 향해 가게 될지도 모른다.

※ 사건 현황 기준: 2026-09-09 16:00 KST. 최종 원문 대조: 2026-09-10(뷔벡·올트먼 게시물 전문, 타오 9월 3일 글, 퀀타 기사, Lean 저장소, 클레이 규정 재확인). 양측 입장은 공개 원문을 대조해 발췌·번역했다. 편집부는 어느 쪽의 Lean 증명도 직접 빌드해 검증하지 않았고, 어느 쪽의 내부 기록도 열람하지 않았다. 따라서 이 글은 어느 증명의 수학적 타당성에 대해서도 판정하지 않는다. 본문 삽화는 AI로 생성한 개념 이미지다. 소용돌이 그림은 회사 설명을 바탕으로 한 개념도로 실제 해의 시각화가 아니며, 4컷 만화는 국내 표본에서 관찰된 장면을 재구성한 것이다. 등장인물은 실존 인물이 아니다. ※ 국내 커뮤니티 인용 — 디시인사이드 특이점 갤러리의 개념글 목록을 자체 수집 도구로 조회했다. 최근 48시간을 조회했고, 실제 수집된 글의 게시 시각 범위는 2026-09-07 18:33 ~ 09-09 15:37 KST(약 45시간)이며, 제목에 사건 관련 키워드(나비에·스토크스·밀레니엄·타오·벅마스터 등)가 들어간 글을 관련 글로 분류했다(개념글 199건 중 33건). 인용한 글의 번호와 게시 시각은 다음과 같다: 1402231(09-09 02:27), 1402395(03:14), 1403258(08:28), 1403467(09:18), 1403727(10:23), 1403193(08:05), 1401757(09-08 22:06). 댓글 인용은 해당 글의 댓글이며 원문·작성 시각을 보관했다. 개별 글은 삭제될 수 있어 갤러리 주소를 함께 두었고, 표현은 순화했다. 제한된 비확률 표본이므로 여론 일반화가 불가능하다.

출처

공식 발표·문서

• OpenAI, 〈On the Navier–Stokes Millennium Prize Problem〉 · 논문 PDF · 공식 X 게시물 · Lean 저장소
• Alpöge–Buckmaster 성명서 · Euler · Boussinesq · IPM · Lean 저장소
• 클레이 밀레니엄 상 규정 · 나비에–스토크스 공식 정의(Fefferman)

당사자·전문가 발언

• 벅마스터 최초 게시물 · 후속 게시물
• 타오: 초기 평가 · 방법 해설 · 비재생 채굴 1/4 · 3/4 · 9월 3일 사전 우려
• 뷔벡 반박문 · 올트먼 입장
• 페퍼먼 인터뷰(퀀타) · 팔라섹의 기술적 유보 · 아난드쿠마르 연구팀의 별도 결과

보도

• Quanta Magazine · TechCrunch · Axios · Fortune · Simon Willison

커뮤니티

• HN 49616968 · HN 49615926 · 디시인사이드 특이점 갤러리