클레이 수학 연구소(Clay Mathematics Institute)는 7가지 밀레니엄상 문제 중 하나인 나비에-스토크스 존재 및 부드러움 문제가 "분명히 해결됐다"는 사실을 처음으로 공개적으로 인정했습니다. 금요일 연구소 웹사이트에 발표된 성명서는 올해 가장 논란이 많은 AI 및 수학 이야기 중 하나를 연구소의 공식 상 평가 과정으로 옮기는 동시에 상이 수여되지 않았으며 승인된 증거도 없음을 똑같이 분명히 밝혔습니다.

연구소는 2026년 9월 11일 발표에서 "오늘 CMI는 나비에-스토크스 문제가 분명히 해결되었다는 발표를 숙고하면서 전 세계 수학계의 흥분에 동참하고 있습니다"라고 썼습니다. "우리는 이 작업 뒤에 숨은 혁신이 분석되고 심문되면서 새로운 인류 이해의 물결이 촉발되기를 바랍니다." 이 이야기에 대한 자세한 내용은 인공지능 뉴스를 참조하세요.

진술이 중요한 이유

연구소의 측정된 언어는 많은 작업을 수행하고 있으며 각 단어는 Hacker News에서 몇 시간 내에 분석되었으며 해당 발표는 100점 이상을 모았습니다. 성명서에서 말하지 않는 것은 그것이 하는 것만큼 중요합니다. Clay Mathematics Institute는 OpenAI의 이름을 지정하지 않고, 특정 증명이 올바른지 확인하지 않으며, 상을 수여하지 않습니다.

문맥은 구속을 설명합니다. 9월 8일, OpenAI는 나비에-스토크스(Navier-Stokes) 문제에 대한 주장된 솔루션을 발표했습니다. 내부 AI 시스템(회사에서 GPT-6 Astra 모델보다 훨씬 더 뛰어난 성능을 발휘한다고 설명함)이 린 증명 보조기에서 분석 증명과 공식 검증을 모두 생성했다고 밝혔습니다. 두 명의 학술 수학자들이 같은 날 밀접하게 관련된 논문을 발표했고, 연구원들은 누구의 작업이 기계의 결과를 알렸는지 OpenAI에 압박했기 때문에 발표는 즉각 계산에 관한 것만큼이나 신용에 관한 것이 되었습니다.

이제 연구소가 문제가 "분명히 해결됐다"고 인정하면서 분쟁은 언론 공개 탁구에서 연구소가 "고의적으로 서두르지 않았다"고 설명하는 밀레니엄상 평가 절차로 상황이 바뀌었습니다.

나비에-스토크스 문제가 묻는 것

문제는 3차원 유클리드 공간에서 나비에-스토크스 방정식(물과 공기와 같은 유체가 움직이는 방식을 설명하는 방정식)에 대한 해의 존재와 부드러움에 관한 것입니다. 이러한 방정식은 엔지니어, 기상학자 및 공기 역학자가 매일 사용하지만 수학자들은 부드럽고 물리적으로 합리적인 솔루션이 항상 3차원으로 존재하거나 특이점을 개발하기보다는 예측 가능하게 작동한다는 것을 입증한 적이 없습니다.

클레이 수학 연구소(Clay Mathematics Institute)는 2000년 파리 회의에서 밀레니엄 상 문제를 공개했으며, 리만 가설과 P 대 NP를 포함한 7개 문제 각각에 100만 달러의 상금을 수여했습니다. 금요일 성명에서 연구소는 수학의 한계가 열려 있다는 대중의 인식을 높이고 "역사적인 규모의 수학 성과"를 인정한다는 원래의 이론적 근거를 반복했습니다.

7개의 문제 중 푸앵카레 추측(Poincaré Conjecture)만이 해결되었습니다. Grigori Perelman은 2002년과 2003년에 게시한 연구에서 필즈상과 상금을 모두 거부한 것으로 유명합니다.

'고의적으로 서두르지 않는' 평가가 앞두고 있다

