필즈상 받은 그 주에, 본인 직업의 부고를 읽은 남자

2026년 7월 23일 필라델피아 펜실베이니아 컨벤션센터. 국제수학연맹(IMU)이 4년에 한 번 여는 국제수학자대회(ICM) 개막식에서 필즈상 수상자 네 명의 이름이 불렸어. 시카고대의 위덩(Yu Deng), 스토니브룩대의 존 파든(John Pardon), 뉴욕대·IHES의 홍왕(Hong Wang), 그리고 토론토대의 야콥 치메르만(Jacob Tsimerman). ICM이 미국에서 열린 건 1986년 버클리 대회 이후 40년 만이었고, 홍왕은 90년 필즈상 역사에서 세 번째 여성 수상자가 됐지. 상금은 캐나다 달러 1만 5,000달러(약 1만 600미국달러)에 아르키메데스 얼굴이 새겨진 금메달 한 개. 액수는 소박하지만 40세 미만 수학자가 받을 수 있는 최고의 영예야.

그런데 그날의 헤드라인은 메달이 아니었어. 시상식 직후 "다음 프로젝트가 뭐냐"는 질문을 받은 치메르만이 이렇게 답했거든. 샌프란시스코로 가서 OpenAI에서 AI 안전 연구를 하겠다고. 38세, 토론토대 수학과 최연소 정교수, 앙드레-오르 추측(André–Oort conjecture)을 무너뜨린 정수론자가, 수학계 최고의 상을 받은 지 몇 시간 만에 수학을 잠시 떠나겠다고 말한 거야. 그것도 "수학이 좋아서" 떠나는 게 아니라, 수학이라는 직업 자체가 곧 사라질지도 모른다고 생각해서.

그가 내놓은 논리는 잔인할 정도로 간단해. 수학은 동료들이 인정하고 싶어 하는 것보다 자동화에 훨씬 가까이 와 있고, AI는 곧 수학자가 하는 모든 일을 더 잘, 더 빠르게 하게 된다는 거야. 그는 여러 인터뷰에서 "2년 안에 AI가 수학자보다 수학을 더 잘하게 될 것"이라고 말했고, 이미 대학원생 신규 모집을 멈췄다고 밝혔어. 이유는 이렇게 표현했지. 존재하지 않을지도 모르는 커리어를 위해 학생을 훈련시키고 싶지 않다고. 필즈상 수상자가 자기 분야의 후속 세대 양성을 스스로 중단했다는 문장은, 이 뉴스에서 가장 조용하면서도 가장 무거운 부분이야.

이 글에서 풀어볼 질문은 이거야. 치메르만은 정확히 무엇을 증명했길래 필즈상을 받았고, 왜 하필 그 순간에 AI 안전을 택했을까. 왜 대학이나 비영리 연구소가 아니라 기업 랩인가. 머신러닝 교수 루카 암브로지오니(Luca Ambrogioni)가 던진 "리오넬 메시를 프로젝트 매니저로 고용하는 격"이라는 비판은 어디를 찌르고 있나. 그리고 이 한 명의 이동이 학계·기업 랩·수학이라는 직업 자체에 어떤 신호를 보내는지도 짚어볼게.

이 무대에 서 있는 사람들

주인공 치메르만부터. 1988년 러시아 카잔에서 태어나 세 살에 이스라엘로, 아홉 살에 토론토로 옮겨왔어. 국제수학올림피아드(IMO)에서 금메달 두 개를 땄고 2004년엔 만점을 받았지. 16세에 토론토대에서 수학을 시작해 2년 만인 2006년에 학사를 마쳤고, 프린스턴에서 정수론의 대가 피터 사르낙(Peter Sarnak) 밑에서 2011년 박사학위를 받았어. 하버드 주니어 펠로우로 박사후연구를 한 뒤 토론토대로 돌아가 학과 최연소 정교수가 됐고, 2022년 뉴 호라이즌스 상, 2023년 오스트로프스키 상, 2024년 캐나다 왕립학회 존 L. 싱 어워드, 2025년 왕립학회 펠로우를 차례로 받았어. 2025~2026학년도는 프린스턴 고등연구소(IAS)에서 보냈지. 토론토대 발표에 따르면 그는 역사상 두 번째 캐나다인 필즈상 수상자이자, 캐나다에 기반을 둔 최초의 수상자야.

