OpenAI는 나비에–스토크스 결과 주장에 뒤따른 비판에 대응해, 프린스턴의 고등연구소(Institute for Advanced Study·IAS) 가 주최하는 수학과 인공지능 자문단(Advisory Group on Mathematics and Artificial Intelligence) 을 지원하기로 했다. 저명한 수학자들이 AI가 만든 결과의 평가와 공개 방식에 관해 의견을 낼 공식 통로가 생긴 셈이다. 다만 이 기구는 자문단이지, 학술지·독립 증명 검증기관·OpenAI 연구 규제기관은 아니다. 332

왜 자문단이 만들어졌나

OpenAI는 9월 8일, 매끄러운 외력이 가해진 3차원 나비에–스토크스 유동에서 유한 시간 특이점이 생길 수 있음을 보였다는 166쪽 원고와 Lean 형식화 자료를 공개했다. 회사는 이를 나비에–스토크스 해의 존재성과 매끄러움 문제에 대한 해법이라고 설명한다. 6

Lean 형식화는 컴퓨터가 기계적으로 점검할 수 있는 산출물이고, 원고는 사람이 읽는 증명 설명이다. 공개 뒤 보도에 따르면 이 증명은 해석하는 데 시간이 걸리고 있으며, 자문단 출범은 대형 AI 생성 수학 성과를 어떤 절차로 검토하고 배포할지를 둘러싼 우려에 대한 대응으로 발표됐다. 2

공로와 우선권을 둘러싼 별도 논쟁도 있다. 트리스탄 버크마스터와 레벤트 알포에르는 비슷한 시기 관련 유체 방정식 문제에 관한 Lean 검증 결과를 공개했고, 두 발표를 계기로 공로 귀속을 놓고 공개 논쟁이 벌어졌다. 이는 OpenAI의 형식 증명이 기계적으로 통과하는지와는 다른 문제다. 아이디어의 출처, 접근 경위, 학문적 공로 배분이 핵심이다. 1

초대 구성원 9명

초기 패널은 다음 9명으로 구성됐다.

• 프랑수아 샤를(François Charles)
• 카밀로 데 렐리스(Camillo De Lellis)
• 티머시 가워스(Timothy Gowers)
• 마르탱 에레르(Martin Hairer)
• 니킬 스리바스타바(Nikhil Srivastava)
• 울리케 틸만(Ulrike Tillmann)
• 라비 바킬(Ravi Vakil)
• 에드워드 위튼(Edward Witten)
• 멜러니 매칫 우드(Melanie Matchett Wood) 26

자문단은 IAS가 주최하지만, OpenAI와 독립적으로 운영된다고 설명된다. 33

자문단이 할 수 있는 일

OpenAI에 따르면 자문단은 새 수학 결과의 평가와 소통을 조언한다. 여기에는 결과의 중요성 판단, 조율된 공개 방식, 수학 연구에 적용되는 학술·직업적 기준에 대한 조언이 포함된다. 1733

독립성을 뒷받침하는 장치로는 다음이 제시됐다.

• 구성원은 OpenAI에서 보수를 받지 않는다.
• OpenAI가 요청하지 않은 조언도 할 수 있다.
• OpenAI가 수학계에 미치는 영향을 공개적으로 논평할 수 있다.
• 조언 내용을 공개할 수 있다.
• 구성원 교체·추가는 자문단이 직접 결정할 수 있다. 33

이런 규정은 자문위원들이 비공개로만 의견을 내는 데 그치지 않고, 필요하면 OpenAI에 공개적으로 이의를 제기할 수 있는 통로를 만든다는 점에서 의미가 있다. 그러나 권한 자체는 구속력이 없는 자문 권한이다. 33

자문단이 할 수 없는 일

이 패널은 OpenAI의 연구 방향이나 일정에 대한 결정권을 갖지 않는다. 특히 OpenAI는 자문단이 자사 내부 수학 연구의 진행 속도에 관해 조언하는 역할은 맡지 않는다고 명시했다. 332

따라서 자문단은 다음을 할 권한이 없다.

• OpenAI의 연구 발표를 중단시키는 일
• 증명·모델·내부 연구 기록의 공개를 요구해 관철하는 일
• OpenAI의 출판·공개 전략 변경을 강제하는 일
• 어떤 수학 주장을 학계가 공식적으로 받아들였다고 판정하는 일
• 과거의 우선권 또는 공로 분쟁을 자체적으로 재정하는 일

