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

90년 가까이 수학계가 풀지 못했던 난제를 인공지능(AI)이 풀었다는 주장이 나왔다. 오픈AI(OpenAI)가 지난 8일(현지시간), 1만 개에 달하는 AI 에이전트를 동시에 가동해 나비에-스토크스(Navier-Stokes) 존재성과 매끄러움 문제​의 해법을 도출하고, 이를 수학적 증명과 정형화된 검증 언어인 린(Lean) 형식화로 공개했다.나비에-스토크스 문제는 물과 공기 같은 유체의 움직임을 설명하는 방정식이 언제나 안정적인 해를 갖는지, 아니면 특정 조건에서 유체의 속도 등이 유한 시간 안에 무한대로 발산하는 특이점이 발생할

인공지능신문 · 2026. 09. 10. 오후 10:15