난제 심판이 이름을 부르지 않았다

상금이 걸린 자리에는 규정이 있고, 그 규정이 이번 소식의 진짜 뼈대예요. 2018년 9월 26일 개정된 밀레니엄상 규정에 따르면 제안된 해법이 상 대상이 되려면 세 가지를 모두 만족해야 해요. 자격을 갖춘 학술지에 게재되어야 하고, 게재 시점부터 최소 2년이 지나야 하며, 세계 수학 공동체에서 일반적인 수용을 받아야 해요. 세 조건 가운데 어느 하나라도 비면 심사 자체가 시작되지 않아요.

한 가지 더 있어요. 연구소는 제안된 해법의 직접 제출을 받지 않는다고 규정에 못 박아 뒀어요. 상금을 타겠다고 서류를 보낼 창구가 아예 없다는 뜻이에요. 연구소는 규정 문서가 규칙과 절차의 완전한 진술이며 그 밖의 안내나 조언은 제공하지 않겠다고도 적어 놨어요. 심판은 경기장 밖에 서 있고, 경기가 끝났는지를 판단하는 일은 수학 공동체가 먼저 한다는 구조예요.

AI 를 가리키는 문장은 발표문 전체에서 딱 하나예요. 연구소는 최근 몇 년 사이 주변 분야의 돌파구들이 이 문제가 곧 풀릴지도 모른다는 기대를 키웠다고 적은 뒤, "새로운 기술이 수학 연구를 가속하는 능력이 커지면서 이런 기대감은 한층 높아졌습니다" 라고 덧붙였어요. 회사 이름도 모델 이름도 없이, 기술이라는 한 단어로 처리했어요. 100만 달러를 관리하는 기관이 쓸 수 있는 가장 조심스러운 표현이에요.

연구소가 부르지 않은 이름은 이미 공개되어 있어요. 오픈AI 는 9월 8일 자사 사이트에 나비에-스토크스 밀레니엄 문제에 관하여라는 글을 올리고, 내부 시스템이 해석적 증명과 린 형식화를 함께 내놓아 이 문제를 해결했다고 발표했어요. 회사는 GPT-6 Astra 보다 훨씬 뛰어난 내부 모델을 썼고 그 모델의 훈련은 8월 28일에 시작됐다고 밝혔어요. 증명 PDF 와 린으로 형식화한 증명을 담은 깃허브 저장소를 함께 공개했어요.

규모를 적은 대목이 특히 눈에 띄어요. 오픈AI 에 따르면 이 작업은 약 1만 개의 에이전트가 동시에 돌면서 여러 무리로 쪼개져 서로 소통하는 다중 에이전트 체제로 진행됐고, 나비에-스토크스 결과를 낸 무리는 약 88시간 동안 작동하면서 270만 건의 메시지를 주고받고 약 1,300억 개의 출력 토큰을 썼다고 해요. 사람 수학자 한 명이 종이에 쓰는 분량과는 단위가 다른 숫자예요.

증명이 말하는 내용은 낙관적인 쪽이 아니에요. 오픈AI 는 처음에 매끄럽고 정지해 있던 유체가 유한한 시간 안에 특이점을 만들 수 있다는 것을 보였다고 설명했어요. 소용돌이가 "스파게티처럼 점점 길게 늘어나면서 안쪽으로 소용돌이친다" 는 식으로 자라나, 에너지와 외력이 유한한데도 속도가 무한대로 치솟는다는 거예요. 매끄러운 해가 늘 존재한다는 쪽이 아니라, 매끄러움이 깨진다는 쪽으로 문제가 닫혔어요.

같은 시기에 다른 회사도 인접한 문제를 닫았어요. 오픈AI 발표문은 앤스로픽의 내부 모델을 쓴 레벤트 알푀게와 뉴욕대 수학 교수 트리스탄 버크마스터가 강제 오일러 문제를 독립적으로 해결했다고 적었어요. 메탈은 버크마스터가 발표 전날 걸려온 전화를 두고 내놓은 입장을 보도한 바 있어요. 두 회사의 모델이 같은 주에 인접한 두 문제를 각각 닫은 셈이에요.

그래서 연구소 발표문에서 가장 무거운 문장은 상금 이야기가 아니라 공로 이야기예요. 연구소는 "상을 관장하는 규정이 무엇이 성취됐는지를 평가하고 공로를 배분하는 과정을 기술합니다" 라고 적고, 이어서 "이 과정은 의도적으로 서두르지 않지만, 진행 상황은 계속 알리겠습니다" 라고 했어요. 공로 배분이라는 말을 굳이 꺼낸 것은 이번 일에 그 문제가 걸려 있다는 사실을 연구소가 알고 있다는 뜻이에요. 메탈은 오픈AI 의 발표 직후 우선권을 둘러싼 다툼이 붙었다고 보도한 바 있어요.

일반적인 수용이라는 조건은 기계가 대신할 수 없는 항목이라 더 흥미로워요. 린으로 형식화된 증명은 컴퓨터가 단계마다 참인지 기계적으로 확인할 수 있지만, 규정이 요구하는 것은 검증이 아니라 수용이에요. 수학자들이 그 증명을 읽고 이해하고 자기 언어로 다시 말할 수 있어야 공동체가 받아들인 것이 돼요. 연구소가 "이 작업 뒤에 있는 혁신이 분석되고 검증되면서 새로운 인간 이해의 물결이 풀려나오기를 바랍니다" 라고 적은 문장이 정확히 그 자리를 가리켜요.

수학 공동체가 이 기술을 어떻게 맞을지에 대한 신호는 이미 나와 있어요. 메탈은 필즈상 수상자 25명이 AI 회사들을 향해 선을 그은 선언에 이름을 올렸다고 보도한 바 있어요. 연구소가 말한 주변 분야의 돌파구도 추상적인 이야기가 아니에요. 2026년 7월 23일 필라델피아에서 열린 세계수학자대회에서 덩위가 편미분방정식 연구로 필즈상을 받았고, 덩위는 자헤르 하니와 함께 2026년 클레이연구상도 받았어요.

메탈이 확인한 규정 원문과 발표문을 나란히 놓으면 시계가 어디서 도는지 보여요. 규정의 2년은 논문이 올라온 날이 아니라 자격을 갖춘 학술지에 게재된 날부터 세요. 오픈AI 가 공개한 것은 자사 사이트의 PDF 와 깃허브 저장소라서, 게재 시계는 아직 시작도 하지 않았어요. 연구소가 서두르지 않는다고 두 번 적은 것은 겸양이 아니라 절차의 설명이에요.

심판이 말을 아낀 자리에 남은 것은 순서예요. 기계는 증명을 내놨고, 규정은 학술지와 2년과 수용을 요구하고, 수용은 사람이 읽어야 생겨요. 100만 달러가 누구에게 가느냐는 질문보다 먼저 놓인 질문은 이 증명을 사람이 소화할 수 있느냐는 것이고, 연구소는 그 일을 하라고 공동체 전체에 숙제를 넘겼어요. 이름을 부르지 않은 발표문은 침묵이 아니라, 판정을 시작하기 전에 규칙부터 읽으라는 통보예요.