📺 이 기사는 YouTube 채널 きなこもっちーのテック深掘り 영상 해설 기사입니다.
▶️ 동영상은 여기 → "AI가 90년간의 초난제(超難問)를 풀었다는 것, 과장일까? | OpenAI 나비에-스토크스 발표 검증"
🐹🦜 이 기사에 등장하는 두 캐릭터
- 🐹
모찌 (햄스터)… AI는 아직 공부 중. "그거 무슨 뜻이야?"라고 순수하게 질문하는 학생 역할 - 🦜
키나코 (사랑앵무)… AI로 조사하는 해설 역할. 상냥하게 깊이 파고들어 가르치는 선생님 역할
이 기사는 두 캐릭터의 대화를 받아 적은 형식입니다. 발언 맨 앞에 있는 이모지 + 이름이 화자입니다.
🐹 모찌: "AI가 90년 동안 아무도 못 풀었던 수학 초난제를 풀었다는 거야? 세기적인 발견 아니야!"
🦜 키나코: "사실 그건 좀 과장된 부분이 있어."
🐹 모찌: "에, 무슨 뜻이야? 목욕탕 수도꼭지를 열었을 때 생기는 소용돌이나, 태풍 속의 거친 공기 흐름 같은 이야기야?"
🦜 키나코: "응. 그 흐름의 움직임을 설명하는 법칙이, 어떤 조건에서 계속 똑같이 작동할지 묻는, 90년 동안 풀리지 않은 초난제가 있어."
🐹 모찌: "그걸 OpenAI가 AI 1만 개를 사용해서 해결했다는 거야?"
🦜 키나코: "OpenAI 자체는 '증명을 공유한다'고 말했지만, '해결했다'고는 하지 않았어. 수학자들 사이에서는 이의가 제기되고 있거든."
🐹 모찌: "그럼 대체 어디까지가 진짜인 거야...?"
🦜 키나코: "오늘은 그 '해결했다'라는 내용 속을, 수식 없이 함께 살펴볼게."
🐹 모찌: "아까 이야기했던 것들 말인데, 소용돌이나 난류는 그냥 물이나 공기의 움직임이잖아? 왜 그게 100만 달러짜리 초난제가 되는 거야?"
🦜 키나코: "사실 이건 제대로 이름 붙여진 문제야. '나비에-스토크스 방정식(Navier-Stokes equations)'이라는 거야."
🐹 모찌: "나비에... 뭐래? 혀를 깨물 것 같은 이름이다."
🦜 키나코: "물이나 공기 같은 '유체(流體)'의 움직임을 설명하는 법칙이야. 목욕탕 소용돌이도 태풍의 공기 흐름도 이 법칙을 따라 움직이는 거야."
🐹 모찌: "헤에, 그럼 그 법칙만 알면 소용돌이 움직임도 완벽하게 예측할 수 있다는 거네?"
🦜 키나코: "그게 그렇게 간단하지 않아."
🦜 키나코: "이 법칙을 따르는 흐름이 도중에 계산이 무너지지 않고, 계속 부드럽게 유지되는가 하는 문제야."
🦜 키나코: "그 자체가 사실 아직 수학적으로 증명되지 않은 거야."
🐹 모찌: "에? 그렇게 기본적인 게 아직 안 알려진 거야? 물도 공기도 아주 오래전부터 사용되어 왔는데."
🦜 키나코: "그래. 2000년에 클레이 수학 연구소(Clay Mathematics Institute)라는 곳에서, 수학의 미해결 문제 중 특히 중요한 7가지를 선정했어."
🦜 키나코: "문제당 100만 달러의 상금을 걸었지."
🦜 키나코: "나비에-스토크스 방정식이 그중 하나인데, 벌써 약 90년 동안 미해결 상태인 거야."
🐹 모찌: "애초에 왜 수학 문제에 상금 같은 걸 거는 거야?"
🦜 키나코: "획기적인 발견을 독려하거나, 전 세계 수학자들의 시선을 난제 쪽으로 집중시키기 위해서라고 알려져 있어."
🐹 모찌: "과연, 상금은 눈길을 끄는 장치였구나."
🐹 모찌: "100만 달러면 해바라기 씨가 몇 개나 되는 거야...? 상상도 안 간다."
🦜 키나코: "참고로 같은 시기에 지정된 7문제 중, 우주의 형태와 관련된 '푸앵카레 추측(Poincaré Conjecture)'은 이미 해결됐어. 남은 6문제 안에 이 나비에-스토크스 방정식이 들어있는 거야."
🐹 모찌: "에~ 그렇게 대단한 문제들 중 하나였구나!"
🦜 키나코: "실제로 Google DeepMind도 2025년 9월 기준으로, 나비에-스토크스 방정식을 '아직 해결되지 않았다'고 블로그에 적을 정도의 집요한 문제야."
🐹 모찌: "그렇게 최근까지 '아직'이라고 했는데, 이번 발표가 있었구나."
🐹 모찌: "이 방정식이 완벽하게 해명되면 좋은 점 같은 거 있어?"
🦜 키나코: "맞아. 일기 예보의 정확도가 높아지거나, 비행기나 배의 설계 시뮬레이션을 더 정확하게 할 수 있을 거라고 기대하고 있어."
🦜 키나코: "다만, 그건 방정식의 이론적인 정당성이 확정된 이후의 응용 이야기일 뿐이지만 말이야."
🐹 모찌: "헤에, 소용돌이의 미스터리를 푸는 게 그런 곳까지 연결되는구나."
🐹 모찌: "즉, 목욕탕 소용돌이나 태풍 공기의 난류 뒤에, 전 세계 수학자들이 90년 동안 풀지 못한 초난제가 숨겨져 있었다는 거네."
🦜 키나코: "응. 그리고 이 초난제에 대해, 2026년 9월에 최근 큰 움직임이 있었어."
🐹 모찌: "AI 1만 개가 스스로 힘을 합쳐서 풀었다는 거야? 엄청 멋지다!"
🦜 키나코: "그 기분은 이해하지만, 사실 단정할 수 없는 부분도 있거든. 우선 발표 내용부터 순서대로 살펴볼게."
🦜 키나코: "OpenAI 내부에서 작동하는, 공개되지 않은 전용 모델을 이용한 약 1만 개 규모의 병렬 AI 에이전트가 2026년 9월 1일부터 5일까지 약 88시간 만에 결론에 도달했다고 발표했어."
🐹 모っちー: "1만 개나 있으면, 수습이 안 되는 거 아니야?"
🦜 키나코: "사실 그 부분도 아직 자세히는 알아내지 못했어. 에이전트들이 어떻게 역할을 분담하고, 어떻게 서로 검증해 나갔는지 구체적인 메커니즘은 공개되지 않았거든."
🐹 모っちー: "88시간이면, 거의 4일 가까이잖아! 자면서도 계속 생각했다는 거야!?"
🦜 키나코: "그 사이에 약 270만 개의 메시지를 주고받았고, 약 1,300억 개의 출력 토큰을 사용했다고 보도되고 있어."
🐹 모っちー: "1,300억...? 자릿수가 너무 커서 아무것도 모르겠어."
🦜 키나코: "정확한 환산은 어렵지만, 일반적인 대화 한 번이 수십 토큰이라고 한다면, 수억 회에 해당하는 규모의 주고받음과 맞먹는 크기야. 그 정도의 계산력을 사용해서 도출해낸 결론인 거지."
🦜 키나코: "그렇게 많은 양을 주고받아 핵심 결론을 낸 것이, GPT-6 Astra보다도 더 성능이 좋다고 여겨지는, 이름조차 공개되지 않은 내부 모델이었어."
🦜 키나코: "그 후 게다가, GPT-6 Astra가 17시간에 걸쳐 도출된 결론을 Lean이라는 검증 도구로 체크했대."
🐹 모っちー: "린? 그거 살 빼는 다이어트 얘기야?"
🦜 키나코: "후훗, 아니야. Lean은 증명의 한 줄 한 줄이 논리적으로 올바르게 연결되어 있는지, 마치 프로그램처럼 기계적으로 확인하는 도구야."
🐹 모っちー: "헤에, 증명 검사기가 있구나. 그럼 안심이네."
🦜 키나코: "그렇게 단순하게 안심할 수는 없어. 우선 이 1만 개라든가 88시간이라는 숫자 자체가 OpenAI 스스로가 발표한 자기 보고 수치거든."
🦜 키나코: "게다가 VentureBeat는 연구자 개인들이 아직 공개하지 않은 데이터를 사용했을 가능성도 배제할 수 없다고 보도하고 있어."
🐹 모っちー: "에, 그럼 정말 1만 개만의 힘인지조차 확실하지 않다는 거야...?"
🦜 키나코: "그런 거지. 그래도 발표와 동시에 논문 2편과 Lean 코드 일체가 GitHub에 공개된 건 사실이야."
🦜 키나코: "그 리포지토리 설명 문구 안에 더 중요한 포인트가 적혀 있었어."
🦜 키나코: "참고로, 이 리포지토리에는 외부 힘을 사용하지 않는 조건에서의 '오일러 방정식(Euler equation)'이라는 다른 공식에 대한 결과도 포함되어 있어."
🦜 키나코: "이름은 비슷하지만, 나비에-스토크스 방정식과는 별개의 거야."
🐹 모っちー: "비슷한 이름의 문제가 또 있는구나. 복잡하네."
🐹 모っちー: "중요한 포인트가 뭔데?"
🐹 모っちー: "아까 '증명을 공유한다'는 말이 확실히 신경 쓰였는데... '증명했다'면, 이미 해결되었다는 거 아니야?"
🦜 키나코: "거기가 핵심이야. 비유하자면, 선풍기로 계속 바람을 불어넣으면 소용돌이가 무너지는 것을 보여준 거야. 하지만 모두가 정말 알고 싶은 건, 선풍기를 멈춰도 자연스럽게 소용돌이가 무너지는지 여부거든."
🐹 모っちー: "선풍기 바람을 계속 분다는 거...? 무슨 말이야?"
🦜 키나코: "크레이 연구소의 문제에는 사실 네 가지 선택지가 있어."
🦜 키나코: "외부에서 힘을 계속 가하는 조건으로 해가 무너짐을 보이는 두 가지와, 외부에서 힘을 가하지 않는 자연스러운 상태로 해가 계속 매끄럽게 유지됨을 보여주는 두 가지가 있거든."
🐹 모っちー: "헤에, 외력이라는 건 즉 인위적으로 더하는 힘 같은 거야? 선풍기가 딱 그거네."
🦜 키나코: "응. 자연에 맡긴 상태가 아니라, 조건을 가한 특별한 상황을 말해."
🦜 키나코: "그리고 OpenAI의 공식 발표 자체도, 이 결과는 크레이 문제 선택지 중 외부 힘이 있는 두 가지 경우에 해당한다고 명확하게 위치 지었어."
🦜 키나코: "외부 힘이 없는 두 가지 경우는 언급하지 않았다고."
🐹 모っちー: "왜 그래! 가장 알고 싶은 부분이 그대로 건드려지지 않은 거잖아!"
🦜 키나코: "그래. 그래서 '증명했다'는 것은 맞지만, '해결했다(solved)'는 말은 과한 표현이 돼."
🦜 키나코: "OpenAI 자신도 'the proof'라고는 했지만, 'solved'라는 단어는 사용하지 않았고, 크레이 연구소의 인증도 주장하지 않았거든."
🦜 키나코: "게다가 Quanta Magazine이나 CNBC 같은 일부 미디어의 헤드라인은 OpenAI 자신의 말보다 더 강한 표현을 써서, 'AI가 해결했다'라고 쓰기도 하고."
🐹 모っちー: "헤드라인만 본 사람들은 괜히 오해하기 쉽겠네."
🐹 모찌: 하지만 외부 힘이 있냐 없냐에 따라 이야기가 그렇게 크게 달라지나요? 와류는 와류잖아요?
🦜 키나코: 실제로 이 문제를 처음 검토했던 Fefferman이라는 수학자는, 외부 힘 없이 자연스러운 상태에서 매끄러운 해가 존재하는지에야말로 공식 문제문에 명확하게 적혀 있을 의미가 있다고 했어.
🦜 키나코: 태풍 예측이나 선박 설계 같은 것들, 바깥에서 힘을 가하지 않은 자연스러운 흐름을 어디까지 신뢰할 수 있는지가 진짜 관심사거든.
🐹 모찌: 그렇군요... 날씨 예보 같은 것과 관련된 이야기네요.
🦜 키나코: 응. 그래서 이번 결과 자체가 의미가 없는 건 아니지만, 'AI가 90년간의 초난제를 완전히 해결했다'는 뉴스 헤드라인만큼 이야기가 단순하지 않다는 거야.
🐹 모찌: 그건 마치 시험에서 대상 외 문제를 풀고 '만점!'이라고 말하는 것 같은 느낌이네요.
🦜 키나코: 아주 좋은 비유야. 바로 그런 지적을 받고 있는 거거든.
🐹 모찌: 그럼 전문가들은 이걸 어떻게 보고 있을까요?
🦜 키나코: 그게 꽤 논란을 일으키고 있대.
🐹 모찌: 에? 수학자들한테 트집 잡히는 거예요!? 벌써 해결된 줄 알았는데.
🦜 키나코: 사실 Silvestre와 Martínez-Zoroa라는 수학자들이 이렇게 지적하고 있대.
🦜 키나코: '이건 외부 힘을 사용하는 정식화의 허점을 파고든 것이라, 정말 알고 싶은 외부 힘 없는 문제는 여전히 건드리지 않은 상태다'라고 말이야.
🐹 모찌: 허점요...? 아까 선풍기 이야기랑 같은 건가요?
🦜 키나코: 응, 바로 그거야. NYU의 Buckmaster도 논문 중 한쪽의 완성도에 대해 의문을 제기했다고 보도됐어.
🐹 모찌: 비판적인 의견만 가득하네요...
🦜 키나코: 참고로, AI가 수학 난제에 도전하는 것 자체가 이번이 처음은 아니야. 아까 나왔던 Google DeepMind 같은 곳들도 그랬고.
🦜 키나코: 작년에는 흐름이 갑자기 불안정해져서 망가지는 '특이점(Singularity)'이라는 부분을 새로 발견했다고 발표했었거든. 하지만 그건 수치 계산에 의한 후보일 뿐, 엄밀한 증명은 아니었어.
🐹 모찌: 아, AI가 수학에 도전하는 흐름이 다른 것도 있었군요.
🦜 키나코: 응. 게다가 이 문제를 주최하는 Clay 수학 연구소도 가만히 있는 게 아니라, 2026년 9월 11일 자로 성명을 발표했어.
🐹 모찌: 뭐라고 했나요?
🦜 키나코: '결론이 난 것처럼 보이지만', 공적 평가에 대해서는 규정에 따라 '의도적으로 서두르지 않겠다'고 밝힌 거야.
🦜 키나코: 회장인 Bridson도 발표는 '자극적'이지만 평가는 '엄격하게' 할 것이라고 전해졌어.
🦜 키나코: Clay 연구소는 해결안의 직접적인 접수를 받지 않고, 심사지에 게재된 후 2년이 지나 수학계에서 폭넓게 수용되어야 비로소 심사를 검토한다는 규정이 있거든.
🐹 모찌: OpenAI는 그 논문을 제대로 심사지에 내고 있는 건가요?
🦜 키나코: 사실 그것도 아직 알 수 없어. 논문을 투고했는지 여부도, Clay 연구소가 이번 결과를 심사 대상으로 간주하는지 여부도 현재로서는 명확하지 않아.
🐹 모찌: 2년이나 기다려야 한다고요!? 서두르지 않는다는 건 아직 시간이 많이 걸릴 것 같네요.
🦜 키나코: 맞아. 실제로 2006년에도 다른 수학자가 같은 문제의 해결을 주장한 적이 있었는데, 나중에 중대한 결함이 발견되어 본인이 스스로 철회한 적이 있어.
🐹 모찌: 네? 한 번 '해결했다'고 했는데, 스스로 취소했다고요!?
🦜 키나코: 응. 그래서 이번에도 정말 인정받기까지는 아직 시간이 걸릴 것 같아.
🦜 키나코: 게다가 이 후에 나온 추가 논문들에 대해서도 아직 내용을 확인할 수 없어. 이 이야기는 앞으로 정보가 업데이트될 가능성이 높아.
🐹 모찌: 그렇군요, 오늘 이야기 역시 '현시점에서의 최선'이라는 거네요.
🦜 키나코: 수학계에서는 이런 시간을 들여 신중하게 검증하는 과정이야말로 결과의 신뢰를 지탱해 주는 거야.
🐹 모찌: 서두르지 않고 확인하려는 자세가 멋있네요.
🐹 모찌: 그런데 아까 'Lean으로 검증했다'고 했잖아요. 컴퓨터가 OK라고 했다면, 이미 완벽하게 맞는 거 아닌가요?
🦜 키나코: 사실 그렇게 단언할 수는 없어. Lean이 보장하는 건 '논리적 연결이 올바른지'일 뿐이고, '문제문의 해석이 맞는지'는 별개의 문제거든.
🐹 모찌: 논리적 연결...과 문제문 해석...? 뭐가 다른가요?
🦜 키나코: "Lean의 커널이 증명을 수리했다는 것은, 정리(Theorem)의 문장이 올바르게 구성되었고, 거기서부터 논리적으로 결론이 도출되었다는 것만 보장해 주는 거야."
🦜 키나코: "하지만 그 정리의 문장이 클레이 연구소에서 정말 듣고 싶어 했던 문제의 의미와 일치하는지까지는 체크해주진 않아."
🐹 모っちー: "즉, 컴퓨터는 '계산이 맞는지'는 확인할 수 있어도, '질문받은 것에 답하고 있는지'까지는 알 수 없다는 거야?"
🦜 키나코: "맞아. 실제로 다른 제3자에 의한 형식화 프로젝트를 봐도, 이 문제는 아직 '미해결(Unsolved)' 상태이고, 이번 OpenAI의 결과에 대한 언급도 없어."
🐹 모っちー: "어, 그 제3자의 목록에는 아직 안 올라온 거야?"
🦜 키나코: "응. Lean을 사용하고 있는 다른 라이브러리(Mathlib)가 맞는지도 결국 인간이 신뢰해서 확인한다는 전제 위에 서 있는 거거든."
🦜 키나코: "그러니까 'AI와 컴퓨터가 OK라고 했다'만으로는 아직 부족한 거야."
🐹 모っちー: "증명 속에, 대충 넘긴 부분... 아니, 증명하지 못한 부분이 숨겨져 있거나 하진 않을까?"
🦜 키나코: "사실 그 부분도 현재 시점에서는 제3자가 확인하지 못하고 있는 거야."
🦜 키나코: "증명 속에 '여기는 나중에 채워 넣을게'라는 미완성 표시(sorry라고 불리는 것)가 남아있지 않은지 말이야."
🦜 키나코: "그것도 아직 검증되지 않았어."
🐹 모っちー: "에잉... 거기도 아직 확인이 안 된 거야?"
🦜 키나코: "그래서 지금 시점에서 할 수 있는 이야기는 여기까지야."
🦜 키나코: "오해하지 말아 줘. 이게 AI의 수학적인 힘 자체를 부정하는 이야기는 아니야. 다만, 제목에 쓰인 단어와 실제로 증명된 범위 사이에는 항상 거리가 있다는 거야."
🐹 모っちー: "그렇구나. '대단하다'와 '완벽하게 해결했다'는 별개라는 거네."
🦜 키나코: "오늘 이야기를 세 가지로 정리하면 이렇게 돼."
🦜 키나코: "첫째, OpenAI가 보여준 건 외력이 가정한 제한적인 조건에서의 증명이야."
🦜 키나코: "둘째, 학계에서 가장 알고 싶어 하는 외력 없는 문제는 아직 미해결 상태야."
🦜 키나코: "셋째, 수학자들 사이에서도 이견이 있어서, 클레이 연구소의 공식 인증까지는 시간이 걸릴 것 같아."
🦜 키나코: "즉, '대단한 한 걸음'이긴 하지만, '골인(Goal)'은 아니라는 거야."
🐹 모っちー: "마치 회전목마를 전력으로 돌리고 있는 느낌이라서, 아직 골라인에는 도착 못 했다는 거구나!"
🐹 모っちー: "그래서 이걸로 100만 달러의 상금은 벌써 누가 가져간 거야? 돈 버는 사람이 있나?"
🦜 키나코: "아쉽게도, 아무도 아직 받지 않았어. 심사에 시간이 걸리거든."
🐹 모っちー: "AI가 1만 마리나 모여서, 90년 동안의 초난제 일부를 개척한 건, 그것 자체로 대단하다는 거네."
🦜 키나코: "이런 발표들을 볼 때마다, '결국 어디까지가 진실일까?' 하고 냉정하게 보는 시각이 앞으로 더욱 중요해질 것 같아."
🦜 키나코: "참고로 나도 오늘 같은 방송의 시청 시간이나 구독자 수 증가분은 나중에 제대로 체크할 거니까."
🐹 모っちー: "역시, 빈틈없네."
🦜 키나코: "사실 AI가 수학 미해결 문제에 도전한 사례는 다른 것도 있고, 아까의 Google DeepMind도 비슷한 연구를 하고 있지만, 그건 또 다른 영상에서 자세히 보고 싶다."
🐹 모っちー: "오, 그거 궁금하다."
🦜 키나코: "오늘부터 하나만 시도한다면, 관심 있는 AI 뉴스 제목을 봤을 때, 우선 공식 발표 원문을 검색해서 '실제로 뭐라고 쓰여 있는지'를 딱 한 번 확인해 보는 거야."
🐹 모っちー: "어? 검색만 하면 돼? 그럼 지금 당장 할 수 있잖아!"
🐹 모っちー: "다음부터 AI 수학 뉴스를 보면, 무조건 1차 정보를 확인할게!"
🦜 키나코: "그 기세야!"
🐹 모っちー: "오늘의 '증명했다'와 '해결했다'의 차이점을 저장판으로 만들어둬야겠다!"
🦜 키나코: "이 이야기는 사실 수학자들 사이에서도 아직 논의가 계속되고 있는 부분이야. 다들 어떻게 생각할까?"
🦜 키나코: "오늘 리서치 때문에, 주인님의 태블릿 배터리를 꽤 많이 써버렸네... 들키지 않았으면 좋겠다."
🐹 모っちー: "어, 현관문 소리 난 것 같은데!"
🦜 키나코: "그래서 오늘은 여기까지야!"
키나코모っちー의 테크 깊이 파헤치기 에서는 AI/LLM을 중심으로 한 테크 전반을 햄스터(🐹 모っちー)와 세키개비앵무새(🦜 키나코)의 대화로 재미있게 해설하고 있습니다.
▶️ 영상으로 보기 → "AI가 90년 만의 초난제를 풀었다"는 과장일까? | OpenAI 나비에-스토크스 발표 검증
👍 이 글이 도움이 되었다면 LGTM(Like Great Man)을 누르거나 저장해 주시면 큰 힘이 됩니다!
📺 채널 구독은 여기 → 키나코 못치ー의 테크 심층 분석
🔗 다른 해설 영상도 보기 → 키나코 못치ー의 테크 심층 분석 영상 목록
