News

OpenAI, 나비에-스토크스 밀레니엄 문제의 AI 생성 해법과 형식 증명 공개

OpenAI가 유체의 움직임을 설명하는 나비에-스토크스 밀레니엄 문제에 대한 AI 생성 해법과 Lean 형식 증명(컴퓨터가 논리 규칙에 따라 검사하는 증명)을 공개했습니다. 클레이 수학연구소도 문제가 겉보기에는 해결된 것으로 보인다는 공식 입장을 냈지만, 상금 규정에 따른 검토는 서두르지 않고 진행하겠다고 밝혔습니다. 검증을 통과하면 AI가 최상위 수학 연구를 돕는 중요한 사례가 될 수 있습니다. 다만 컴퓨터 검사는 입력된 명제의 논리적 일관성을 확인할 뿐 의도한 수학 문제와 완전히 같은지까지 보장하지 않으므로, 전문가 검토와 공식 인정 전에는 해결 확정으로 받아들여서는 안 됩니다.

AI 개발 산업동향

출처OpenAI
원문 발행2026년 9월 8일
KAIPS 게시2026년 9월 12일

원문 보기(새 창에서 열립니다)뉴스 목록