연구소의 발표는 다음에 일어날 일에 대한 지배적 틀로서 상금 규칙을 지적합니다. 성명서는 "상을 관리하는 규칙은 달성한 것을 평가하고 크레딧을 할당하는 프로세스를 설명합니다"라고 말합니다. "이 과정은 의도적으로 서두르지 않지만 업데이트를 제공할 것입니다."

이 표현은 수학계가 현재 공개적으로 토론하고 있는 몇 가지 질문을 열어줍니다. 검증이 첫 번째 장애물입니다. Navier-Stokes의 원활함을 증명하려면 일반적으로 전문가 위원회가 한 줄씩 확인하는 데 수개월이 걸립니다. 결과에 Lean의 기계 확인 형식화가 포함된다는 OpenAI의 주장은 원칙적으로 해당 타임라인을 극적으로 단축할 수 있습니다. 형식 검증을 통해 정확성에 대한 질문이 증명 보조자가 수용할 수 있는 수준으로 줄어들기 때문입니다. 그러나 연구소는 그러한 공식이 제출되었는지 여부, 심사위원이 누구인지, AI 시스템과 OpenAI의 제작자, 같은 주에 관련 논문이 게재된 학술 수학자 사이에 신용이 어떻게 배분될지는 밝히지 않았습니다.

성명서는 또한 AI 시스템에 상당 부분 기여한 솔루션이 연구소 창립 언어로 인간의 수학적 성취를 인정하기 위해 의도된 상을 받을 자격이 있는지 여부를 다루지 않습니다. 이는 상의 26년 역사에서 전례가 없는 질문입니다.

발표 뒤의 긴장감

이번 발표는 AI와 수학이 교차하는 매우 민감한 순간에 이루어졌습니다. 금요일에 테렌스 타오(Terence Tao)를 포함한 25명의 필즈 메달리스트 그룹은 수학적 벤치마크에서 AI 시스템을 선보이려는 경쟁이 과학과 이를 유지하는 커뮤니티 모두에 피해를 주고 있다고 경고하는 공식 선언문을 발표했습니다. 이전에 AI Buzz Wire에서 보고한 바와 같이 이 성명서는 하루 만에 1,300명 이상의 추가 지지자를 모았습니다.

두 문서는 거의 서로에 대한 답변으로 읽혀집니다. 수학자들의 선언은 깊은 문제를 벤치마크 트로피로 취급하는 것에 대해 경고합니다. 연구소의 발표는 결과를 수용하면서 "이 작업 뒤에 있는 혁신이 분석되고 심문됨에 따라 새로운 인간 이해의 물결이 촉발되는" 것을 보기를 희망하면서 승리보다는 이해를 중심으로 하는 순간을 명시적으로 구성합니다.

주변 분야에 대한 연구소 자체 설명에서도 이러한 변화를 인정합니다. "수학 연구를 가속화하는 새로운 기술의 능력이 증가함에 따라 이러한 기대감이 높아졌습니다."라고 성명서는 인접 분야의 최근 혁신(일부는 Clay Research Award에서 인정함)을 인정하면서 Navier-Stokes가 곧 몰락할 수 있다는 희망을 불러일으켰습니다.

다음에 나올 내용

현재로서는 실질적인 시사점은 좁지만 현실적입니다. 문제를 소유한 연구소는 문제가 명백히 해결되었다고 기록했으며 평가가 진행됨에 따라 공개 업데이트를 약속했습니다. 만약 그 작업이 정밀 조사에서 살아남는다면 그것은 20년 만에 처음으로 해결된 두 번째 밀레니엄 문제가 될 것이며 부분적으로 AI 시스템에 의한 역사상 최초의 문제가 될 것입니다. 이는 수학 기관이 다음 주장을 처리하는 방법을 결정하게 될 구별입니다.

연구소는 인내심을 요청했다. 프로세스가 의도적으로 서두르지 않도록 설계되었다는 점을 감안할 때 증거, 신용 및 이를 생성한 기계의 역할에 대한 커뮤니티의 질문은 뉴스 사이클이 아닌 연구소의 타임라인에 따라 답변될 것입니다.

---

AI 최신 소식

최신 AI 뉴스, 분석 및 혁신을 한 곳에서 확인하세요.

AI 뉴스 더 보기 →