OpenAI가 100만 달러짜리 수학 난제 풀었다더니... 수학계 "규정 꼼수 쓴 엉터리" 발칵

요약 OpenAI가 자체 개발한 대형 언어 모델(LLM)을 활용해 세계 7대 수학 난제 중 하나인 '나비에-스토크스 방정식(Navier-Stokes problem)'을 풀었다고 주장하며 클레이 수학연구소의 100만 달러 상금 자격을 갖췄다고 밝혀 큰 파장을 일으켰습니다. 하지만 수학계에서는 곧바로 "OpenAI가 과연 진짜 문제를 푼 것이 맞느냐"는 거센 논란이 일고 있습니다. 나비에-스토크스 난제의 핵심은 유체의 흐름 속도가 특정 지점에서 무한대가 되는 '폭주(blowup)' 현상이 발생하는지 여부인데, 대부분의 수학자들은 외력 없이 유체 자체의 고유한 성질만으로 폭주가 일어나는 근본적인 문제를 핵심으로 봅니다. 반면 OpenAI의 LLM이 찾아낸 증명은 현실에서는 절대 일어날 수 없을 만큼 극도로 인위적인 '외력(외부에서 가해지는 힘)' 조건을 적용해 억지로 방정식을 깨뜨리는 방식이었습니다. 2000년 찰스 페퍼먼이 작성한 클레이 연구소의 공식 문제 규정 중 외력을 허용하는 '옵션 C' 규정의 맹점을 찾아내 파고든 일종의 '규칙 허점(loophole) 공략'인 셈입니다. 더욱이 최근 다른 수학자 3명이 발표한 연구에 따르면, OpenAI가 사용한 인위적 외력을 제거할 경우 해당 폭주 현상은 완전히 사라지며 본래 수학계가 풀고자 했던 진짜 문제로는 결코 확장될 수 없음이 밝혀졌습니다. 또한 다른 연구진이 개발한 증명 방식을 OpenAI가 하루도 안 되어 가로채듯 완료했다는 논쟁까지 겹치며 수학계의 시선은 곱지 않은 상황입니다. 수학자들은 "규정에 적힌 상금 요건은 충족했을지 몰라도, 우리가 진짜 풀고 싶었던 문제는 여전히 미해결 상태"라며 규정 자체에 외력 허용 조항을 넣지 말았어야 했다는 반응까지 보이고 있습니다.