오픈AI가 약 90년 동안 미해결 상태였던 나비에-스토크스 존재성과 매끄러움 문제의 해법 후보를 공개했다. 회사 설명에 따르면 내부 차세대 모델로 구동한 AI 에이전트들이 여러 접근법을 탐색한 끝에 약 88시간 만에 증명을 완성했고, 이후 별도의 형식 검증 작업도 진행했다.
나비에-스토크스 방정식은 물과 공기 같은 유체의 움직임을 설명하는 핵심 수학식이다. 이번 증명은 매끄럽게 시작한 3차원 유체의 흐름에서도 유한한 시간 안에 특이점이 발생할 수 있다는 반례를 제시하는 방식으로 문제에 접근했다. 오픈AI는 165쪽 분량의 증명과 기계 검증 가능한 형식화 자료를 함께 공개했다.
오픈AI는 문제 해결 과정에서 다수의 AI 에이전트를 병렬로 운용해 서로 다른 아이디어를 탐색하고, 유망한 접근법을 통합했다고 밝혔다. 증명 후보를 찾는 데 약 88시간이 걸렸으며 이후 GPT-6 아스트라를 활용한 형식 검증에 추가 시간이 투입됐다.
이번 발표가 곧바로 밀레니엄 문제의 공식 해결을 뜻하는 것은 아니다. 해법의 수학적 타당성은 독립적인 전문가 검토를 거쳐야 하고, 클레이수학연구소의 공식 인정 절차도 별도로 남아 있다. 따라서 현재 단계에서는 오픈AI가 해법 후보와 증명을 공개했고 수학계의 검증이 진행되는 상황으로 보는 것이 정확하다.
검증이 이어지는 동안 이번 사례는 생성형 AI가 기존 문제 풀이를 넘어 장기간 해결되지 않은 연구 문제의 증명 탐색과 형식 검증에 활용될 수 있는지를 보여주는 시험대가 되고 있다. 동시에 최종 판단은 인간 연구자와 학계의 검증 과정에 달려 있다는 점도 분명하다.
확인한 원문
검증 원문 2건공식 1차 자료 0곳 · 신뢰 독립 원출처 2곳 · 전체 독립 원출처 2곳 · 전체 공개 신호 2건
01최초 게시
