오픈AI가 AI로 밀레니엄 난제 하나를 풀었다고 발표했어요. 100만 달러 상금이 걸린 나비에스토크스 방정식 문제예요. 근데 발표 직후 앤스로픽 연구자와 공로 다툼이 터졌어요.
화요일 아침, 오픈AI 수학팀이 꽤 폭탄급 소식을 던졌어요. 자체 개발한 미공개 모델로 돌린 AI 에이전트 1만 개가 협업해서 나비에스토크스 방정식에서 유한 시간 특이점을, 그러니까 매끄럽던 유체 흐름이 어느 순간 갑자기 무너지는 지점을 찾아냈다는 거예요. 이 문제는 클레이수학연구소가 2000년에 내건 밀레니엄 문제 7개 중 하나로, 각각 상금이 100만 달러씩 걸려 있어요. 지금까지 완전히 풀린 건 푸앵카레 추측 하나뿐인데, 이번이 두 번째가 될 수도 있는 상황인 거죠.
결과는 정리 증명 검증 언어인 Lean으로 형식 검증까지 마쳤다고 해요. 수학계가 촉각을 곤두세우는 이유가 바로 이거예요. 사람이 눈으로 훑어보고 맞는 것 같다고 판단하는 게 아니라, 기계가 논리를 한 줄씩 확인했다는 뜻이거든요. 검증만 최종적으로 통과하면 AI가 만들어낸 수학 증명 중 역대급 성과가 되는 셈이에요.
근데 문제는 여기서부터예요. 오픈AI 설명에 따르면 이 작업은 9월 1일에 시작됐는데, 계기가 좀 묘해요. NYU 수학과 교수 트리스탄 버크마스터와 앤스로픽 소속 연구자 레벤트 알푀게가 관련 문제를 풀고 있다는 소문을 듣고 착수했다는 거예요. 오픈AI는 9월 6일 증명과 Lean 검증을 끝낸 뒤 두 사람에게 공동 발표를 제안하려고 연락했는데, 알고 보니 이들이 풀던 건 나비에스토크스가 아니라 강제 오일러 방정식이라는 별개의 문제였다는 걸 뒤늦게 알았대요.
버크마스터 쪽 입장은 좀 달라요. 그는 오픈AI가 자신과 알푀게가 특정 방법론으로 관련 문제를 깨고 있다는 걸 알고 나서야 나비에스토크스 작업에 뛰어든 게 아니냐고 의심하고 있어요. 더 나아가 오픈AI가 알푀게를 저자 명단에서 빼는 조건의 발표 방식을 제안하면서, 그가 앤스로픽 직원이라는 점을 문제 삼았다는 주장까지 나왔어요. 오픈AI는 이 의혹을 거짓이고 선동적이라며 강하게 부인했고요. ⚠️
사실 확인 방식에서도 온도차가 커요. 버크마스터와 알푀게는 다공성 매질 방정식, 2차원 부시네스크 시스템, 3차원 비압축성 오일러 방정식까지 세 편의 결과를 논문으로 공개하면서 Lean 형식 증명도 같이 올렸어요. 누구나 기계로 검증해볼 수 있게 만든 거죠 ✅. 반면 오픈AI는 기자들과의 전화 브리핑으로 결과를 설명했을 뿐, 화요일 기준으로 증명 자체는 아직 공개하지 않았어요. 버크마스터는 그 증명을 본 적도 없다고 했고요.
솔직히 이 구도 자체가 좀 낯설어요. AI 랩끼리 벤치마크 점수로 싸우는 건 익숙한데, 이번엔 순수수학 증명의 우선권을 놓고 신뢰 공방이 붙은 거니까요 🔬. 결과가 진짜로 옳다면 AI가 어려운 수학 문제를 푸는 방식 자체를 바꾸는 전환점이 될 수 있다는 평가도 나와요. 다만 그 전환점의 첫 페이지가 이런 잡음으로 시작된다는 게 아이러니하죠.
앞으로 독립 검증이 이어질 텐데, 오픈AI가 실제 증명을 공개하느냐, 버크마스터·알푀게 쪽 주장이 얼마나 받아들여지느냐에 따라 이 이야기의 결말이 꽤 달라질 것 같아요.
출처