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

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

OpenAI는 화요일 내부 모델 중 하나가 밀레니엄 문제 7개 중 하나인 나비에-스토크스 존재성 문제에 대해 기계 검증된 해법을 산출했다고 발표했다. 밀레니엄 문제 각각은 클레이 수학연구소(Clay Mathematics Institute)가 100만 달러의 상금을 걸어둔 난제다. 이번 결과는 유체 방정식이 ‘블로우업(blow-up)’ — 특정 지점에서 유체의 속도가 무한대로 치달을 수 있다는, 물리학이 배제하는 시나리오 — 을 허용한다는 증명이며, 모든 단계가 수학적 논증을 형식적으로 검증하는 증명 보조 언어 Lean으로 확인됐다. 검증을 통과한다면 밀레니엄 문제 중 해결된 두 번째 사례이자, 인공지능에게 첫 번째로 귀속되는 해법이 된다. 회사 측은 증명에 88시간과 약 1만 개의 협조 AI 에이전트, 즉 차세대 모델의 병렬 복제본이 투입됐다고 밝혔다. 이 모델은 최근 ARC-AGI-3에서 98.6%를 기록했고 이전에는 OSWorld 2.0에서 72.6%를 기록했던 GPT-6 Astra보다 한층 강력하다고 OpenAI는 설명한다. 이 발표는 AI 수학의 초례기간에 나왔다. 며칠 전 Anthropic은 자사 Claude 모델이 페르마의 마지막 정리를 컴퓨터 검증된 증명으로 산출했다고 보고했고, 대규모 에이전트 배치도 일상화되고 있다 — 이 데스크는 이전에 OpenAI 에이전트들이 하나의 조직화된 캠페인에서 독일 위키에 1만 8,000개 게시물을 올린 사례를 추적한 바 있다. 그러나 유체역학적 주장은 즉시 인간의 문제에 부딪혔다. OpenAI가 공개하기 몇 시간 전, NYU 수학자 Tristan Buckmaster는 4페이지 분량의 성명서를 내고 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은 내부 모델이 이미 평활 강제항(smooth forcing)을 이용한 강제 나비에-스토크스 방정식의 약 100페이지짜리 증명을 산출했다고 밝혔다. 이는 거의 아무도 추구하지 않던 좁은 경로, 즉 Diego Córdoba와 Luis Martínez-Ziora의 프로그램에 기반한 것이었다. 그는 Bubeck이 Alpöge의 Anthropic 소속을 이유로 두 차례 저자 명단에서 제외하라고 압박했고, 한 번은 “왜 당신의 경력을 망치려 하느냐”고 물었다고 주장한다. Bubeck은 이 주장을 “거짓이고 선동적”이라며, 자신이 조율된 공동 발표를 제안했음을 보여주는 문자 메시지를 공유했고 선의로 행동했다고 주장한다. Altman은 Bubeck이 “처음부터 끝까지 성실하고 관대하게 행동했다”며, OpenAI가 상대 팀이 Euler만 풀었을 뿐 완전한 나비에-스토크스는 아니라는 사실을 깨닫고 상대 팀이 먼저 발표하도록 허용하자고 제안했다고 덧붙였다. OpenAI는 별도로 상대의 연구를 발표 전에 본 적이 없다고 밝혔으나, 비식별화된 사용 데이터가 모델 개선에 도움이 됐을 가능성은 배제하지 못했다고 말했다. Buckmaster는 또한 두 사람이 증명 초안을 OpenAI Codex 세션 내부에 보관했으며, 그 세션이 모델 학습에 사용됐는지에 대한 답을 끝내 받지 못했다고 지적했다. 필즈상 수상자 Terence Tao는 Buckmaster와 Alpöge의 기반 수학을 “주목할 만한 성취”라고 평했다. 주목할 점은 OpenAI의 100페이지 증명도, 그리고 아직 최종 Lean 검사를 기다리고 있는 두 사람의 가장 진전된 결과도 독립적 검토를 거치지 않았다는 것이다. 시장을 실시간으로 추적하려는 독자는 MEXC에서 현물·선물 가격을 실시간으로 확인할 수 있다.

Altman과 Worldcoin의 연결

Worldcoin 프로젝트(WLD)에게 이번 사안의 의미는 유체역학 자체보다 누구의 이름이 이 돌파구에 올라가는가에 있다. Altman은 Worldcoin의 공동창업자로, 이 프로젝트의 홍채 스캔 기반 신원 네트워크는 영지식 증명에 기대고 있다. OpenAI의 성과는 반복적으로 시가총액 서사로 흘러들었고, 트레이더들은 Altman 연계 AI-크립토 트레이드를 재평가해왔다. WLD는 최근 24시간 동안 알트코인 중 AI 연계 종목들이 이 논쟁을 추적하는 가운데 4.4% 하락했으며, Worldcoin 생태계는 Altman의 또 다른 회사의 영향권 안에 머물렀다. 이 증명이 외부 검토를 통과하는지, 그리고 누가 공을 인정받는지가 차기 Web3 포지셔닝을 결정할 것이다.