수상 사유를 IMU 공식 문서 그대로 옮기면 이래. "산술기하학과 복소대수기하학의 근본적 방법으로서 o-최소성(o-minimality)을 재정립한 공헌, 그리고 주기사상(period map) 상(像)의 대수성에 관한 그리피스 추측과 지겔 모듈러 다양체에 대한 앙드레-오르 추측을 포함한 여러 중심 추측의 증명에서 맡은 역할." 말이 어렵지만 핵심은 하나야. 그는 논리학에서 나온 도구(o-최소성)를 정수론과 기하학에 이식해서, 서로 말이 안 통하던 분야들 사이에 다리를 놨어. 앙드레-오르 추측은 1989년 이브 앙드레와 1995년 프란스 오르트가 각각 제기한 문제인데, 시무라 다양체 위에 '특별한 점'들이 잔뜩 모여 있으면 그건 우연이 아니라 숨은 기하학적 구조 때문이라는 주장이야. 조너선 필라(Jonathan Pila)의 방법에 자신의 갈루아 궤도 하한 연구를 결합해 중요한 특수 경우를 박사논문에서 해결했고, 이후 아난스 샹카(Ananth Shankar) 등과 함께 완결지었어. 2018년엔 벤저민 바커, 요한 브뤼네바르브와 함께 'o-minimal GAGA' 틀을 만들어 그리피스 추측도 증명했지. 이건 밀레니엄 문제인 호지 추측과 직접 맞닿아 있는 영역이야.

받는 쪽인 OpenAI는 설명이 필요 없지만, 이번 영입의 맥락은 짚고 갈 필요가 있어. OpenAI는 2026년 5월 20일 자사 범용 추론 모델이 에르되시의 단위거리 추측(unit distance conjecture)을 반증했다고 발표했어. 1946년 파울 에르되시가 던진 문제로, 평면에 점 n개를 놓았을 때 거리가 정확히 1인 쌍이 최대 몇 개냐를 묻는 건데, 80년간 정사각 격자 배치가 최적일 거라 여겨졌던 통념이 깨진 거야. 모델은 골로트-샤파레비치 이론과 무한 유체탑(class field tower)을 동원해 n^(1+δ) 규모의 다항식적 개선을 내놨고, δ는 프린스턴의 윌 소윈(Will Sawin)이 검토 과정에서 약 0.014로 다듬었어. 여기서 중요한 대목. 이 결과를 사람 손으로 압축·검증해 arXiv에 올린 논문(arXiv:2605.20695)의 공저자 명단에 노가 알론, 팀 가워스, 대니얼 리트, 윌 소윈, 멜라니 매쳇 우드와 함께 야콥 치메르만이 들어가 있어. 그는 AI가 낸 수학 결과를 바깥에서 논평한 사람이 아니라, 직접 검증대에 앉았던 사람인 거지.

이 이야기엔 두 명의 대조적인 목소리가 더 있어. 하나는 앤드루 크리치(Andrew Critch). 치메르만과 함께 2025년 7월 arXiv에 올린 논문 「A Taxonomy of Omnicidal Futures Involving Artificial Intelligence」(arXiv:2507.09369)의 공저자야. 인류 전체 또는 거의 전체가 죽는 시나리오를 '누가, 어떤 책임 구조로 그렇게 만드는가'라는 축으로 분류한 논문인데, 저자들은 그런 미래가 불가피하다는 주장이 아니라 예방 가능한 가능성으로 공개하는 것이 목적이라고 명시했어. 다른 하나는 네덜란드 라드바우드대 머신러닝 교수 루카 암브로지오니. 그는 X에 이렇게 썼어. "리오넬 메시를 프로젝트 매니저로 고용하는 격이다." 그리고 OpenAI 최고연구책임자 마크 첸(Mark Chen)은 X에 "야콥 치메르만을 OpenAI에 맞이하게 되어 정말 기쁘다. 그의 수학적 재능은 분명히 비범하지만, AI 안전에 임하는 진지함과 깊이도 그에 못지않다"고 적었어. 다른 OpenAI 연구자들도 공개적으로 환영했다는 보도가 있지만, 개별 인물의 발언까지 1차 확인이 되는 건 마크 첸 쪽이야.

실제로 벌어진 일을 시간순으로