핵심은 이 구분이다. 자문단은 기준을 권고하고 이의를 알릴 수 있지만, 모델과 내부 연구 과정, 증거 공개 범위, 권고 수용 여부는 OpenAI가 통제한다. 따라서 이 자문단은 AI 연구소와 수학계를 잇는 다리로 보는 편이 정확하며, 독립 동료 심사의 대체물은 아니다. 332

독립성과 대표성은 여전히 쟁점

공개 발언과 조언 공개를 허용하는 규정은 실질적인 자율성을 부여한다. 하지만 그 힘은 위원들이 이 자유를 실제로 행사하는지, 그리고 OpenAI가 이에 어떻게 반응하는지에 달려 있다. 연구 속도에 개입할 권한이 없다는 점은 특히 중요하다. 빠르고 홍보 중심적인 발표 방식이 AI 연구소의 수학 주장에 대한 비판의 핵심이었기 때문이다. 233

구성원들의 학문적 위상은 자문단의 신뢰도를 높인다. 그렇다고 9명이 모든 관점을 자동으로 대표하는 것은 아니다. 형식 검증 방법 전문가, 해당 세부 분야 연구자, 신진 수학자, 창립 패널에 포함된 기관 밖의 연구자들은 검토·접근성·공로·출판 규범에 대해 다른 견해를 가질 수 있다. 구성원 선발 방식에 대한 의문도 제기됐다. 37

무보수 구조는 OpenAI와의 거리를 두는 데 도움이 될 수 있다. 반면 지속적이고 비판적인 검토를 수행할 역량은 위원들의 시간과 원자료 접근성에 좌우될 수 있다.

나비에–스토크스 주장에는 무엇이 달라지나

Lean 검증은 형식화된 증명에 담긴 정의·공리·보조정리로부터 정리가 따라오는지를 기계적으로 확인할 수 있다는 점에서 중요하다. 그러나 기계 검증만으로 사람이 논증을 쉽게 이해하게 되는 것은 아니다. 모든 모델링 선택이 의도한 비형식적 주장과 정확히 일치하는지, 결과가 왜 중요한지와 어떻게 설명돼야 하는지도 자동으로 해결하지 못한다.

자문단 출범은 이 역할 분담을 바꾸지 않는다. 자문단은 결과를 어떻게 평가하고 소통할지 조언할 수 있지만, 독립 수학자들은 여전히 원고, 형식화 자료, 가정, 그리고 제시된 정리가 원래 문제와 어떤 관계에 있는지를 검토해야 한다. 332

마찬가지로 자문단의 신설만으로 버크마스터 관련 공로 분쟁이 해결되지는 않는다. 신뢰할 만한 해결에는 시간 순서, 기여, 아이디어 접근, 학술적 공로를 증거에 따라 다루는 절차가 필요하다. 단순한 자문 권고만으로는 충분하지 않다. 1

100건 이상 추가 성과 주장, 진짜 시험대는 공개 방식

OpenAI는 내부 모델이 추가로 100건이 넘는 미해결 수학 문제를 해결했다고 말한다. 자문단은 이 결과들을 책임 있게 공개하는 과정에도 관여할 것으로 예상된다. 3633

그 과정의 신뢰도를 높이려면, 외부의 실질적 검토가 가능한 순서로 공개해야 한다.

1. 문제를 정확히 명시해야 한다. 공개 목록에서는 이미 확립된 정리, 해결 주장, 확장 결과, 관련 결과를 구분해야 한다.
2. 사람이 읽을 수 있는 증명과 기계 검증 자료를 함께 내야 한다. 서술형 증명은 결과의 의미를 설명하고, 형식화 자료는 기계적 검증의 재현을 돕는다.
3. 분야별 전문가 검토를 보장해야 한다. 유체역학·대수학·기하학·논리학 결과는 일반 자문단뿐 아니라 해당 분야 연구자의 엄밀한 검토가 필요하다.
4. 출처와 기여를 기록해야 한다. 우선권, 모델 접근, 미공개 선행 연구 활용 여부가 다툼이 될 수 있는 경우에는 특히 중요하다.
5. 발견과 검증을 구분해야 한다. AI가 유망한 증명을 만들어낼 수는 있지만, 학계의 수용은 공개 검토와 지속 가능한 학술 소통을 거쳐야 한다.

새 자문단은 의미 있는 거버넌스 실험이지만 논란의 최종 해답은 아니다. 자문이 실제로 공개되는지, OpenAI가 외부 수학자들이 주장을 검증할 만큼 충분한 증거를 제공하는지, 이후 공개에서 검토와 공로 배분을 발표 자체만큼 중시하는지가 이 기구의 가치를 가를 것이다.

