오픈AI가 2026년 9월 8일 100만달러(약 13억8000만원) 상금이 걸린 밀레니엄 난제 가운데 나비에-스톡스 방정식을 AI로 풀었다고 발표했습니다. 수학 연구 방식 전반의 변화를 두고 수학계 안팎에서 논쟁이 이어지고 있습니다.
오픈AI에 따르면 이번 성과는 회사가 공개한 논문과 증명 보조 도구 리안(Lean) 저장소로 제시됐습니다. 클레이 수학연구소는 밀레니엄 문제의 정식 인정 여부를 별도 심사 절차로 결정하며, 아직 판정이 내려지지 않았습니다. 발표문은 해당 증명이 유체 역학 전 분야를 아우르는 완전한 해법으로 이어지는지에 대해서도 단정을 유보했습니다.

출처: 조사 출처
사이언티픽 아메리칸은 수학 분야의 노벨상으로 불리는 필즈상 수상자 25명이 자신들의 학문에 대한 AI 침투를 우려하는 입장을 밝혔다고 전했습니다. 반대편에서는 증명 보조 도구가 인간 검증의 부담을 줄였다는 평가도 나왔습니다. 뉴시스와 한겨레 등 국내 매체들은 이번 발표가 수학 연구 방식의 전환점이 될 수 있는지를 쟁점으로 다뤘습니다.
퀀타 매거진은 이번 결과가 하나의 밀레니엄 문제에 해당하는지 판단하기 전에 심사와 재현이 필요하다고 지적했습니다. CNN은 9월 9일 보도에서 오픈AI의 발표가 상금 수여로 직결되는 것은 아니라고 전했습니다. 리트랙션 워치가 따라가는 학술 검증 논쟁과 별개로, 논문 원문 PDF와 리안 저장소 전체는 아직 공개 범위가 확인되지 않았습니다.
난제 하나의 해법이 곧 연구 문화 전체의 격변이라는 통념은, 상금 심사가 진행 중이라는 점과 수상자들의 우려가 사후 반응이라는 점에서 어긋납니다. 클레이 연구소의 심사 결과와 논문의 독립 검증 결과는 앞으로 몇 개월의 관측이 더 필요합니다. 다만 AI가 증명 도구로 수학 연구에 들어오기 시작한 흐름 자체는 대체로 사실입니다.