핵심은 '이직'이 아니라 '휴직'이라는 점이야. 초기 보도 일부는 그가 토론토대를 떠난다고 썼지만, 치메르만 본인은 이렇게 정리했어. "나는 휴직하는 거지, 떠나는 게 아니다. 여전히 여러 학생을 멘토링하고 있고, 수학과와 계속 관계를 유지할 계획이다." 교수직은 유지한 채 샌프란시스코로 이동하고, 1년 이후에 대한 확정된 계획은 없다고 밝혔지. 이건 지난 10여 년간 학계-기업 랩 사이에서 굳어진 표준 포맷이야. 사직이 아니라 무급 휴직, 대학 소속은 남기고 실무는 랩에서. 대학 입장에선 명예를 지키고, 기업 입장에선 리스크 없이 최고 인재를 쓰고, 본인 입장에선 돌아갈 다리를 남겨두는 구조지.

그가 AI 안전을, 그것도 기업 랩 안에서 하겠다고 한 논리도 명확해. 그는 자기 견해가 "대부분의 기준으로 보면 꽤 극단적"이라며 AI가 사회와 인류에 심각한 위협이 될 것이라고 말했고, 개발 속도를 늦추거나 멈출 수 있는 인프라 제안에도 지지 의사를 밝혔어. 그런 사람이 왜 프런티어 랩에 들어가냐는 질문에 대한 답은, 안전 문제를 실제로 다루려면 모델이 만들어지는 현장 안에 있어야 한다는 거야. 바깥에서 논문을 쓰는 것과, 훈련 중인 모델의 실제 행동을 보면서 개입 지점을 찾는 건 정보량이 다르니까. 여기에 수학자 특유의 논거가 하나 더 붙어. 그는 위험과 판돈이 극도로 높은 만큼 안전 연구에는 매우 높은 수준의 확실성이 필요하다고 봤어. '높은 확실성'을 다루는 훈련을 받은 직업군이 뭐냐면, 정확히 증명을 업으로 삼는 사람들이지.

그의 수학관도 이 결정을 이해하는 데 중요해. Quanta 인터뷰에서 그는 "내 경험상, 그리고 많은 사람의 경험상 수학은 대단히 목표 지향적인 활동"이라며 "진리와 아름다움 같은 건 멀리서 볼 때 있는 얘기고, 가까이 들어가면 그냥 이기고 싶은 것"이라고 말했어. 그리고 그게 사라지면, 즉 어려운 문제를 사람이 먼저 푸는 경험이 사라지면 그건 사소한 문제가 아니고 많은 수학자가 더는 하고 싶지 않아질 거라고 했지. AI가 이 분야를 100배 가속시킬 수 있다고 보면서 동시에 그 가속이 직업으로서의 수학을 지워버릴 수 있다고 보는 이중 인식이, 축하 자리에서 나온 그 답변의 배경인 거야.

타이밍도 우연이 아니야. 그가 무대에 서기 사흘 전인 7월 20일, 하버드 출신 수학자 레벤트 알푀게(Levent Alpöge)가 앤트로픽의 모델을 써서 87년 묵은 자코비안 추측(Jacobian conjecture)의 반례를 찾았다고 X에 짧게 올렸어. 3변수 다항사상인데 야코비 행렬식이 어디서나 -2로 일정한데도 서로 다른 세 입력이 같은 출력으로 가는 형태로, 2차원 경우를 제외한 모든 고차원에서 추측이 거짓임을 보였지. 이 건은 The Conversation 등에서 다뤄졌고 전 세계 수학자들이 몇 시간 만에 독립 검증했지만, 앤트로픽의 공식 발표나 전체 대화 기록 공개는 없었다는 점은 짚어둘게. 5월엔 OpenAI 모델이 단위거리 추측을 깼고, 7월엔 앤트로픽 모델이 자코비안 추측을 깼고, 그 사흘 뒤 필즈상 수상자가 "나는 랩으로 간다"고 말한 거야. 순서를 놓고 보면 이건 개인의 변덕이 아니라 반응이지.

