AI 1만 개가 88시간 만에 100만 달러 난제를 건드렸습니다 — 그런데 상금은 안 받겠다고 합니다

오픈AI가 에이전트 1만 개를 붙여 88시간 만에 100만 달러짜리 수학 난제를 풀었다고 발표했습니다. 그런데 상금은 청구하지 않겠다고 했습니다.

상을 주는 클레이 수학연구소는 이 문제를 여전히 미해결 목록에 올려 두고 있습니다. 풀었다는데 왜 상은 안 받고, 왜 아직 미해결일까요.

게다가 발표 하루 만에 크레딧 분쟁이 터졌습니다. 다른 수학자가 자기 미공개 연구가 흘러 들어갔다고 공개적으로 문제를 제기했습니다.

에이전트 1만 개가 88시간 만에 100만 달러짜리 난제를 건드렸습니다

오픈AI는 9월 8일에 내부 AI 시스템이 나비에-스토크스 방정식에 관한 증명을 만들어 냈다고 밝혔습니다.

에이전트가 결론에 이른 시점은 9월 5일이었고, 첫 에이전트를 띄운 뒤 약 88시간이 지난 때였습니다.

동원된 에이전트 수는 1만 개로 전해집니다. 사람 한 명이 몇 년을 매달리던 방식과는 접근 자체가 다릅니다.

무슨 일이 있었나 — 9월 8일 발표의 뼈대

발표된 결과는 유체가 흐르다가 유한한 시간 안에 특이점을 만들 수 있다는 내용입니다.

증명문에는 린이라는 도구로 만든 형식화가 함께 붙었습니다. 사람이 읽는 논문 옆에 기계가 검산할 수 있는 판본을 같이 낸 것입니다.

발표 직후 학계 반응은 둘로 갈렸습니다. 형식화까지 붙인 점은 평가받았지만 조건과 경위를 두고 논란이 커졌습니다.

나비에-스토크스 방정식이 무엇을 다루는가

나비에-스토크스 방정식은 물이나 공기 같은 유체가 어떻게 움직이는지를 적은 식입니다. 19세기에 만들어졌습니다.

비행기 날개 주변의 공기, 강물의 소용돌이, 혈관 속 피의 흐름이 모두 이 식으로 설명됩니다.

실용적으로는 이미 매일 쓰이고 있습니다. 문제는 이 식이 수학적으로 항상 얌전한지가 증명된 적이 없다는 점입니다.

특이점이라는 말의 뜻

여기서 말하는 특이점은 AI가 인간을 넘어서는 그 특이점이 아닙니다. 수학에서 쓰는 다른 뜻입니다.

매끄럽게 흐르던 유체의 어느 지점에서 속도가 무한대로 치솟는 상황을 가리킵니다. 식이 답을 내놓지 못하고 깨지는 자리입니다.

현실에서는 그런 일이 안 일어나 보이는데 식으로는 막을 수 있는지 알 수 없었습니다. 그 간극이 이 문제의 핵심이었습니다.

밀레니엄 문제 일곱 개와 100만 달러

클레이 수학연구소는 2000년에 일곱 개의 난제를 골라 각각 100만 달러의 상금을 걸었습니다. 밀레니엄 문제라고 부릅니다.

그중 하나가 풀렸고 나비에-스토크스는 남은 문제 가운데 하나였습니다.

상금이 걸려 있다는 것은 단순한 명예 이상의 뜻이 있습니다. 무엇을 풀어야 상을 주는지가 문서로 정해져 있다는 뜻이기 때문입니다.

88시간이라는 숫자의 안쪽

88시간은 사흘 반가량입니다. 사람 수학자들이 수십 년을 붙들던 문제에 붙은 시간치고는 짧습니다.

다만 이 숫자를 사람과 직접 비교하기는 어렵습니다. 에이전트 1만 개가 동시에 돌았으니 실제로 소모된 계산량은 훨씬 큽니다.

88시간은 걸린 시간이지 들인 자원이 아닙니다. 두 값을 섞어 읽으면 실제보다 훨씬 극적으로 보입니다.

