OpenAI 수학 자문단 구성: 필즈메달 27인 반대 선언과 3주 동안 벌어진 일

AGMAI(Advisory Group on Mathematics and Artificial Intelligence)는 프린스턴 고등연구소(IAS)에 적을 둔 아홉 명짜리 독립 수학 자문 기구입니다. 2026년 9월 21일 OpenAI가 이 기구와 함께 일한다고 발표했습니다.

AI가 수학 문제를 푼다는 소식은 이제 낯설지 않습니다. 경시대회 문제를 풀었다는 발표가 몇 해 전부터 이어졌고, 최근에는 연구 단계 문제까지 넘어왔다는 이야기가 나왔습니다.

그런데 이번 발표는 성과 소식이 아닙니다. 결과를 어떻게 평가하고 어떤 순서로 내놓을지 조언받겠다는 내용이고, 기구를 만든 쪽은 OpenAI가 아니라 수학자들입니다. 왜 지금 이런 기구가 필요해졌는지는 앞선 3주를 함께 놓아야 설명됩니다. OpenAI 발표문과 AGMAI 홈페이지, 수학자들이 낸 선언문 원문을 근거로 2026년 9월 22일 시점에서 정리했습니다.

AGMAI 발표 전 3주 동안 벌어진 일

날짜를 붙여 늘어놓으면 이번 발표가 어떤 흐름에서 나온 것인지 잡힙니다.

9월 8일 발표의 내용은 이렇습니다. 공개하지 않은 내부 모델로 자율 에이전트 1만 개를 돌려 88시간 만에 결과를 얻었고, 증명은 Lean으로 형식 검증했다고 밝혔습니다. 나비에-스토크스 문제는 클레이 수학연구소가 2000년에 내건 밀레니엄 문제 일곱 개 가운데 하나이고, 푸앵카레 추측이 풀린 뒤 남아 있던 여섯 개에 들어 있었습니다. 상금은 100만 달러인데 OpenAI는 청구하지 않겠다고 했습니다.

9월 21일 발표문에서 OpenAI가 스스로 적은 문장 하나가 눈에 띕니다. 진행 속도가 사내 수학자들도 놀랄 정도였고, 그래서 이 사실을 학계에 어떻게 알릴지를 두고 내부 논의가 있었다는 내용입니다. 자문단은 그 논의의 결과물입니다.

수학자들이 반대한 이유

9월 11일 나온 선언문의 제목은 "A Severe Misalignment of AI in Mathematics", 즉 수학에서 AI의 목적이 심하게 어긋나 있다는 뜻입니다. 공개 당시에는 필즈메달 수상자 25명이었고 9월 22일 기준으로 27명이 명단에 올라 있습니다. 필즈메달 수상자 명단과 별도로 일반 지지 서명도 받고 있습니다.

선언문은 AI를 쓰지 말자고 하지 않습니다. 문제를 푸는 일이 무엇을 위한 것이었는지를 되짚는 쪽입니다.

유명한 미해결 문제는 수학이라는 땅에 세워진 이정표 같은 것이었습니다. 그 앞에 도착했다는 것은 새로운 길을 찾아냈다는 뜻이었고, 다른 수학자들이 그 길을 따라가며 강연과 토론과 단순화를 거쳐 교과서에 실릴 형태로 다듬었습니다. 선언문은 이정표를 늘리는 일과 길을 아는 일이 같지 않다고 적었습니다.

구체적으로 짚은 문제는 셋입니다.

• 참과 거짓 판정이 빠르게 쌓이는 것: 문제 풀이는 개념적 이해에 이르기 위한 도구이자 대리 지표인데, 판정만 대량으로 나오면 새 아이디어가 자랄 땅이 오히려 망가진다고 봤습니다
• 출처 표기와 표절: 서둘러 발표하느라 제대로 된 논문 정리와 새 방법을 기존 것과 구분하는 일, 앞선 연구 인용이 빠지고 있다는 지적입니다
• 사람이 잇는 전달 고리: 아이디어를 받아 키우고 기존 지식에 이어 붙이는 수학자가 없으면 AI가 떠올린 것도 살아남지 못한다는 이야기입니다

선언문은 이것을 수학만의 문제로 보지 않았습니다. 여러 해 훈련을 거치는 다른 분야도 앞으로 같은 어긋남을 마주하게 될 것이고, 일하는 방식이 바뀔 때 그 일이 원래 무엇을 위한 것이었는지 놓치지 않는 것이 과제라고 적었습니다.

별개로 칼텍에서 10월 30일 열릴 예정인 수학 경연 행사(Mathathon)를 두고도 9월 10일 공개서한이 나왔습니다. AI 기업들이 연구 부정행위를 하고 있다는 문장이 들어갔고, 서명은 칼텍 구성원과 박사 이상 연구자에게 열려 공개 당시 771명에서 9월 22일 기준 1,435명으로 늘었습니다. OpenAI는 서한이 나온 날 이 행사 후원을 철회했습니다.

자문단이 하는 일과 하지 않는 일

두 문서가 권한 범위를 분명히 적어 두었습니다. AGMAI 홈페이지와 OpenAI 발표문의 내용이 같습니다.

왼쪽 네 번째 항목을 눈여겨볼 만합니다. 자문단은 요청받지 않은 조언도 하고 그 내용을 공개하며, OpenAI가 수학에 미치는 영향 자체를 논평해도 된다고 발표문에 적혀 있습니다.