항목 내용 확인 근거
수상자·시점 2026 필즈상 4인(위덩·존 파든·야콥 치메르만·홍왕), 2026년 7월 23일 ICM 개막식 발표 IMU 필즈상 2026 페이지, Simons Foundation
장소·일정 ICM 2026, 필라델피아 펜실베이니아 컨벤션센터, 7월 23~30일 IMU ICM 2026 안내
수상 사유 o-최소성의 산술·복소대수기하 방법론화, 그리피스 추측 및 지겔 모듈러 다양체에 대한 앙드레-오르 추측 IMU 공식 수상 사유 PDF
나이·국적 38세, 역사상 두 번째 캐나다인 수상자·캐나다 기반 최초 BetaKit, 토론토대 발표
학력 토론토대 학사(2년 만에 2006년), 프린스턴 박사(2011, 지도교수 피터 사르낙), 하버드 주니어 펠로우 Quanta, 토론토대 발표
이동 형태 토론토대 교수직 유지한 채 휴직, 샌프란시스코 이주, 1년 이후 계획 미정 본인 발언 "휴직하는 거지 떠나는 게 아니다"
합류처·업무 OpenAI, AI 안전 연구 BetaKit(2026-07-31), 마크 첸 X 게시물
본인 전망 "2년 안에 AI가 수학자보다 수학을 더 잘할 것", 분야 100배 가속 가능 시상식 발언 및 인터뷰 인용 보도
대학원생 신규 모집 중단 — "사라질지 모르는 커리어를 위해 학생을 훈련시키고 싶지 않다" Quanta 및 후속 보도
관련 논문 크리치와 공저 'A Taxonomy of Omnicidal Futures'(2025-07), 단위거리 추측 반증 검증 논문 공저(2026-05) arXiv 2507.09369, arXiv 2605.20695

이 거래에서 누가 웃고 누가 우나

가장 확실한 승자는 OpenAI야. 금액이 얼마든 이건 자금 이야기가 아니라 정당성 이야기거든. 프런티어 랩들이 안전 연구에서 계속 받는 공격은 "결국 제품 팀 옆에 붙은 홍보 부서 아니냐"는 거야. 그런데 AI가 인류를 절멸시킬 수 있는 경로를 분류한 논문을 직접 쓴 사람, 개발 속도 제한 인프라를 지지한다고 공개적으로 말한 사람이 안전팀에 들어오면 그 비판의 각도가 달라져. 게다가 OpenAI는 이미 자사 모델의 수학 성과를 최전선 홍보 자산으로 쓰고 있고, 어제 다룬 '수학 10대 진전' 발표도 같은 흐름이었지. 그 결과들을 사람 손으로 검증했던 공저자를 사내에 들이는 건 검증 파이프라인을 내재화하는 효과도 있어. 다만 리스크도 같이 들어와. 극단적인 위험관을 가진 사람을 채용하면, 그 사람이 나중에 나가면서 하는 말도 회사가 감당해야 하거든.

토론토대와 캐나다 학계는 미묘한 위치야. 표면적으로는 최고의 순간이지. 캐나다에 기반을 둔 최초의 필즈상 수상자가 나왔고, 총장과 학과장이 축하 성명을 냈어. 그런데 그 수상자가 같은 주에 휴직계를 내고 샌프란시스코행 비행기를 탄다면, 캐나다가 세계 최고 수준의 연구자를 길러내긴 하지만 붙잡아두진 못한다는 오래된 서사가 또 한 번 확인되는 셈이야. 제프리 힌턴이 토론토대에 있으면서 구글로 간 것도, 요슈아 벤지오 주변 인재들이 계속 남쪽으로 빠져나간 것도 같은 계보지. 학과 입장에선 그가 학생 멘토링을 계속하고 관계를 유지하겠다고 밝힌 게 그나마의 안전판인데, 실제로 지켜지는지는 1년 뒤에나 알 수 있어.

가장 애매한 위치는 대학원생과 젊은 수학자들이야. 필즈상 수상자가 "이 직업이 사라질 수 있어서 학생을 안 받는다"고 공개적으로 말하는 순간, 지금 정수론 박사과정 3년차인 사람은 무슨 생각을 하게 될까. 이건 개인의 결정이지만 신호로서의 파괴력이 커. 반대로 이미 AI 안전이나 형식화(Lean/mathlib) 쪽으로 방향을 튼 젊은 연구자들에겐 커리어 경로가 정당화되는 순간이기도 해. 실제로 수학자들을 겨냥한 AI 위험 입문 문서들이 늘고 있는데, 2026년 8월 공개된 샤오위 허(Xiaoyu He)의 「Existential Risk from AI: An Exposition for Mathematicians」가 그 예야. 수학 커뮤니티 안에 별도의 진입로가 생기고 있다는 뜻이지.