린으로 형식화하는 데 17시간이 더 걸렸습니다

증명을 만든 뒤 그것을 린이라는 증명 보조 도구의 문법으로 옮기는 데 17시간이 더 들었습니다. 이 작업에는 GPT-6 아스트라가 쓰였습니다.

린은 논리의 각 단계를 기계가 하나씩 검사할 수 있게 만든 언어입니다.

사람이 읽고 고개를 끄덕이는 것과, 기계가 빈틈을 못 찾는 것은 다른 종류의 확신입니다.

기계가 검산할 수 있다는 것의 뜻

린으로 형식화된 증명은 누구나 자기 컴퓨터에서 돌려 볼 수 있습니다. 회사의 말을 믿을 필요가 없어집니다.

이 점은 이번 발표에서 가장 단단한 부분입니다. 주장만 있고 검증할 방법이 없는 발표와는 성격이 다릅니다.

다만 형식화가 옳다는 것과 그 형식화가 원래 문제를 담고 있다는 것은 별개입니다. 논란은 정확히 이 두 번째 지점에서 벌어졌습니다.

그런데 외력이 들어갔습니다

오픈AI의 증명은 매끄러운 외력을 유체에 가하는 방식으로 특이점을 만들어 냅니다. 밖에서 힘을 넣어 준다는 뜻입니다.

많은 수학자가 관심을 갖는 것은 외력이 없는 상태에서 유체가 스스로 깨지는가입니다.

밖에서 밀어 주면 깨진다는 결과는 의미가 있지만, 원래 묻던 질문과 같지 않습니다. 여기가 이번 논쟁의 기술적 핵심입니다.

많은 수학자가 제외하는 조건입니다

외력이 있는 판본은 문제를 더 쉽게 만듭니다. 조건을 붙일 수 있으면 원하는 상황을 만들어 낼 여지가 커집니다.

그래서 이 분야에서는 외력이 없는 판본을 진짜 목표로 삼아 왔습니다.

발표 제목만 보면 난제가 풀린 것처럼 읽히지만, 실제로 증명된 것은 조건이 붙은 판본입니다.

오픈AI는 상금을 청구하지 않겠다고 했습니다

오픈AI는 증명을 공개하면서 밀레니엄 상금을 청구하지 않겠다고 밝혔습니다.

이 선언 자체가 많은 것을 말해 줍니다. 상금 요건을 충족했다고 스스로도 보지 않는다는 뜻으로 읽힙니다.

결과의 가치와 상금 요건 충족은 다른 문제이고, 회사도 그 구분을 인정한 셈입니다.

클레이 연구소는 여전히 미해결로 둡니다

클레이 수학연구소는 이 결과를 수용하지 않았습니다. 나비에-스토크스는 지금도 미해결 밀레니엄 문제 목록에 올라 있습니다.

연구소의 판정 절차는 원래 느립니다. 동료 심사를 거친 논문이 나오고 일정 기간이 지나야 검토가 시작됩니다.

즉 지금 상태는 거절도 승인도 아닌 절차가 시작되지 않은 상태에 가깝습니다.

같이 증명된 세 방정식 — 오일러·부시네스크·다공질 매체

오픈AI가 제시한 결과는 나비에-스토크스 하나만이 아닙니다.

3차원 비압축성 오일러 방정식, 부시네스크 방정식, 비압축성 다공질 매체 방정식에서도 매끄러운 외력 아래 유한 시간 붕괴가 일어난다는 내용이 함께 나왔습니다.

여러 방정식에 같은 기법이 통했다는 점은 결과의 폭을 보여 줍니다. 조건이 붙었다는 한계는 이들에도 똑같이 적용됩니다.

크레딧 분쟁이 하루 만에 터졌습니다

발표 몇 시간 전, 뉴욕대학교의 트리스탄 벅마스터와 앤스로픽 연구자 레벤트 알포게가 관련 방정식들에 대한 AI 보조 연구를 내놨습니다.

