AI가 100년 수학 난제를 풀었다. 그런데 왜 날씨는 여전히 예측하기 어려울까?
물 한 방울의 움직임을 설명하는 방정식이 인류 최고의 수학 난제였다. OpenAI는 마침내 그 방정식이 무너지는 조건을 찾아냈다. 722편의 수학 원고와 컴퓨터가 검증하는 증명까지 공개됐다. 과연 AI는 자연의 비밀을 얼마나 풀어낸 것일까?
20초 핵심
1. 물 한 잔에 숨어 있던 100년의 비밀
커피에 우유를 한 방울 떨어뜨려 보자. 처음에는 하얀 실처럼 퍼지다가, 숟가락으로 저으면 복잡한 소용돌이를 만든다.
이 움직임을 설명하는 공식이 바로 나비에-스토크스 방정식(Navier-Stokes equations)이다.
어려운 이름과 달리 출발점은 중학교 과학에서 배우는 뉴턴의 운동법칙, F = ma다.
물과 공기를 움직이는 힘은 크게 세 가지다. 압력이 밀어내고, 점성은 움직임을 부드럽게 만들며, 중력 같은 외부 힘이 흐름을 바꾼다.
문제는 물이 스스로의 움직임을 바꾼다는 사실이다. 물을 앞으로 밀면 옆의 물이 움직이고, 그 움직임이 소용돌이를 만들고, 소용돌이가 다시 원래 흐름에 영향을 준다.
수학자들은 이를 비선형성이라고 부른다.
방정식은 19세기에 만들어졌지만, 3차원에서 그 해가 언제나 부드럽게 유지되는지는 오랫동안 증명하지 못했다.
2. 수학자들이 정말 두려워한 것은 무엇인가
2000년 클레이 수학연구소는 이 문제를 100만 달러 상금이 걸린 밀레니엄 7대 난제에 포함했다.
핵심 질문은 놀랍도록 간단하다.
처음에 부드럽게 흐르던 물이, 방정식 속에서 어느 순간 무한히 빠르게 움직일 수 있을까?
수학에서는 이런 현상을 특이점(Singularity) 또는 폭발(Blow-up)이라고 부른다.
하지만 실제 물이 무한한 속도로 움직인다는 뜻은 아니다. 방정식이 현실을 설명하는 데 사용하는 연속체 모델이 더 이상 유효하지 않을 수 있다는 뜻이다.
수학적 폭발과 컴퓨터의 계산 오류도 다르다. 시뮬레이션이 멈췄다고 특이점이 증명되는 것은 아니다.
3. AI가 발견한 스파게티 소용돌이
2026년 9월 8일, OpenAI는 특별한 유체 운동을 구성한 증명과 Lean 형식 증명을 공개했다.
시작은 정지한 유체다. 여기에 수학적으로 매우 매끄럽게 설계한 외부 힘을 가한다.
그러면 소용돌이가 중심으로 말려 들어가면서 점점 가늘고 길어진다. 마치 스파게티 면발을 잡아 늘리는 모습이다.
특정 영역의 속도는 끝없이 증가하지만, 전체 운동에너지는 유한하게 유지된다. 빠르게 움직이는 영역이 동시에 좁아지기 때문이다.
핵심은 무한한 외력을 억지로 가하지 않고도, 방정식 내부의 운동과 압력, 점성이 절묘하게 균형을 이루며 이런 특이점을 만들어낸다는 것이다.
4. 밀레니엄 난제는 정말 해결됐을까?
여기에는 중요한 구분이 있다.
클레이 수학연구소의 공식 문제는 외력이 없는 유체가 영원히 매끄러운지를 증명하는 경로(A, B)와, 매끄러운 외력을 허용할 때 특이점이 생기는 반례를 제시하는 경로(C, D)를 인정한다.
또한 C와 D는 단순히 외력의 종류가 아니라, 각각 무한한 3차원 공간과 주기적인 3차원 공간을 대상으로 한다.
| 경로 | 증명 대상 | OpenAI 결과 |
|---|---|---|
| A / B | 외력이 없을 때 모든 매끄러운 초기 조건에 대한 전역적 매끄러움 | 직접 해결하지 않음 |
| C / D | 매끄러운 외력을 허용한 특이점 반례 | 해결했다고 발표 |
Clay Mathematics Institute 공식 문제의 대안적 증명 경로를 요약.
9월 11일 클레이 수학연구소는 문제가 해결된 것으로 보인다는 입장을 발표했다. 이는 단순한 기업의 자체 홍보보다 훨씬 무게 있는 반응이다. 다만 최종적인 학계 검토와 상금 심사 절차는 별개다.
따라서 AI가 밀레니엄 난제의 공식 해결 경로에 해당하는 증명을 제시했다는 평가가 정확하다.
반대로 외력 없는 모든 난류를 해석했다는 주장은 성립하지 않는다.
5. 싱크대의 물결이 보여주는 또 다른 세계
집에서도 유체역학의 신비를 관찰할 수 있다.
수도꼭지를 틀어 물이 싱크대 바닥에 닿는 모습을 보자. 물은 중심에서 얇게 퍼지다가 어느 지점에서 갑자기 두꺼워진다.
이를 수력 도약(Hydraulic Jump)이라고 한다.
바로 그 지점에서 흐름은 빠르고 얕은 상태에서 느리고 깊은 상태로 전환된다.
다만 이것은 자유표면에서 나타나는 급격한 변화이지, OpenAI가 구성한 속도 무한대의 특이점과 같은 현상은 아니다.
배를 설계할 때 사용하는 푸르드 수(Froude number)도 흥미롭다. 모형 배와 실제 배의 파도 특성을 비교하려면 단순히 크기만 확대하는 것으로는 부족하다.
이처럼 유체역학에는 특이점, 수면 변화, 파도, 난류, 압축성 등 서로 다른 문제들이 존재한다. 하나의 정리가 모든 현상을 해결하지는 못한다.
6. 722편의 논문이 던지는 더 큰 질문
OpenAI는 10월 6일 추가 수학 연구 성과를 공개했다. 공개 저장소에는 372개 연구 계열로 묶인 722편의 원고가 수록됐다.
이는 모두 독립적으로 검증된 722개의 난제가 해결됐다는 뜻은 아니다. 관련 증명과 보조 연구가 포함됐고, 일부 결과는 검증이 진행 중이다.
주목할 부분은 연구의 분업이다.
AI는 사람이 쉽게 떠올리지 못하는 수학적 구조와 반례를 탐색한다. Lean은 작성된 형식 증명의 논리적 일관성을 검사한다. 인간 연구자는 가정이 적절한지, 결과가 무엇을 의미하는지, 기존 이론과 어떻게 연결되는지 판단한다.
Lean 검증은 중요한 신뢰 장치지만, 형식화에 사용된 정의가 의도한 수학 문제와 정확히 일치하는지까지 자동으로 보장하지는 않는다.
FAQ
AI가 찾아낸 것은 자연의 마지막 정답이 아니다. 우리가 자연을 설명하는 수학의 경계에 도달하는 새로운 길이다. 그리고 그 길을 인간 혼자가 아니라 AI와 함께 탐험하기 시작했다는 사실이 이번 사건의 가장 흥미로운 변화다.
이번 성과의 진짜 의미는 AI가 내일의 태풍을 완벽히 맞힐 수 있게 됐다는 데 있지 않다.
AI가 기존 수학을 설명하는 도구에서 새로운 수학적 지식을 만들어내고 검증 가능한 형태로 제시하는 도구로 진화하고 있다는 점이 중요하다.
이 변화가 항공기 설계나 기상예측 성능 개선으로 연결되려면 새로운 수학적 통찰이 실제 계산 알고리즘과 물리 모델로 이어져야 한다. 그 과정에는 상당한 시간과 추가 연구가 필요하다.
오히려 가까운 미래에 확인할 변화는 수학자와 AI의 협업 방식일 수 있다. 정답을 찾는 속도만큼, 그 정답을 독립적으로 검증하고 인간이 이해할 수 있는 지식으로 바꾸는 능력이 중요해질 것이다.
- 아니다. 날씨에는 초기 관측의 불확실성, 대기와 바다의 상호작용, 구름과 복사 과정 등 수많은 문제가 남아 있다.
- 수학적 모델의 결과가 곧 물리적 현실을 뜻하지 않는다. 분자 수준에서는 연속체 가정의 적용 한계도 고려해야 한다.
- 증명 탐색과 형식 검증의 자동화 가능성은 커졌다. 그러나 문제 선택, 수학적 의미의 해석, 독립 검토에는 여전히 인간 연구자의 역할이 중요하다.
- 원고마다 독창성, 완성도, 검증 수준이 다르기 때문이다. 원고 수보다 엄밀하게 확인된 주요 결과의 수와 학문적 파급력이 중요하다.
체크 포인트
인사이트 타임스 편집부