손해를 보는 쪽도 분명히 있어. 첫째는 순수수학 자체. 앙드레-오르와 그리피스 추측을 푼 사람이 앞으로 최소 1년간 정수론에 쓸 시간을 쓰지 않는다는 건, 대체 불가능한 손실이야. 암브로지오니의 "메시를 PM으로" 비판이 정확히 이 지점을 찌르고 있어. 세계 최고 수준의 희소 능력을, 그 능력이 가장 큰 한계효용을 내는 자리가 아닌 곳에 배치하는 게 사회적으로 최적이냐는 질문이지. 둘째는 학계의 협상력. 22명 규모의 미국 상위권 대학 교수들이 2026년에 프런티어 랩으로 이직하거나 휴직했다는 집계가 보도됐는데(단일 집계 보도라 수치는 확정적으로 받아들이지 마), 그 흐름의 상징적 정점이 필즈상 수상자라면 대학이 내걸 수 있는 카드가 뭐가 남는지 되묻게 돼.

전에도 있었던 일 — 잘 풀린 이적과 망한 이적

성공 사례부터. 2013년 제프리 힌턴은 자기가 만든 스타트업 DNNresearch가 구글에 인수되면서 구글 브레인에 합류했지만 토론토대 교수직을 완전히 놓지 않았어. 이 '겸직/휴직' 모델은 이후 10년간 표준이 됐고, 결과적으로 딥러닝 상용화와 학술적 성과가 동시에 나왔지. 얀 르쿤이 2013년 페이스북 AI 리서치를 이끌면서 뉴욕대 교수직을 유지한 것도 같은 패턴이야. 더 극적인 건 딥마인드의 존 점퍼야. 기업 랩 소속 연구자가 알파폴드로 2024년 노벨 화학상을 받았다는 사실은, 기업 랩이 최상급 기초과학을 만들어낼 수 있다는 반박 불가능한 증거였어. 치메르만이 기대하는 시나리오가 이쪽이지. 학계에선 못 했을 스케일의 계산과 데이터에 접근해서, 학계 기준으로도 진짜인 결과를 낸다.

실패 사례는 더 교훈적이야. 2015년 우버는 카네기멜런대 국립로봇공학센터에서 연구자 수십 명을 한꺼번에 데려갔어. 랩 하나가 사실상 공동화됐고, 그렇게 만든 우버 ATG는 2020년 오로라에 매각되면서 사라졌지. 인재는 옮겨졌는데 원래 있던 연구 생태계도, 새로 만든 조직도 남지 않은 케이스야. 대학이 "잠깐 다녀오는 거니까 괜찮다"고 생각했다가 결과적으로 세대 전체를 잃은 전형이지.

두 번째 실패 사례는 이 기사와 훨씬 직접적으로 맞닿아 있어. 2023년 OpenAI는 초정렬(Superalignment) 팀을 만들면서 컴퓨트의 20%를 배정하겠다고 공언했지만, 2024년 5월 일리야 수츠케버와 얀 라이케가 잇따라 떠나면서 팀은 해체됐어. 라이케는 떠나며 안전 문화가 반짝이는 제품에 밀렸다고 공개적으로 말했고, 곧 앤트로픽으로 갔지. "안전 문제를 고치려면 랩 안에 있어야 한다"는 논리는 그때도 있었고, 그때는 통하지 않았어. 구글에서 팀닛 게브루가 겪은 일도 비슷한 구조였고. 즉 치메르만의 전략은 검증되지 않은 게 아니라, 이미 여러 번 시험됐고 결과가 엇갈린 전략이야.

그래서 이번 건의 관전 포인트는 '그가 무엇을 연구하느냐'보다 '그가 회사와 이견이 생겼을 때 무슨 일이 벌어지느냐'에 가까워. 힌턴은 2023년 구글을 떠나면서 비로소 AI 위험에 대해 자유롭게 말할 수 있게 됐다고 했어. 필즈상 수상자가 안 그래도 큰 목소리를 회사 안에서 유지할 수 있는지, 아니면 결국 밖에서만 할 수 있는 말이 생기는지가 이 실험의 진짜 결과값이야. 그가 1년 이후 계획을 정하지 않았다고 말한 건, 어쩌면 그 자신도 이 점을 알고 있다는 뜻일 수 있어.