독립성을 받치는 조건도 문서에 나옵니다. 구성원은 OpenAI에서 보수를 받지 않고, 기구는 구성원을 스스로 바꿀 수 있으며, 수학에 의미 있는 영향을 주는 모델을 만드는 기업이라면 어디든 상대하겠다고 밝혔습니다.

다만 AGMAI가 자기 홈페이지에 적어 둔 한 문장이 범위를 정확히 보여 줍니다. 조언은 하지만 어느 AI 기업에서도 결정 권한은 없고, 기업이 내린 결정의 책임은 그 기업에 있다는 내용입니다.

자문단 아홉 명과 만들어진 경위

명단은 이렇습니다.

만들어진 경위가 홈페이지에 적혀 있습니다. OpenAI가 외부 자문 기구를 만들자고 몇몇 구성원에게 먼저 제안했고, 제안을 받은 쪽이 OpenAI와 합의해 독립 기구로 만든 뒤 다른 사람들을 초대했습니다. 회사가 자기 자문위를 꾸린 것과 수학자들이 독립 기구를 세운 것 사이 어디쯤에 있는 구조입니다.

아홉 명 가운데 앞서 나온 반대 선언에 서명한 사람은 Martin Hairer 한 명입니다. 반발이 컸던 쪽의 의견이 자문단에 얼마나 담길지는 앞으로 나올 권고안을 봐야 알 수 있습니다.

지금 맡은 일은 OpenAI가 내부 모델로 얻었다는 다수의 결과를 어떤 순서로 공개할지 조율하는 쪽입니다. 홈페이지에 의견 수렴 양식을 열어 두고 수학계 의견을 받고 있는데, AI가 만든 결과를 어떻게 검증하고 누구의 성과로 적고 어디에 발표할지에 관한 구체적인 권고안은 아직 나오지 않았습니다.

Lean으로 검증했다는 말의 뜻

OpenAI는 나비에-스토크스 결과를 Lean으로 형식 검증했다고 밝혔습니다. Lean은 증명 보조 도구(proof assistant), 즉 사람이 적은 증명을 기계가 한 단계씩 따라가며 확인하는 프로그램입니다.

무엇이 확인되고 무엇이 확인되지 않는지를 나눠 두면 발표를 읽을 때 덜 헷갈립니다.

문제를 기계가 읽을 수 있는 형태로 옮기는 작업은 사람이 합니다. 옮기는 과정에서 조건 하나가 빠지면 기계는 그 빠진 명제를 가리지 않고 그대로 검증합니다. 그래서 형식 검증을 통과했다는 말과 수학계가 그 결과를 성과로 받아들인다는 말은 다른 이야기이고, 이번 자문단이 다루려는 것도 뒤쪽입니다.

자주 묻는 질문

밀레니엄 문제를 풀었으면 상금 100만 달러는 누가 받나요?

OpenAI는 상금을 청구하지 않겠다고 밝혔습니다. 클레이 수학연구소의 수상 규정은 적격 학술지 출판과 출판 후 2년 경과, 수학계의 일반적 수용을 요구합니다. 이번 결과는 아직 동료 심사 출판 전 단계라 규정상 상금 심사에 들어갈 조건이 갖춰지지 않았습니다.

자문단이 OpenAI의 연구 속도를 늦출 수 있나요?

속도를 조절하는 권한은 없습니다. OpenAI 발표문은 자문단이 내부 연구 진행 속도를 조언할 책임을 지지 않는다고 적었습니다. 다만 요청받지 않은 의견을 내고 공개할 자유는 따로 보장되어 있어서, 속도 문제를 두고 공개 논평을 하는 것까지 막혀 있지는 않습니다.

다른 AI 기업에도 같은 자문을 하나요?

AGMAI는 수학에 의미 있는 영향을 주는 모델을 만드는 기업이라면 어디든 권고를 제공하겠다고 밝혔습니다. 다만 지금 맡은 일은 OpenAI 결과의 공개 조율 하나입니다.

100건 이상을 풀었다는 주장은 확인된 것인가요?

OpenAI가 자체 발표로 밝힌 내용이고, 각 결과가 공개되거나 검증됐다는 안내는 아직 없습니다. 어떤 순서로 내놓을지를 지금 자문단이 조율하고 있습니다.

정리

결과가 몇 건인지보다 그 결과가 학계에 들어가는 통로가 어떻게 정해지는지를 지켜보는 편이 낫습니다. 권고안이 나오면 AI가 만든 결과의 검증과 저자 표기 기준이 문서 형태를 갖추게 될 것으로 보입니다.

3줄 요약:

• AGMAI는 프린스턴 고등연구소에 적을 둔 아홉 명짜리 독립 수학 자문 기구이고 2026년 9월 21일 OpenAI가 함께 일한다고 발표했습니다.
• 앞선 3주 동안 OpenAI는 나비에-스토크스 밀레니엄 문제 풀이를 공개했고 필즈메달 수상자 27명이 반대 선언에 서명했습니다.
• 자문단은 결과의 중요도 평가와 공개 순서를 조언하지만 결정 권한이 없고 OpenAI의 내부 연구 속도는 자문 대상이 아닙니다.

Sources

• Advisory Group on Mathematics and Artificial Intelligence (오픈AI 공식 발표)
• AGMAI 공식 홈페이지
• A Severe Misalignment of AI in Mathematics (수학자 선언문 원문)
• Announcing the Advisory Group on Mathematics and Artificial Intelligence (Terence Tao 블로그)
• On the Navier-Stokes Millennium Prize Problem (오픈AI)
• AI Has Solved One of Math's $1 Million Millennium Prize Problems (Quanta Magazine)