OpenAI, 1만 에이전트 수학 증명 발표 — 공로 논쟁 속 Altman의 Worldcoin(WLD) 주목

1만 에이전트, 88시간의 증명

OpenAI는 화요일 내부 모델 하나가 유체 방정식의 해 존재 문제, 이른바 나비에-스토크스(Navier-Stokes) 존재성 문제에 대해 기계 검증된 해답을 도출했다고 발표했다. 이 문제는 클레이 수학연구소(Clay Mathematics Institute)가 각각 100만 달러의 상금을 걸어둔 일곱 개 밀레니엄 문제 중 하나다. 발표된 결과는 유체 방정식이 '블로우업(blow-up)', 즉 유체의 속도가 특정 지점에서 무한대로 치달을 수 있다는 것을 증명하는 것으로, 물리학은 이를 배제한다. 모든 단계는 수학적 논증을 형식적으로 검증하는 증명 보조 언어 Lean으로 확인됐다. 이 증명이 학계의 검증을 통과하면 밀레니엄 문제 중 사상 두 번째 해결이며, 인공지능의 공으로 인정받는 최초의 사례가 된다. 회사 측은 증명에 88시간이 걸렸고 약 1만 개의 협업 AI 에이전트가 동원됐다고 밝혔다. 이들은 차세대 모델의 병렬 복제본으로, 최근 ARC-AGI-3에서 98.6%를 기록하고 이전에는 OSWorld 2.0에서 72.6%를 기록한 GPT-6 Astra보다 한층 강력하다고 회사는 설명한다. 발표는 AI 수학의 전례 없는 행진 한복판에서 나왔다. 며칠 전 Anthropic은 자사 Claude 모델이 페르마의 마지막 정리를 컴퓨터 검증된 증명으로 도출했다고 밝혔고, 대규모 에이전트 배치도 일상화되고 있다. 우리 취재진도 앞서 OpenAI 에이전트들이 하나의 조직적 캠페인에서 독일 위키에 1만 8,000개 게시물을 남긴 사례를 추적한 바 있다. 그러나 유체역학적 주장은 곧바로 사람의 문제에 부딪혔다. OpenAI가 발표를 공개하기 몇 시간 전, NYU 수학자 Tristan Buckmaster는 네 페이지 분량의 성명을 내고 OpenAI의 Sébastien Bubeck이 자신과 Anthropic 연구원 Levent Alpöge의 미발표 유사 연구를 사전에 알고 있었으며 발표 전 공로를 놓고 두 사람에 압박을 가했다고 주장했다. OpenAI와 Bubeck, 그리고 CEO Sam Altman은 이 주장을 부인하며, 누가 먼저 100만 달러짜리 답에 도달했는지를 둘러싼 치열한 공방이 시작됐다.

Buckmaster 성명과 반박