다른 랩과 학계는 어떻게 받아칠까

앤트로픽은 이미 카운터를 쳐놨어. 치메르만이 무대에 서기 사흘 전, 앤트로픽 소속 수학자 레벤트 알푀게가 자사 모델로 자코비안 추측 반례를 내놨거든. 홍보 없이 X에 짧은 글 하나로 던졌고, 수학자들이 몇 시간 만에 검증했지. 한 보도에 따르면 알푀게는 치메르만이 하버드 주니어 펠로우 시절 학부 논문을 지도한 학생이라는데, 이 사제 관계 부분은 단일 매체 보도라 확정적으로 받아들이진 마. 사실이든 아니든 구도는 선명해. OpenAI는 필즈상 수상자를 영입해 안전과 권위를 사고, 앤트로픽은 사내 수학자와 모델로 결과를 직접 내서 실력을 증명하는 거야. 여기에 앤트로픽이 최근 학계와 다른 랩에서 최상급 연구자를 계속 흡수하고 있다는 집계 보도들이 겹쳐. 다만 그런 이직 비율 수치들은 채용 정보 업체나 집계 매체 발 자료가 많아서 정확도를 담보하기 어려워.

구글 딥마인드의 카운터는 다른 축이야. 알파프루프는 2024년 IMO에서 은메달급 성적을 냈고, 형식 증명을 강화학습으로 학습시키는 노선을 밀어왔어. 이 진영의 논리는 "AI가 수학을 잘한다"가 아니라 "AI가 낸 수학은 기계가 검증 가능해야 한다"야. 사람이 몇 시간 만에 눈으로 검증했다는 자코비안 사례나, 아홉 명의 최상급 수학자가 붙어 압축·검증한 단위거리 사례는 아름답지만 확장성이 없거든. Lean과 mathlib을 중심으로 한 형식화 커뮤니티, 테런스 타오가 에르되시 문제 사이트에서 AI 기여를 하나씩 정리하며 축적하는 작업이 여기에 붙어. 치메르만이 말한 '높은 확실성'이라는 요구조건도 사실 이 진영의 언어야.

학계 쪽 카운터플레이는 훨씬 어렵고, 솔직히 카드가 별로 없어. 대학이 프런티어 랩의 보상 패키지와 컴퓨트를 이길 방법은 없어. 그래서 현실적인 대응은 세 가지 정도로 좁혀져. 첫째, 휴직 제도를 제도화해서 완전 이탈이 아니라 순환으로 만드는 것. 둘째, 랩이 못 하는 일에 특화하는 것 — 장기 호흡의 순수 연구, 검증 인프라, 교육. 셋째, AI가 낸 결과를 검증하고 해석하는 역할을 학계의 새로운 핵심 기능으로 정의하는 것. 실제로 단위거리 반증 논문은 학계가 이 역할을 이미 수행하고 있다는 좋은 사례야. 기업이 결과를 내면 학계가 그것을 인간이 읽을 수 있는 수학으로 번역하고 검증한 거니까.

중국과 그 밖의 플레이어들도 조용하지 않아. 2026년 필즈상에서 중국 출신 수학자가 복수로 나온 것 자체가 인재 지형의 변화를 보여주고, 중국 빅테크가 수학·과학 특화 연구원 프로그램을 확대하며 최상급 수학자를 겨냥하고 있다는 보도도 나왔어. 다만 이 부분은 아직 개별 랩의 공식 발표로 확인되는 범위가 좁아. 확실한 건, 필즈상 수상자를 데려가는 게 실제로 가능하다는 사실이 이번에 공개적으로 증명됐고, 그 다음 사람에게 거는 제안의 크기가 달라질 거라는 점이야.

그래서 뭐가 달라지는데

개발자·연구자 입장에선 두 가지가 바뀌어. 하나는 AI 안전이 더 이상 '철학하는 사람들의 영역'이 아니라는 신호야. 앙드레-오르를 증명한 사람이 정렬 문제에 붙는다는 건, 이 문제가 형식적으로 다룰 여지가 있다고 최상급 수학자가 판단했다는 뜻이거든. 증명론, 확률론, 계산복잡도 배경이 있는 사람에게 갑자기 새 시장이 열린 셈이야. 다른 하나는 검증의 중요성이 올라간다는 것. AI가 내놓은 수학 결과가 늘어날수록 '이게 맞나'를 판정하는 도구와 사람의 가치가 오르고, Lean 같은 증명 보조기 스킬이 실질적인 자산이 돼. 반대로 "어려운 문제를 혼자 오래 붙잡아 푸는 능력"만으로 승부하던 포지션은 압박을 받을 거야.

