🌪️ OpenAI, 90년 된 수학 난제를 AI로 풀었다?

나비에–스토크스 방정식은 물·공기·연기 같은 유체의 움직임을 계산하는 공식임. 하지만 잔잔하게 시작한 유체가 항상 정상적으로 움직이는지, 아니면 어느 순간 소용돌이가 무한히 빨라져 공식이 깨질 수 있는지는 오랫동안 증명되지 않았음.

OpenAI는 약 1만 개 AI 에이전트를 투입해, 정상적인 힘만 가했는데도 소용돌이가 점점 가늘고 빨라져 결국 계산이 무너지는 사례를 찾았다고 발표함. 풀이에는 약 88시간, 별도의 Lean 형식 검증에는 17시간이 걸렸음.

다만 아직 수학계와 공식 기관의 독립 검증을 받기 전임. 따라서 “100만 달러짜리 난제가 완전히 해결됐다”기보다는, GPT‑6보다 강력한 차세대 AI가 유력한 증명과 컴퓨터 검증 자료까지 만들었다는 점이 핵심임.