[AI 리뷰] “AI가 90년 난제를 풀었다”…오픈AI, 나비에-스토크스 해법 공개, 다만 밀레니엄상 공식 해결은 아직

AI 요약

오픈AI가 지난 8일(현지시간) 1만 개에 달하는 AI 에이전트를 동시에 가동해 나비에-스토크스 존재성과 매끄러움 문제의 해법을 도출하고 수학적 증명과 린(Lean) 형식화로 공개했다고 주장했습니다. 오픈AI는 매끄럽게 시작한 유체가 나선형으로 안쪽으로 말려 들어가 길게 늘어나는 소용돌이(스파게티처럼 길어지는 소용돌이)를 통해 중심부가 작아지고 회전 속도가 빨라지며 특정 시점에 유체 속도가 발산하지만 전체 에너지는 유한하게 유지되는 방식으로 밀레니엄 문제 명제 C와 D에 해당하는 반례를 구성했다고 설명했습니다. 다만 이번 결과는 아직 수학계가 공식적으로 인정한 것은 아니며, 클레이 수학연구소의 규정상 적격 학술지 게재와 최소 2년의 검증 및 전 세계 수학계의 일반적 수용을 거쳐야 상금 심사 대상이 될 수 있습니다.