수학의 난제 나비에-스토크스 문제, 해결의 가능성

Clay Mathematics Institute는 '나비에-스토크스 방정식의 존재성과 매끄러움'의 문제가 '명백히 해결되었다'고 발표했다. 현재 정식적인 심사 절차가 진행 중이며, 연구소가 증명의 검증에 힘쓰고 있다.

이 문제는 Clay Mathematics Institute가 2000년에 선정한 '밀레니엄 상금 문제'의 하나다. 같은 연구소는 수학상의 미해결 문제 중 7개의 난제를 선정하여 각각 100만 달러(약 1억 5000만 엔)의 상금을 책정했다. 지금까지 해결된 것은 그 중 1개뿐이며, 나비에-스토크스 문제는 지난 20년 이상 미해결 상태로 남아 있었다.

나비에-스토크스 방정식은 유체(액체나 기체)의 움직임을 수학적으로 기술하기 위한 방정식이다. 기상 예보, 항공기 설계, 해류 예측 등 현실의 많은 장면에서 응용되고 있는 한편, 그 해가 항상 '매끄럽게' 존재하는지 여부——즉, 수학적으로 모순 없이 정의될 수 있는지 여부——는 오랫동안 증명되지 않아 왔다. 이 점을 증명하는 것이 상금 문제의 핵심에 있다.

Clay Mathematics Institute가 '명백히 해결되었다'고 표현한 것은 중요하다. 다만 정식적인 심사가 아직 완료되지 않은 점에 주의가 필요하며, 현 시점에서는 '해결의 가능성이 높은' 단계에 머물러 있다. 수학의 세계에서는 제출된 증명이 나중에 오류로 판명되는 일도 드물지 않으며, 심사의 완료로써 처음 정식적인 해결이라 간주된다.

밀레니엄 상금 문제 중 지금까지 해결된 것은 '푸앵카레 추측'뿐이며, 러시아의 수학자 그리고리 페렐만이 2003년에 증명을 발표했다. 페렐만은 상금의 수령을 거절한 것으로도 알려져 있다. 나비에-스토크스 문제가 정식으로 해결되면, 사반세기 만의 2번째 쾌거가 된다.

수학의 미해결 문제에 대한 관심은 근래 AI 분야와도 교차하고 있다. 기계학습을 이용한 수학적 추론 연구가 진행되고 있으며, AI가 복잡한 증명의 발견과 검증을 보조하는 사례가 늘어나고 있다. 이번 증명이 어떤 과정을 통해 나타났는지는 현 시점에서 명확하지 않지만, 수학과 AI의 접점이 확대되는 시대의 사건으로서 그 배경에도 주목이 집중되고 있다.

정식적인 심사의 결과가 공표되면, 100만 달러의 상금 지급이나 수학계 전체에 대한 영향 등 다양한 움직임으로 이어질 가능성이 있다. 앞으로는 Clay Mathematics Institute가 심사를 언제 완료할 것인지, 그리고 증명의 내용이 어떻게 평가될 것인지가 초점이 된다.