I Want AI Now
수학 문제 하나를 풀면 100만 달러. 2000년에 미국 클레이 수학연구소가 내건 '밀레니엄 난제' 일곱 개 이야기입니다.
요즘 이 금고 앞에 AI가 줄을 서고 있다는 뉴스가 부쩍 많아졌습니다. 그럼 궁금해지죠. 금고가 다 열리면, 내 월급도 오를까요?
먼저 답부터 드리면, 난제가 풀린 다음 날에도 월급명세서는 그대로일 가능성이 큽니다. 증명 한 편이 연봉 협상 테이블에 오르는 일은 없으니까요. 그렇다고 상관이 없다는 뜻은 아닙니다. 오늘은 금고를 하나씩 열어 보면서, 수학이 우리 삶에 닿는 길을 따라가 보겠습니다.
수학이 내 삶에 닿는지 보는 세 가지 질문 — ① 그 증명이 새로운 지식이나 방법을 남겼는가 ② 그걸 실제로 쓸 수 있게 만드는 연구자·개발자가 있는가 ③ 그 혜택이 가격·노동시간·임금으로 돌아오는가
일곱 개의 금고, 열린 건 하나
일곱 문제는 푸앵카레 추측, P 대 NP, 나비에-스토크스 방정식, 리만 가설, 양-밀스 질량 간극, 버치-스위너턴다이어 추측, 호지 추측입니다. 공식적으로 열린 금고는 지금까지 푸앵카레 추측 하나뿐입니다.
그런데 AI가 왜 갑자기 뉴스에 나올까요? 속도 때문입니다. 2024년만 해도 AI는 국제수학올림피아드 문제를 사람이 기계용 언어로 옮겨 줘야 풀었고 며칠이 걸렸습니다. 2025년에는 대회 시간 안에 금메달 수준 점수를 받았죠. 올해 1월에는 필즈상 수상자 테렌스 타오가, 오래된 에르되시 문제 하나를 AI가 약간의 도움만 받고 "거의 자율적으로" 풀었다고 평가했습니다.
그리고 올해 8~10월, AI 회사들이 밀레니엄 난제와 그 주변 문제에 대한 결과를 잇달아 내놓았습니다. 다만 10월 11일 현재, 클레이 연구소가 AI의 풀이를 공식 인정한 난제는 없습니다.
열린 금고, 푸앵카레 — 그런데 바뀐 제품은?
푸앵카레 추측은 "구멍 없이 닫힌 3차원 공간은 모두 3차원 구면과 같은 모양일까"를 묻습니다. 공 겉면에 고무줄을 감으면 어디서든 한 점으로 쏙 오므릴 수 있지만, 도넛 겉면에서는 구멍에 걸려 안 되죠. 그 성질을 한 차원 높은 공간에서 따지는 문제입니다.
이 문제를 푼 그리고리 페렐만은 2006년 필즈상도, 2010년 상금도 거절했습니다. 그의 무기는 리처드 해밀턴이 1982년에 도입한 '리치 흐름'이었습니다. 열이 퍼지며 온도가 고르게 되듯 공간의 굽은 정도를 고르게 펴는 방정식인데, 펴는 도중 생기는 '구김(특이점)'을 다루는 방법을 페렐만이 찾아냈죠.
그럼 생활은 뭐가 바뀌었을까요? 솔직히, 이 증명 덕분에 바뀐 제품이나 서비스는 찾기 어렵습니다. 그래픽과 뇌 영상 연구에 쓰이는 '이산 리치 흐름'은 해밀턴의 곡면 연구 등에서 따로 자란 갈래라, 푸앵카레 증명 덕분이라고 하긴 어렵습니다. 어떤 증명은 쓰던 방법에 확실한 근거를 주고, 어떤 증명은 새로운 방법까지 남깁니다. 우리 삶과 이어지는 건 대개 뒤쪽이고, 그마저 시간이 걸립니다.
택배 기사의 금고, P 대 NP
택배 기사님이 하루에 수백 곳을 돌아야 한다고 해 볼까요. 누가 "이 순서로 돌면 총 몇 킬로미터 이하"라는 경로를 내밀면, 맞는지 확인하는 건 금방입니다. 그런데 가장 짧은 경로를 처음부터 찾는 건, 지금 알려진 방법으로는 들를 곳이 늘수록 감당할 수 없이 어려워집니다.
P 대 NP는 "답을 확인하기 쉬운 문제는, 언제나 답을 찾기도 쉬운가"를 묻습니다. '그렇다'로 증명되고 그 방법이 실제로 빠르다면 물류·일정·설계 같은 최적화가 크게 쉬워질 수 있지만, 컴퓨터과학자 대부분은 '아니다'일 거라고 봅니다. 그렇게 증명돼도 택배비가 내려가진 않습니다. 현장은 이미 '완벽하진 않아도 충분히 좋은 답'을 찾는 기법으로 돌아가고 있으니까요.
AI가 P 대 NP 자체를 풀었다는 주장은 없습니다. 오픈AI가 10월 공개한 원고 목록에 주변 결과가 들어 있는 정도이고, 사람 전문가의 독립 검증은 아직입니다.
올가을 가장 시끄러웠던 금고, 나비에-스토크스
나비에-스토크스 방정식은 물과 공기의 흐름을 설명하며 비행기 설계·일기예보·혈류 연구에 이미 쓰입니다. 난제가 묻는 건 푸는 법이 아니라, 매끄럽게 시작한 흐름이 유한한 시간 안에 속도가 무한대로 치솟는 '특이점'을 만들 수 있느냐입니다.
클레이 연구소는 답을 여러 갈래로 열어 뒀습니다. 외부 힘이 없을 때 흐름이 늘 매끄럽다는 걸 보여도 되고, 매끄러운 외부 힘을 주는 조건에서 흐름이 깨지는 예를 보여도 됩니다. 9월 8일, 오픈AI는 내부 모델이 이 뒤쪽, 깨지는 예를 찾았다고 발표했습니다.
발표에 따르면 AI 에이전트들이 증명까지 약 88시간, 컴퓨터가 증명을 한 줄씩 검사하는 언어 '린(Lean)'으로 옮겨 검증하는 데 17시간이 더 걸렸습니다. 그런데 단서가 있습니다.
- 외부 힘이 없을 때 흐름이 매끄럽게 유지되는지는 여전히 열린 질문입니다.
- 클레이 연구소는 9월 11일 이 문제가 "풀린 것으로 보인다(apparently been settled)"는 발표에 반응하면서, 평가는 일부러 서두르지 않겠다고 밝혔습니다.
- 오픈AI도 상금을 청구하지 않겠다고 했습니다.
- arXiv에 올라온 반론 논문(바스투니스·치르첼리·한센)은 사람이 쓴 증명의 옳고 그름은 판단하지 않는다고 전제한 뒤, 논문과 컴퓨터용 증명이 딱 맞지 않는 곳을 짚었습니다. 예를 들어 논문은 미분을 네 번 더 쓰는 부등식을 쓰는데, 인용한 린 결과는 다섯 번이라 더 약한 결과라는 식입니다.
컴퓨터 검증 = 사람 증명 보장? — 아닙니다. 컴퓨터 검사를 통과한 건 '컴퓨터용으로 옮긴 명제'입니다. 그 옮기기가 원래 증명과 정확히 같은지는 사람이 따로 확인해야 합니다.
잠긴 네 금고
정답은 X입니다. 소수가 어떻게 흩어져 있는지 아는 것과, 특정한 큰 수를 빨리 쪼개는 방법을 아는 건 다른 문제입니다. 리만 가설은 소수의 실제 분포가 평균에서 얼마나 벗어나는지, 그 오차의 한계를 말합니다.
- 리만 가설: 앤트로픽은 8월, 클로드가 '임계선 위 영점 비율'의 증명된 하한을 41.6%에서 67.2%로 올렸다고 발표했습니다(가설이 맞다면 100%).
- 양-밀스 질량 간극: 오픈AI는 양-밀스와 닮은 더 단순한 2차원 모형에서 질량 간극을 보였다고 주장했습니다.
- 버치-스위너턴다이어 추측: 해가 없거나 아주 적은 종류의 타원곡선에서 공식이 맞는다는 부분 결과입니다.
- 호지 추측: 대칭성이 아주 강한 특수한 공간에서 성립한다는 주장이 나왔고, 같은 주에 관련 원고 세 편이 부호 오류로 철회되기도 했습니다.
정리하면 원래 문제 네 개는 모두 미해결이고, AI 회사의 결과들은 수학계의 검증을 기다리고 있습니다.
이름을 지운 채 생활로 들어온 수학
그럼 결국 쓸모없는 문제들일까요? 역사는 반대편에 있습니다. 19세기 조지 불의 '논리의 대수'는 1937년 클로드 섀넌의 석사논문에서 전기 스위치 회로를 설계하는 언어가 됐고, 지금 우리 휴대폰 안에서도 돌아갑니다.
리만이 다듬은 휘어진 공간의 기하학은 아인슈타인 일반상대성이론의 언어가 됐습니다. 덕분에 GPS 위성의 시계가 지상보다 하루 약 38마이크로초 빨리 간다는 걸 알고 보정하죠. 이 보정이 없으면 위치 오차가 하루에 수 킬로미터씩 쌓입니다. 1915년 하디가 가장 쓸모없는 분야로 여겨져 왔다고 말한 정수론은, 훗날 RSA 같은 공개키 암호의 바탕이 됐습니다.
AI도 이 흐름에 들어와 있습니다. 2023년 딥마인드의 알파데브가 찾은 정렬 방법은 C++ 표준 라이브러리 구현에 들어갔고, 짧은 데이터에서 최대 70%, 25만 개가 넘는 긴 데이터에서 약 1.7% 빨라졌습니다. 그렇다고 회사 전체 비용이 1.7% 줄어드는 건 아니죠.
그래서, 내 월급은?
난제가 풀린 날에도 월급명세서는 그대로일 겁니다. 그런데 그 증명이 새로운 계산법이나 믿을 만한 기술로 이어지면, 우리가 할 수 있는 일과 그 일에 드는 비용이 달라집니다.
그다음부터는 수학이 답할 수 없는 질문들입니다. 누가 그 방법을 실제로 쓰게 만들까. 아낀 비용은 가격 인하로 돌아올까, 회사의 이익으로 남을까. 줄어든 작업 시간은 조기 퇴근이 될까, 새로운 업무가 될까.
“난제의 증명에는 마침표를 찍을 수 있습니다. 하지만 내 삶이 달라지는 이야기는, 그다음 문장부터 시작됩니다.” — AI 24시 핫클립 특집 클로징
Q. AI가 밀레니엄 난제를 풀어서 상금을 받았나요? A. 아닙니다. 2026년 10월 11일 현재 클레이 연구소가 AI의 풀이를 공식 인정한 난제는 없습니다. 나비에-스토크스는 클레이가 평가를 서두르지 않겠다고 했고, 오픈AI도 상금을 청구하지 않겠다고 했습니다.
Q. 리만 가설이 풀리면 암호가 위험해지나요? A. 그렇게 단정할 수 없습니다. 소수의 분포를 아는 것과 큰 수를 빨리 소인수분해하는 방법을 아는 건 다른 문제입니다.
Q. 컴퓨터(린)로 검증했으면 확실한 것 아닌가요? A. 컴퓨터가 검사한 건 '옮겨 적은 명제'입니다. 반론 논문은 원래 증명과 옮긴 증명이 다른 부분을 짚었습니다. 사람 전문가의 확인이 따로 필요합니다.
오늘의 3줄 요약
- 밀레니엄 난제 7개 중 공식적으로 풀린 건 푸앵카레 추측 하나, AI 결과들은 아직 검증 중입니다.
- 증명이 곧 생활 변화는 아닙니다 — 새 방법을 남기고, 누군가 그걸 쓰게 만들 때 비로소 닿습니다.
- 그 혜택이 가격·시간·임금으로 돌아올지는 수학이 아니라 우리가 풀 문제입니다.
참고 자료
- 클레이 수학연구소, Millennium Prize Problems — https://www.claymath.org/millennium-problems/
- 클레이 수학연구소, Navier-Stokes Announcement (2026.9.11) — https://www.claymath.org/news/navier-stokes-announcement/
- OpenAI, On the Navier–Stokes Millennium Prize Problem (2026.9.8) — https://openai.com/index/navier-stokes-solution/
- Bastounis·Circelli·Hansen, Navier–Stokes lost in translation (arXiv 2610.08144) — https://arxiv.org/html/2610.08144
- Anthropic, Learning more about Claude's mathematical capabilities (2026.8) — https://www.anthropic.com/research/riemann-zeta
- Scientific American, OpenAI 새 증명 묶음 정리 (2026.10.8) — https://www.scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/
- Terence Tao, Mathstodon (에르되시 문제 #728) — https://mathstodon.xyz/@tao/115855850861929666
- 국제수학연맹, 2006 필즈상 페렐만 소개 — https://www.mathunion.org/fileadmin/IMU/Prizes/Fields/2006/PerelmanENG.pdf
- Nature, AlphaDev (2023) — https://www.nature.com/articles/s41586-023-06004-9
- GPS World, Inside the box: GPS and relativity — https://www.gpsworld.com/inside-the-box-gps-and-relativity/
※ 이 글은 유튜브 영상 「밀레니엄 난제가 풀리면 내 월급이 오를까? (AI 24시 핫클립 특집)」을 옮긴 것입니다. 영상의 진행자와 목소리는 AI로 만든 가상 인물이며(제미나이 TTS), 배경 그림·영상은 시온바나나와 매그니픽 Kling 2.5로 만든 AI 생성물입니다. 도해는 직접 그렸습니다. 사진: GPS III 상상도(미 공군, 퍼블릭 도메인). AI 회사의 결과는 2026년 10월 11일 현재 검증 중인 주장입니다.