OpenAI는 나비에–스토크스 결과 주장에 뒤따른 비판에 대응해, 프린스턴의 고등연구소(Institute for Advanced Study·IAS) 가 주최하는 수학과 인공지능 자문단(Advisory Group on Mathematics and Artificial Intelligence) 을 지원하기로 했다. 저명한 수학자들이 AI가 만든 결과의 평가와 공개 방식에 관해 의견을 낼 공식 통로가 생긴 셈이다. 다만 이 기구는 자문단이지, 학술지·독립 증명 검증기관·OpenAI 연구 규제기관은 아니다. 332

왜 자문단이 만들어졌나

OpenAI는 9월 8일, 매끄러운 외력이 가해진 3차원 나비에–스토크스 유동에서 유한 시간 특이점이 생길 수 있음을 보였다는 166쪽 원고와 Lean 형식화 자료를 공개했다. 회사는 이를 나비에–스토크스 해의 존재성과 매끄러움 문제에 대한 해법이라고 설명한다. 6

Lean 형식화는 컴퓨터가 기계적으로 점검할 수 있는 산출물이고, 원고는 사람이 읽는 증명 설명이다. 공개 뒤 보도에 따르면 이 증명은 해석하는 데 시간이 걸리고 있으며, 자문단 출범은 대형 AI 생성 수학 성과를 어떤 절차로 검토하고 배포할지를 둘러싼 우려에 대한 대응으로 발표됐다. 2

공로와 우선권을 둘러싼 별도 논쟁도 있다. 트리스탄 버크마스터와 레벤트 알포에르는 비슷한 시기 관련 유체 방정식 문제에 관한 Lean 검증 결과를 공개했고, 두 발표를 계기로 공로 귀속을 놓고 공개 논쟁이 벌어졌다. 이는 OpenAI의 형식 증명이 기계적으로 통과하는지와는 다른 문제다. 아이디어의 출처, 접근 경위, 학문적 공로 배분이 핵심이다. 1

초대 구성원 9명

초기 패널은 다음 9명으로 구성됐다.

• 프랑수아 샤를(François Charles)
• 카밀로 데 렐리스(Camillo De Lellis)
• 티머시 가워스(Timothy Gowers)
• 마르탱 에레르(Martin Hairer)
• 니킬 스리바스타바(Nikhil Srivastava)
• 울리케 틸만(Ulrike Tillmann)
• 라비 바킬(Ravi Vakil)
• 에드워드 위튼(Edward Witten)
• 멜러니 매칫 우드(Melanie Matchett Wood) 26

자문단은 IAS가 주최하지만, OpenAI와 독립적으로 운영된다고 설명된다. 33

자문단이 할 수 있는 일

OpenAI에 따르면 자문단은 새 수학 결과의 평가와 소통을 조언한다. 여기에는 결과의 중요성 판단, 조율된 공개 방식, 수학 연구에 적용되는 학술·직업적 기준에 대한 조언이 포함된다. 1733

독립성을 뒷받침하는 장치로는 다음이 제시됐다.

• 구성원은 OpenAI에서 보수를 받지 않는다.
• OpenAI가 요청하지 않은 조언도 할 수 있다.
• OpenAI가 수학계에 미치는 영향을 공개적으로 논평할 수 있다.
• 조언 내용을 공개할 수 있다.
• 구성원 교체·추가는 자문단이 직접 결정할 수 있다. 33

이런 규정은 자문위원들이 비공개로만 의견을 내는 데 그치지 않고, 필요하면 OpenAI에 공개적으로 이의를 제기할 수 있는 통로를 만든다는 점에서 의미가 있다. 그러나 권한 자체는 구속력이 없는 자문 권한이다. 33

자문단이 할 수 없는 일

이 패널은 OpenAI의 연구 방향이나 일정에 대한 결정권을 갖지 않는다. 특히 OpenAI는 자문단이 자사 내부 수학 연구의 진행 속도에 관해 조언하는 역할은 맡지 않는다고 명시했다. 332

따라서 자문단은 다음을 할 권한이 없다.

• OpenAI의 연구 발표를 중단시키는 일
• 증명·모델·내부 연구 기록의 공개를 요구해 관철하는 일
• OpenAI의 출판·공개 전략 변경을 강제하는 일
• 어떤 수학 주장을 학계가 공식적으로 받아들였다고 판정하는 일
• 과거의 우선권 또는 공로 분쟁을 자체적으로 재정하는 일