두 사람이 다루던 문제는 오픈AI가 발표한 것과 이어지는 영역이었습니다.

그러자 하루 만에 누가 먼저였는가를 두고 공개적인 다툼이 시작됐습니다.

트리스탄 벅마스터의 공개 성명

벅마스터는 공개 성명을 내고 세 가지를 주장했습니다.

첫째, 오픈AI의 시도가 자기의 미공개 연구에 관한 소문을 접한 뒤에 시작됐다는 것입니다. 둘째, 오픈AI가 처음에는 모델이 얼마나 독자적으로 결론에 도달했는지를 실제보다 크게 말했다는 것입니다.

셋째, 공저자 자격을 제안받았지만 알포게를 빼는 조건이 붙어 거절했다는 것입니다. 알포게가 경쟁사인 앤스로픽 소속이라는 이유였다고 그는 밝혔습니다.

소문만으로 움직였다는 주장

이 주장에서 가장 무거운 부분은 논문도 아니고 발표도 아닌 소문이 방아쇠였다는 대목입니다.

연구자가 어떤 방향을 파고 있다는 이야기가 새어 나가면, 그것만으로 대규모 계산 자원이 같은 방향에 투입될 수 있다는 뜻입니다.

사실관계는 아직 양쪽 주장이 엇갈립니다. 다만 이 구조 자체가 가능하다는 점은 누구도 부정하지 않습니다.

공저자 제안과 거절된 조건

공저자 제안에 조건이 붙었다는 대목도 논란을 키웠습니다. 소속 회사를 이유로 공동 연구자를 배제하라는 요구였기 때문입니다.

연구는 소속과 무관하게 기여로 평가받는다는 것이 학계의 기본 전제입니다.

경쟁 관계가 저자 목록에까지 들어오면 그 전제가 흔들립니다.

지금은 두 사람의 동시 연구를 병기하고 있습니다

논란 이후 오픈AI가 공개한 페이지에는 두 사람의 이름이 올라갔습니다. 외력이 있는 오일러 문제에 대한 동시 연구로 기재됐습니다.

우선권을 공동 발표로 인정하겠다는 제안도 함께 나왔습니다.

발표 이후에 저자 표기가 바뀌었다는 사실 자체가 처음 발표에 문제가 있었음을 보여 줍니다.

테런스 타오가 남긴 우려

현존 최고 수학자 중 한 명으로 꼽히는 테런스 타오는 이번 일에 우려를 표했습니다.

그는 AI 회사들이 수학 난제를 마케팅 증거물로 쓰는 흐름을 지적했습니다.

AI가 전문가의 좋은 도구가 되기를 기대했는데, 통찰을 주기보다 답만 자동으로 뱉는 쪽으로 쓰이고 있다는 취지였습니다.

소문이 연구를 앞지르는 구조

타오가 특히 경계한 것은 부수 효과입니다. 누군가 어떤 문제를 붙들고 있다는 소문만으로도 대규모 AI 연산이 그 문제로 몰릴 수 있다는 것입니다.

그렇게 되면 원래 연구가 무르익기 전에 짓눌립니다. 시간이 필요한 연구일수록 불리합니다.

경쟁이 빨라지는 것과 연구가 좋아지는 것은 같은 말이 아닙니다.

발표가 마케팅 증거물이 될 때

난제 해결은 성능을 보여 주기에 좋은 소재입니다. 벤치마크 점수보다 훨씬 극적으로 읽힙니다.

그래서 조건이 붙은 결과라도 제목은 크게 나가기 쉽습니다. 이번 건에서도 상금 미청구와 미해결 유지라는 사실은 제목보다 훨씬 작게 다뤄졌습니다.

발표를 읽을 때 무엇이 증명됐고 무엇이 남았는지를 따로 세어 보시면 좋겠습니다.

실제 사례 — 미공개 연구를 AI 도구에 올려도 되는가

이번 사건은 연구자들에게 아주 현실적인 질문을 남겼습니다. 아직 발표하지 않은 연구를 프런티어 AI 도구에 올려도 되는가입니다.

