[연구]AI로 푼 나비에-스토크스 밀레니엄 난제 풀이 공개

무슨 일이야

수학 분야의 대표적 미해결 과제로 꼽히는 나비에-스토크스 밀레니엄 문제(Navier–Stokes Millennium Prize Problem)에 대해 AI가 생성한 풀이가 공개되었습니다.

이번에 공개된 자료에는 풀이 과정을 설명한 문서(writeup)뿐만 아니라, 컴퓨터로 증명을 검증할 수 있는 형식 증명 언어인 Lean으로 작성된 정식 증명 코드가 포함되어 있습니다.

왜 중요해

밀레니엄 문제는 수많은 수학자와 과학자들이 수십 년간 매달려 온 극한의 난제입니다. 이러한 고난도 순수 수학 난제를 AI가 직접 풀어내고 Lean 형식 증명까지 제시한 것이 사실이라면, AI를 활용한 기초 과학 및 수학 연구의 패러다임이 크게 바뀔 수 있습니다.

짚고 넘어갈 점

아직 해당 풀이가 수학계의 엄밀한 동료 평가를 통과했는지, 그리고 Lean 증명에 논리적 결함이나 공백이 없는지는 확인되지 않았습니다. 워낙 거대한 난제인 만큼 커뮤니티와 학계의 검증 과정을 지켜볼 필요가 있어 보입니다.

참고: OpenAI