OpenAI 나비에-스토크스 방정식 해결설, 밀레니엄 난제 증명됐나

“OpenAI가 나비에-스토크스 방정식 밀레니엄 난제를 풀었다”는 속보성 게시물이 퍼지면서, 인공지능이 수학의 대표 난제를 끝냈다는 해석이 붙고 있다. 하지만 현재까지 확인되는 범위에서 이는 공식적으로 인정된 난제 해결이 아니다. OpenAI가 강제된 나비에-스토크스 방정식이나 이와 연결된 유체역학 문제에서 의미 있는 연구 성과를 냈다는 이야기와, 밀레니엄 난제의 완전한 증명을 같은 것으로 묶은 경우가 많다.

밀레니엄 난제로 제시된 문제의 핵심은 3차원 비압축성 나비에-스토크스 방정식에서 매끄러운 초기 상태가 시간이 지나도 항상 매끄러운 해를 유지하는지, 아니면 유한한 시간 안에 특이점이 생길 수 있는지를 엄밀히 보이는 데 있다. 실제 유체에 외력을 넣는 강제 방정식은 연구상 매우 중요하지만, 외력의 조건과 해의 성질, 다루는 공간·시간 범위에 따라 원래 난제가 요구하는 결론과는 다른 문제가 된다.

온라인에서 언급되는 증명 역시 특정한 강제 항이나 제한된 조건 아래의 해석, 혹은 계산·추론 기법의 진전으로 읽히는 대목이 있다. 이런 결과가 새로운 도구를 제시하거나 기존 문제의 일부를 전진시킬 수는 있어도, 곧바로 모든 초기 조건에 대한 전역적 매끄러움 또는 특이점 존재를 판정한 증명으로 이어지지는 않는다. 바로 그 빈틈을 메우는 일이 나비에-스토크스 난제의 본체다.

수학계에서 난제 해결로 받아들여지려면 증명 전체가 공개돼 독립 연구자들의 세밀한 검토를 거쳐야 한다. 정의와 가정, 각 단계의 논리, 기존 정리의 적용 범위에 오류가 없는지가 오랜 시간 검증된 뒤에야 공식적 평가가 가능하다. 현재의 결론은 OpenAI가 관련 유체역학 연구에서 주목할 만한 성과를 냈을 가능성과 별개로, ‘밀레니엄 난제 해결’이 확정됐다고 말할 근거는 부족하다는 쪽에 가깝다.