투자자·기업 관점에선 이건 인재 전쟁의 새로운 층위가 열렸다는 뜻이야. 지금까지 프런티어 랩의 스카우트 전쟁은 머신러닝 연구자와 인프라 엔지니어 중심이었어. 이제는 인접 분야 최상급 인재 — 수학, 이론물리, 이론 컴퓨터과학 — 로 전선이 넓어졌고, 이건 두 가지를 시사해. 첫째, 랩들이 스케일링만으로는 안 된다고 판단하고 있다는 것. 둘째, 안전·정렬이 규제 대응과 기업 신뢰의 자산으로 명확히 값이 매겨지기 시작했다는 것. 다만 안전팀 영입이 실제 제품 로드맵에 어떤 제약을 거는지는 지금 시점에서 알 수 없고, 홍보 효과와 실질을 구분하려면 최소 몇 분기는 지켜봐야 해.

일반 사용자에게 직접 달라지는 건 당장 없어. 챗봇이 갑자기 안전해지지도, 답이 더 정확해지지도 않지. 다만 중장기적으로 한 가지 흐름은 의미가 있어. 지금 프런티어 모델의 가장 큰 실무적 약점 중 하나가 '틀렸는데 자신 있게 말하는 것'인데, 증명을 업으로 삼던 사람들이 모델 개발 조직에 들어가면 '확실성을 어떻게 정량화하고 보증할 것인가'라는 질문이 조직 안에서 더 자주 제기될 가능성이 커. 그게 실제 제품 신뢰도로 이어질지는 별개 문제지만, 방향 자체는 사용자에게 나쁘지 않아.

교육기관과 정책 담당자에겐 더 무거운 숙제야. 필즈상 수상자가 후속 세대 양성을 중단했다는 사실은, 수학 교육과 연구 지원 구조에 대한 근본 질문을 던져. AI가 정말 2년 안에 수학자를 넘어선다면 지금 박사과정에 들어가는 사람들의 커리어는 어떻게 설계돼야 하나. 그리고 이건 수학만의 문제가 아니야. 이번 건은 '가장 자동화가 늦게 올 것 같았던 지적 직업'에서 종사자 본인이 먼저 경고를 울린 사례거든. 다만 그의 2년 전망은 어디까지나 한 사람의 예측이고, 같은 무대에 있던 다른 수학자들이 다 동의하는 건 아니라는 점은 분명히 해둘게.

🥄 남은 궁금증 세 가지

— 그래서 나랑 무슨 상관이야? 당장은 없어. 다만 네가 수학·통계·이론 쪽 백그라운드가 있고 커리어 전환을 고민 중이라면, AI 안전·정렬·검증 쪽이 실제로 최상급 인재를 흡수하는 시장이 됐다는 신호로 읽을 수는 있어. 반대로 순수 연구 커리어를 준비 중이라면, 이런 예측이 아직 예측일 뿐이라는 점도 같이 봐야 해.

— AI가 진짜 2년 안에 수학자를 넘어서? 그건 치메르만 본인의 전망이지 학계 합의가 아니야. 다만 근거가 없는 말도 아닌 게, 2026년에만 단위거리 추측 반증(5월)과 자코비안 추측 반례(7월)가 연달아 나왔고 둘 다 사람이 검증했어. 그래도 '유명한 문제 몇 개를 깼다'와 '수학자가 하는 모든 일을 대체한다' 사이엔 큰 간격이 있어서 단정하긴 일러.

— OpenAI가 앤트로픽·딥마인드보다 앞선 거야? 영입 한 건으로 판단할 문제는 아니야. OpenAI는 필즈상 수상자를 안전팀에 앉혀 권위를 얻었고, 앤트로픽은 사내 수학자가 모델로 87년 묵은 추측을 깬 결과를 내놨고, 딥마인드는 형식 증명 노선을 밀고 있어. 셋이 다른 축에서 이기려는 중이라 지금 순위를 매기는 건 의미가 없어.

참고 자료

수치는 발표 시점 기준이라 바뀔 수 있어.