OpenAI가 나비에-스토크스 난제에 대한 증명을 공개하면서 "88시간"이라는 숫자가 화제가 됐습니다. 이 영상에서는 3차원 개념 애니메이션과 원문 자료를 번갈아 보면서 무엇을 증명했다는 것인지, 88시간 동안 무슨 일이 있었는지, 그리고 발표 뒤에 불거진 공로·데이터 논쟁과 Anthropic의 수학 연구 발표까지 정리했습니다. AI가 수학 연구에 어떻게 쓰이고 있는지 큰 흐름을 알고 싶은 분께 맞는 내용입니다. 아래 내용은 영상 게시 시점(2026-09-10) 기준입니다.
나비에-스토크스 난제에서 무엇을 보였나
나비에-스토크스 방정식은 물과 공기 같은 유체가 어떻게 움직이는지 설명하는 방정식입니다. 난제의 핵심은 처음에 매끄럽던 흐름이 시간이 지나도 계속 매끄럽게 유지되느냐는 질문입니다. 내일 날씨를 계산하거나 물의 움직임을 그럴듯하게 그리는 문제와는 다릅니다.
논문이 구성했다는 흐름에서는 아주 작은 영역에 빠른 움직임이 집중됩니다. 속도가 커지는 동안 그 영역은 줄어들어서, 전체 운동 에너지가 유한한 상태에서도 속도가 끝없이 커지는 상황을 수학적으로 다룹니다. 이번 결과는 바깥에서 매끄럽게 힘을 가하는 경우를 다뤘고, 영상은 이 조건도 공식 난제에 포함된 경우라고 설명했습니다. 단테는 논문 수식을 직접 다 따라가지는 않았다고 밝히고, 개념은 애니메이션으로 보여 줬습니다.
88시간 동안 일어난 일
회사 설명에 따르면 일반 채팅창 하나로 푼 것이 아닙니다. 비공개 내부 모델을 쓰는 에이전트들이 협력했고, 성공한 그룹에서는 약 1만 개가 동시에 일했다고 합니다. 여러 방향을 탐색하고 유용한 중간 결과를 다른 그룹에 전달하는 방식이었고, 연구진도 자원을 재배치하고 모델을 바꾸며 과정을 이끌었습니다.
숫자를 정확히 읽어야 합니다. 증명에 도달하기까지 88시간이 걸렸고, Lean으로 형식화하고 검증하는 데 17시간이 더 걸렸습니다. 모델 학습까지 포함한 전체 시간이 88시간이라는 뜻이 아닙니다.
공개 저장소에는 Lean으로 검사할 증명 파일도 있습니다. Lean은 증명의 논리 단계를 하나씩 확인하는 도구입니다. 다만 컴퓨터가 맞다고 해도 끝이 아닙니다. 컴퓨터에 입력한 명제가 원래 풀려던 문제와 같은지도 확인해야 합니다. 답을 잘 썼는데 시험지를 잘못 받은 것은 아닌지 보는 일입니다. 단테도 저장소를 열어 봤지만 긴 증명을 전부 검증하지는 않았다고 밝혔습니다.
100만 달러 상금도 바로 지급되지 않습니다. 클레이 연구소 규정상 적격 매체에 발표하고 최소 2년이 지나야 하며 수학계에서 널리 받아들여져야 합니다. 확인 당시 클레이 홈페이지에는 아직 미해결로 적혀 있었는데, 새 논문이 나온 것과 공식 상태가 바뀌는 것은 별개의 일입니다.
공로와 데이터를 둘러싼 논쟁
뉴욕대 수학자 트리스탄 버크마스터는 성명을 공개했습니다. 그는 Anthropic 직원 한 명과 개인적으로 공동 연구하면서 Claude와 Codex를 함께 사용했고, 두 사람은 외력이 있는 오일러 방정식 등 세 가지 결과를 공개했다고 설명합니다. 기존 수학자들의 아이디어가 출발점이었다는 설명도 있습니다.
버크마스터는 발표 협의 과정에서 공동 연구자를 저자에서 제외하자는 제안을 받았다고 주장했고, 미공개 연구를 넣었던 Codex 대화가 학습에 쓰였는지 질문했다고 밝혔습니다. OpenAI는 특정 사용자 데이터를 조회하지 않았고 두 증명도 다르다고 답했지만, 비식별 이용 데이터가 모델 개선에 기여했을 가능성은 배제하지 않았습니다. 성명 마지막에는 버크마스터 본인도 데이터가 쓰였는지는 모른다고 적었습니다.
X에서는 OpenAI 측 당사자가 기존 공동 연구에서 저자를 빼자는 것이 아니라 OpenAI 증명을 다시 쓰는 논문의 저자 구성을 논의한 것이라고 반박하며 부적절한 표현에는 사과했습니다. 샘 올트먼도 연구팀을 옹호하며 공동 발표를 원했다고 썼습니다. 영상은 양쪽 설명을 함께 보되 결론을 서두르지 말자는 입장을 취했습니다.
Anthropic의 수학 연구 발표
Anthropic도 수학 관련 결과를 공개했습니다. 8월 10일 발표는 리만 가설과 관련된 결과로, 임계선 위에 있는 영점 비율의 하한을 41.6%에서 67.2%로 높였다는 내용입니다. 리만 가설을 3분의 2쯤 풀었다는 뜻이 아니라, 특정 조건을 만족하는 영점이 적어도 그만큼 있다는 보장을 끌어올린 것입니다.
9월 4일에는 페르마의 마지막 정리를 Lean으로 옮긴 결과를 발표했고, 회사 설명으로는 11일이 걸렸습니다. 이미 알려진 증명을 컴퓨터가 단계별로 검사할 수 있는 형태로 만든 작업으로, 새로 푸는 일과는 다른 종류의 큰 작업입니다. 이 글에는 실패한 시도도 나옵니다. 에이전트들이 작업 상태를 놓치고 협업하지 못했고, 이후 정리 사이의 의존 관계를 관리하는 도구를 도입했습니다. 모델 성능만큼 작업 구조가 중요하다는 점을 보여 주는 대목입니다.
온라인 반응은 연구가 빨라지리라는 기대와 사람의 공로가 지워질 수 있다는 걱정이 섞여 있습니다. 버크마스터는 자신의 경험을 딥블루와 카스파로프의 대결에 비유했는데, OpenAI 논문을 인정했다는 뜻이 아니라 수학자가 모델과 일하는 방식이 크게 바뀌고 있다는 이야기입니다.
정리
- OpenAI 발표의 88시간은 증명 도달 시간이고, Lean 형식화·검증에 17시간이 더 걸렸습니다.
- 약 1만 개의 에이전트가 협업했고 연구진이 자원과 모델을 조정했습니다.
- Lean 검증이 있어도 형식화한 명제가 원래 문제와 같은지 따로 확인해야 하며, 클레이 상금은 발표 후 최소 2년과 학계 수용이 필요합니다.
- 공동 연구자 공로와 사용자 데이터 활용을 둘러싼 논쟁은 양쪽 주장이 엇갈리는 상태입니다.
- Anthropic은 리만 가설 관련 하한 개선과 페르마의 마지막 정리 Lean 형식화를 발표했고, 에이전트 협업 실패와 개선 과정도 공개했습니다.