도구를 만든 회사가 같은 분야에서 성과를 내려 하는 경쟁자이기도 하다면 이해관계가 겹칩니다.

이 질문은 수학에만 해당하지 않습니다. 미공개 원고, 미출원 발명, 진행 중인 소송 전략 모두 같은 구조에 놓입니다.

연구자가 실제로 잃을 수 있는 것

학계에서 우선권은 실질적인 자산입니다. 임용과 연구비와 평판이 거기에 걸려 있습니다.

몇 년을 들인 방향이 사흘 반 만에 다른 이름으로 발표되면 그 자산이 사라집니다.

기술의 속도 문제가 아니라 귀속의 문제라는 점에서 이번 논쟁은 앞으로 계속 반복될 가능성이 큽니다.

검증은 이제부터입니다

린으로 된 증명이 공개되어 있으므로 누구나 기계 검산을 돌려 볼 수 있습니다.

남은 질문은 세 가지입니다. 수학적 평가가 타당한가, 형식화된 명제가 의도한 문제를 담고 있는가, 독립적인 검증이 같은 결론에 이르는가입니다.

이 세 가지가 확인되기 전까지는 결론을 미뤄 두는 편이 안전합니다.

아직 확인되지 않은 것들

어느 모델이 어떤 역할을 했는지, 1만 개 에이전트가 구체적으로 어떻게 나뉘어 움직였는지는 자세히 공개되지 않았습니다.

소문이 어떤 경로로 오픈AI에 전달됐는지도 양쪽 설명이 다릅니다.

클레이 연구소가 언제 어떤 판단을 내릴지도 정해진 바가 없습니다. 지금 나온 것은 자료이지 결론이 아닙니다.

핵심 정리

오픈AI가 에이전트 1만 개로 88시간 만에 나비에-스토크스 관련 증명을 만들고, 린 형식화에 17시간을 더 썼습니다. 오일러·부시네스크·다공질 매체 방정식도 함께 다뤘습니다.

다만 증명에는 매끄러운 외력이 들어갔고, 많은 수학자가 진짜 문제로 여기는 것은 외력 없는 판본입니다. 오픈AI는 상금을 청구하지 않겠다고 했고 클레이 연구소는 여전히 미해결로 둡니다.

발표 하루 만에 트리스탄 벅마스터가 미공개 연구 유입과 공저자 조건을 문제 삼았고, 지금은 그와 레벤트 알포게의 동시 연구가 병기돼 있습니다. 테런스 타오는 소문만으로 연구가 짓눌리는 구조를 우려했습니다.

참고하실 만한 것

AI가 무언가를 풀었다는 발표를 보실 때는 원래 문제와 조건이 같은지를 먼저 확인해 보시면 좋겠습니다. 조건 하나가 난이도를 통째로 바꿉니다.

상금이 걸린 문제라면 상을 주는 기관의 입장을 함께 보시는 것이 확실합니다. 발표하는 쪽과 인정하는 쪽은 다른 주체입니다.

SVIL 블로그에서는 AI 뉴스를 큰 글씨와 쉬운 설명으로 정리하고 있습니다. 어려운 용어는 그때그때 풀어서 적어 두었습니다.

출처

• Washington Post — OpenAI claims solution to one of math's $1 million Millennium Prize problems
• Axios — OpenAI's historic math solution overshadowed by credit controversy
• Phys.org — OpenAI says 10,000 AI agents cracked one of math's hardest problems in 88 hours
• Fortune — OpenAI says it cracked Navier-Stokes, one of math's grand challenges
• Implicator.ai — Clay Institute Won't Call Navier-Stokes Solved by OpenAI
• TNW — OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize
• Unite.ai — OpenAI Says Internal AI System Resolved the Navier-Stokes Problem
• Decrypt — OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First
• Analytics India Magazine — The OpenAI Navier-Stokes Controversy, Explained

협업문의 : kuroicode@gmail.com
블로그 : https://blog.svil.dev/
홈페이지 : https://svil.dev/