Buckmaster의 설명에 따르면, 그와 Alpöge는 거의 1년간 대규모 언어 모델을 유체 블로우업 증명 방향으로 이끌어왔고 8월 22일까지 해답을 손에 넣었다. 9월 3일 Anthropic이 중대한 미해결 문제를 풀었다는 소문이 퍼지자 Buckmaster는 OpenAI의 한 수학자에게 프로젝트가 개인 사업이며 양사와 무관하다는 점을 강조하는 이메일을 보냈다. 답장은 우호적이었고 오히려 OpenAI의 컴퓨팅 자원 제공까지 언급했다. 이어 9월 6일 일요일 두 차례의 통화가 있었고, Buckmaster에 따르면 이 자리에서 Bubeck은 내부 모델이 이미 약 100페이지 분량의 '강제 항(smooth forcing)을 포함한 강제 나비에-스토크스' 증명을 도출했다고 밝혔다. Diego Córdoba와 Luis Martínez-Ziora의 연구 프로그램에 기반한, 사실상 아무도 좇지 않던 좁은 경로였다. 그는 Bubeck이 Alpöge의 Anthropic 소속을 이유로 두 차례 저자 명단에서 빼자고 압박했고, 한때 "왜 당신 경력을 망가뜨리려 하느냐"고 물었다고 주장한다. Bubeck은 이 주장을 "거짓이고 선동적"이라며, 조율된 발표를 제안했다는 문자 메시지를 공개하고 선의의 행보였다고 주장한다. Altman은 Bubeck이 "처음부터 끝까지 성실함과 관대함으로 행동했다"고 덧붙이며, OpenAI는 상대 팀이 오일러 방정식만 풀었을 뿐 완전한 나비에-스토크스가 아님을 깨닫고 먼저 발표할 기회를 제안했다고 말했다. OpenAI는 별도로 발표 전에 두 사람의 연구를 본 적이 없다고 밝혔으나, 식별 정보가 제거된 사용 데이터가 모델 개선에 일조했을 가능성은 배제하지 못했다고 인정했다. Buckmaster는 두 사람이 증명 초안을 OpenAI Codex 세션 안에 보관했으며, 해당 세션이 모델 학습에 반영됐는지에 대한 답을 끝내 받지 못했다고도 지적했다. 필즈상 수상자 Terence Tao는 Buckmaster와 Alpöge의 기반 수학을 "주목할 만한 성취"라고 평했다. 주목할 점은 OpenAI의 100페이지 증명이든, 두 사람의 가장 진전된 결과(아직 최종 Lean 검증 대기 중)든 어느 쪽도 독립적 검토를 거치지 않았다는 사실이다. 실시간 시세 추적이 필요한 독자는 MEXC에서 현물 및 선물 가격을 확인할 수 있다.

Altman과 Worldcoin의 연결고리

이후 두 가지 새 사실이 그림을 더 선명하게 했다. OpenAI는 88시간 실행이 끝난 뒤 GPT-6 Astra 자체가 에이전트들의 논리를 형식적으로 검증하는 데 17시간을 추가로 투입했다고 밝혔고, 결과가 유지되더라도 클레이 재단의 100만 달러 상금을 청구하지 않겠다고 공식화했다. Buckmaster 역시 공개적으로 tone을 낮춰, OpenAI 모델이 무엇을 어떻게 했는지 모르고 자신의 데이터가 사용됐는지도 알 수 없으며 "누구를 고발하는 것도 아니다"라고 말했다. Bubeck은 기자간담회에서 미발표 연구 접근을 부인했지만, OpenAI는 식별 정보가 제거된 사용 데이터가 학습에 영향을 줬을 가능성을 다시 배제하지 못했다. 이 충돌은 OpenAI가 보도된 바로는 1조 달러 IPO를 준비하는 시점에 벌어지고 있으며, Anthropic은 그보다 더 높은 기업가치를 추구하고 있다.

실행 규모에 대한 세부 정보도 추가로 나왔다. OpenAI에 따르면 약 1만 개 에이전트가 88시간 동안 270만 개 메시지를 주고받았고 약 1,300억 토큰을 생성했으며, 연구총괄 Mark Chen은 컴퓨팅 비용이 클레이 상금의 100만 달러 가치를 초과했다고 시사했다. 클레이 수학연구소는 아직 이 결과를 인정하지 않았다. 동소의 규정상 수상에는 승인된 플랫폼 게재, 2년간의 공개 기간, 수학계의 폭넓은 수용이 요구되는데, 회사가 이미 상금을 추구하지 않겠다고 밝힌 만큼 사실상 무의미한 조건이다. Bubeck은 자신의 연구에서 Alpöge를 저자에서 빼자고 요구한 적이 없다고 X에서 공개적으로 부인했고, Alpöge는 식별 정보 제거 학습 데이터에 관한 OpenAI의 인정에 대해 "솔직하게 말해준 점은 고맙게 생각한다"고 화답했다.