핵심은 이 구분이다. 자문단은 기준을 권고하고 이의를 알릴 수 있지만, 모델과 내부 연구 과정, 증거 공개 범위, 권고 수용 여부는 OpenAI가 통제한다. 따라서 이 자문단은 AI 연구소와 수학계를 잇는 다리로 보는 편이 정확하며, 독립 동료 심사의 대체물은 아니다. 332

독립성과 대표성은 여전히 쟁점

공개 발언과 조언 공개를 허용하는 규정은 실질적인 자율성을 부여한다. 하지만 그 힘은 위원들이 이 자유를 실제로 행사하는지, 그리고 OpenAI가 이에 어떻게 반응하는지에 달려 있다. 연구 속도에 개입할 권한이 없다는 점은 특히 중요하다. 빠르고 홍보 중심적인 발표 방식이 AI 연구소의 수학 주장에 대한 비판의 핵심이었기 때문이다. 233

구성원들의 학문적 위상은 자문단의 신뢰도를 높인다. 그렇다고 9명이 모든 관점을 자동으로 대표하는 것은 아니다. 형식 검증 방법 전문가, 해당 세부 분야 연구자, 신진 수학자, 창립 패널에 포함된 기관 밖의 연구자들은 검토·접근성·공로·출판 규범에 대해 다른 견해를 가질 수 있다. 구성원 선발 방식에 대한 의문도 제기됐다. 37

무보수 구조는 OpenAI와의 거리를 두는 데 도움이 될 수 있다. 반면 지속적이고 비판적인 검토를 수행할 역량은 위원들의 시간과 원자료 접근성에 좌우될 수 있다.

나비에–스토크스 주장에는 무엇이 달라지나

Lean 검증은 형식화된 증명에 담긴 정의·공리·보조정리로부터 정리가 따라오는지를 기계적으로 확인할 수 있다는 점에서 중요하다. 그러나 기계 검증만으로 사람이 논증을 쉽게 이해하게 되는 것은 아니다. 모든 모델링 선택이 의도한 비형식적 주장과 정확히 일치하는지, 결과가 왜 중요한지와 어떻게 설명돼야 하는지도 자동으로 해결하지 못한다.

자문단 출범은 이 역할 분담을 바꾸지 않는다. 자문단은 결과를 어떻게 평가하고 소통할지 조언할 수 있지만, 독립 수학자들은 여전히 원고, 형식화 자료, 가정, 그리고 제시된 정리가 원래 문제와 어떤 관계에 있는지를 검토해야 한다. 332

마찬가지로 자문단의 신설만으로 버크마스터 관련 공로 분쟁이 해결되지는 않는다. 신뢰할 만한 해결에는 시간 순서, 기여, 아이디어 접근, 학술적 공로를 증거에 따라 다루는 절차가 필요하다. 단순한 자문 권고만으로는 충분하지 않다. 1

100건 이상 추가 성과 주장, 진짜 시험대는 공개 방식

OpenAI는 내부 모델이 추가로 100건이 넘는 미해결 수학 문제를 해결했다고 말한다. 자문단은 이 결과들을 책임 있게 공개하는 과정에도 관여할 것으로 예상된다. 3633

그 과정의 신뢰도를 높이려면, 외부의 실질적 검토가 가능한 순서로 공개해야 한다.

1. 문제를 정확히 명시해야 한다. 공개 목록에서는 이미 확립된 정리, 해결 주장, 확장 결과, 관련 결과를 구분해야 한다.
2. 사람이 읽을 수 있는 증명과 기계 검증 자료를 함께 내야 한다. 서술형 증명은 결과의 의미를 설명하고, 형식화 자료는 기계적 검증의 재현을 돕는다.
3. 분야별 전문가 검토를 보장해야 한다. 유체역학·대수학·기하학·논리학 결과는 일반 자문단뿐 아니라 해당 분야 연구자의 엄밀한 검토가 필요하다.
4. 출처와 기여를 기록해야 한다. 우선권, 모델 접근, 미공개 선행 연구 활용 여부가 다툼이 될 수 있는 경우에는 특히 중요하다.
5. 발견과 검증을 구분해야 한다. AI가 유망한 증명을 만들어낼 수는 있지만, 학계의 수용은 공개 검토와 지속 가능한 학술 소통을 거쳐야 한다.

새 자문단은 의미 있는 거버넌스 실험이지만 논란의 최종 해답은 아니다. 자문이 실제로 공개되는지, OpenAI가 외부 수학자들이 주장을 검증할 만큼 충분한 증거를 제공하는지, 이후 공개에서 검토와 공로 배분을 발표 자체만큼 중시하는지가 이 기구의 가치를 가를 것이다.