오픈AI가 90년 넘게 미해결로 남은 나비에-스토크스 방정식 문제의 해법을 찾았다고 밝혔습니다.
유체의 움직임을 설명하는 이 문제는 항공기 설계와 일기예보, 혈류 연구에도 연결되는 밀레니엄 수학 문제입니다.
다만 회사의 발표와 수학계의 공식 인정은 같은 일이 아니며, 현재 확인할 핵심은 증명의 공개 검증입니다.
3줄 요약
1. 오픈AI는 난제 해법을 찾았다고 주장했습니다.
2. 약 1만 개 에이전트가 88시간 투입됐습니다.
3. 공식 검증 전에는 해결로 단정할 수 없습니다.
90년간 남은 질문은 무엇이었나
나비에-스토크스 방정식은 물과 공기처럼 흐르는 유체가 어느 방향으로, 어느 속도로 움직이는지를 설명합니다. 이번에 거론된 것은 3차원 유체에서 해가 시간이 지나도 항상 매끄럽게 유지되는지, 또는 특정 순간에 속도가 무한대로 치솟는 특이점이 생길 수 있는지를 증명하는 문제입니다.
이 문제는 클레이 수학연구소가 선정한 7개 밀레니엄 수학 문제 중 하나이며, 해결자에게 100만달러의 상금이 걸려 있습니다. 어려운 방정식 자체보다도 “모든 경우에 성립하는가”를 논리적으로 증명해야 한다는 점이 핵심입니다.
오픈AI가 발표한 것은 해법 도출입니다
오픈AI는 9월 8일 현지시간 기준으로 약 1만 개의 AI 에이전트를 투입해 88시간 동안 여러 증명 경로를 탐색했고, 유한한 시간 안에 특이점이 발생할 수 있음을 보이는 해법에 도달했다고 밝혔습니다. BBC 보도에 따르면 이 과정에서 약 300만 건의 메시지와 1,300억 개의 출력 토큰이 사용됐습니다.
회사가 말한 성과는 난제를 완전히 해결했다는 최종 판정이 아니라, 내부 연구 과정에서 특정 증명 명제들에 대한 해법을 찾았다는 발표입니다. 오픈AI도 이번 결과로 밀레니엄 문제 상을 주장할 생각은 없다고 밝혔습니다. 발표의 무게는 크지만, 수학에서 해법은 제시되는 순간보다 다른 연구자들이 논리를 검토하고 오류 여부를 가리는 과정에서 확정됩니다.
클레이 수학연구소의 인정은 아직 없습니다
BBC는 오픈AI의 풀이가 별도 검증을 거치지 않았고, 클레이 수학연구소의 공식 인정도 받지 않았다고 전했습니다. 회사가 도달했다고 밝힌 결과 역시 연구소가 요구한 네 가지 증명 명제 가운데 두 가지에 관한 것입니다.
발표 시점과 연구 경로를 둘러싼 문제 제기도 나왔습니다. 뉴욕대학교의 트리스탄 벅마스터 교수는 자신과 앤트로픽 소속 수학자가 같은 문제를 연구해 왔다며 연구 정보가 오픈AI에 전달됐을 가능성을 제기했습니다. 오픈AI는 두 사람의 공개 전에는 연구 결과를 보지 않았고 사용자 데이터에 접근하지 않았다고 반박했습니다. 양측 주장이 엇갈리는 사안인 만큼, 이 부분도 독립적인 확인이 필요합니다.
이번 소식에서 가장 중요한 구분은 빠른 계산과 증명의 확정입니다. 수학 난제의 해법은 발표 속도나 투입 규모만으로 평가되지 않으며, 공개된 논리가 학계의 검토를 견뎌야 비로소 결과가 됩니다.