Cardano(ADA) 호스킨슨, OpenAI의 88시간 나비에-스토크스 증명 주장에 무게 재기

AI의 수학 도약, 호스킨슨이 짚은 의미

Cardano(ADA) 창립자 찰스 호스킨슨(Charles Hoskinson)이 9월 9일 인공지능이 형식 수학 분야에서 자신이 공개적으로 예상했던 수준을 훌쩍 넘어섰다고 평가했다. 그는 이러한 시스템이 어떻게 쓰일지에 대한 과거 자신의 가정을 크게 벗어난 진전이라는 취지였다. 발언은 유튜브 생방송에서 나왔으며, OpenAI가 내부 시스템이 나비에-스토크스 밀레니엄 문제, 즉 수학에서 가장 유명한 미해결 난제 중 하나에 대한 풀이를 산출했다고 주장한 사안을 평가하는 자리였다. 호스킨슨은 드러난 역량을 “꽤 놀랍다”고 말하면서도, 자신이 그려왔던 형식 시스템의 원래 비전은 훨씬 소박했다고 강조했다. 그의 구상에서 형식 시스템은 수학자들이 대규모 팀으로 협업하고 사람이 작성한 증명을 검증하는 도구였지, 스스로 완전한 증명을 생성하는 것이 아니었다는 것이다. “우리는 AI가 이 정도까지 개입할 것을 예상하지 못했다”고 그는 덧붙였고, AI가 증명 전체를 직접 쓰는 발상은 한때 “꽤 비현실적”으로 보였다고 회고했다. 그러나 이 창립자는 이 분야에 직접 이해관계를 갖고 있다. 2021년 카네기 멜런 대학교에 2,000만 달러를 기부해 호스킨슨 형식 수학 센터를 설립했다. 그의 발언은 Cardano 생태계 전반의 실험 흐름, 즉 커뮤니케이션 관련 AI 에이전트 작업과 프라이버시 중심의 Midnight 사이드체인으로 이어지는 흐름을 잇는 발언이기도 하다.

OpenAI의 1만 에이전트 증명 시도

논쟁의 중심에는 OpenAI가 9월 8일 자체 연구 발표를 통해 내놓은 주장이 있다. 회사 측은 내부 모델이 약 10,000개의 에이전트를 조율해 총 88시간의 작업 끝에 후보 풀이를 산출했으며, 이후 GPT-6 Astra로 지칭된 시스템이 추가로 17시간에 걸쳐 논증을 Lean에서 형식화하고 검증했다고 밝혔다. Lean은 각 단계를 기계가 검증 가능한 형태로 확인해 주는 증명 보조 도구다. 증명은 매끄러운 정상 상태의 유체가 매끄러운 외력 하에서 유한 시간 내에 특이점을 가질 수 있음을 보이려는 시도이며, OpenAI는 이것이 공식 밀레니엄 문제 정식화의 조건 C와 D를 만족한다고 설명했다. 주목할 점은 회사가 이에 딸린 100만 달러 상금을 추구할 계획이 없다는 것이다. 인정도 즉각적이지 않다. Clay 수학연구소의 규정상 풀이는 먼저 자격을 갖춘 출판물에 실린 뒤, 최소 2년을 버티고 전 세계 수학계의 폭넓은 수용을 받아야 문제가 해결된 것으로 선언된다. Clay 웹사이트는 아직 나비에-스토크스를 미해결로 분류하고 있어, OpenAI의 결과는 인정된 해법이 아니라 '주장된 풀이'에 머물러 있다.

출처 논쟁과 프라이버시 경고

발표는 출처를 둘러싼 논쟁도 촉발했다. 뉴욕대 수학자 트리스턴 벅마스터(Tristan Buckmaster)와 Anthropic 연구원 레벤트 알푀게(Levent Alpöge)는 유사한 강제력 접근법을 쓰는 관련 오일러 방정식 결과를 연구해 왔었다. 벅마스터는 비공개 작업이 OpenAI의 Codex 시스템에 입력된 뒤 회사의 결과에 반영됐을 가능성을 의문 제기했으나, 부정행위 주장까지는 나아가지 않았다. “우리 데이터가 사용됐는지 알지 못한다”는 것이 그의 입장이었다. OpenAI는 해당 연구진의 구체적 작업에 접근한 적이 없으며 증명은 독립적으로 개발됐다고 반박하면서도, 식별 정보가 제거된 제품 사용 데이터가 모델 개선에 기여했을 가능성까지 완전히 배제할 수는 없다고 인정했다. 호스킨슨은 이 사건을 미공개 연구를 다루는 모든 이에게 주는 경고로 프레이밍했다. 연구자와 창업자가 노트, 프롬프트, 연구 로그를 중앙화된 클라우드 AI 서비스에 넣으면 그 아이디어에 대한 통제권을 통째로 잃을 수 있다는 것이다. 그는 연구자가 기밀 지식재산을 중앙화된 공급자에 노출하지 않고도 사적 환경 안에서 강력한 모델을 쓸 수 있어야 한다고 주장했다. “클라우드의 프런티어 모델에 아이디어를 공유하는 순간, 그것은 더 이상 당신의 아이디어가 아니다.” 시장을 실시간으로 추적하려는 독자는 Bybit에서 현물·선물 가격을 실시간으로 확인할 수 있다.

형식 검증과 블록체인의 교차점

OpenAI의 기술 발표와 Clay 수학연구소가 공개한 인정 규정 전문을 우리가 검토한 결론은, 이 사안이 '해결된 문제'보다는 검증 문화와 속도 문화의 충돌이라는 점이다. 지분증명 방식으로 명성을 쌓아온 Cardano가 의존하는 규율과 Lean 형식화가 체현하는 규율은 본질적으로 같다. 주장은 독립적이고 기계가 검증 가능한 확인을 거친 후에야 의미를 갖는다는 원칙이다. 전문가들의 논문 검토가 끝나고 Clay의 수년간 수용 기간이 지나기 전까지 이는 주장된 결과로 남는다. 그럼에도 이 사건은 호스킨슨이 2021년부터 자금을 지원해온 형식적 방법론의 논지를 사실상 입증해 보였다. 이미 AI 인프라를 공개적으로 재고하고 있는 창립자에게 가장 오래 남을 교훈은 프라이버시 측면일 수 있다.