수학자 트리스탄 벅마스터는 OpenAI가 자신의 연구를 활용해 100만 달러 현상금이 걸린 나비에-스토크스 문제를 먼저 풀었다고 주장하면서도, 여전히 OpenAI의 모델을 연구에 사용하고 있다. 수학자들은 자신의 업적이 AI에 귀속되지 않는 문제를 지적하지만, AI가 너무 유용해서 사용을 중단할 수 없다는 딜레마에 빠졌다. 이는 학문 연구에서 공로 인정과 검증 가능성이라는 전통적 표준이 AI로 인해 무너지고 있음을 보여준다.
클레이 수학연구소(CMI)가 100만 달러 상금이 걸린 7대 밀레니엄 난제 중 하나인 나비에-스토크스 문제가 '사실상 해결된 것으로 보인다'고 공식 입장을 밝혔으며, 현재 해법 검토가 진행 중이다. AI 기술이 수학 연구를 가속화하는 데 대한 기대감이 높아지는 가운데, 수학자 트리스탄 벅마스터가 OpenAI가 자신의 연구 유출 정보와 초안을 활용해 문제에 접근했다고 주장하며 저자권 분쟁이 함께 불거졌다.
필즈 메달 수상자 25명이 '수학 분야 AI의 심각한 정렬 오류'라는 성명을 발표하며 AI 기업의 목표가 수학 공동체의 목표와 심각하게 어긋난다고 비판했다. 그러나 저자는 수학 공동체 자체도 '개념적 이해와 통찰'이라는 목표와 정렬되어 있지 않다고 반박하며, 나비에-스토크스 문제와 관련된 유능한 수학자들이 역사적으로 어떻게 학계로부터 보호받지 못했는지를 사례로 든다.
OpenAI가 유체역학의 나비에-스토크스 방정식 관련 오랜 난제를 해결한 증명을 발표하며, 기존의 사람이 읽는 증명과 함께 기계 검증이 가능한 Lean 4 형식 증명도 함께 공개했습니다. 과거 학부 교과서 한 페이지를 형식화하는 데 약 40시간이 걸리던 것과 비교하면, OpenAI가 166페이지 논문의 증명을 17시간 만에 검증한 것은 비용을 4자리수(만 배) 수준으로 줄인 혁명적 변화입니다. 형식 검증은 수학뿐 아니라 보안 정책, 스마트 컨트랙트, 미션 크리티컬 알고리즘 검증에도 적용될 수 있습니다.
수학 밀레니엄 문제인 나비에-스토크스 방정식과 관련해 연구자 트리스탄 벅마스터는 OpenAI가 자신의 초안을 활용했고, 공동 저자 레벤트 알페이게(Anthropic 소속)를 저자에서 배제하려 했다고 주장했습니다. Sam Altman과 Sébastien Bubeck은 표절 의혹을 부인하면서도, Anthropic 모델이 문제를 풀었다는 소문을 듣고 자체 모델을 학습시켰음을 인정했습니다. 이 사건은 테렌스 타오가 경고했듯, 대형 테크 기업이 소문만으로 막대한 자원을 동원해 원 연구를 추월할 수 있다는 개방 과학의 근본적 문제를 제기합니다.
OpenAI가 밀레니엄 문제 중 하나인 나비에-스토크스 문제를 AI로 해결했다고 발표했으나, NYU 수학자 트리스탄 벅마스터와 앤스로픽 직원 레벤트 알푀게의 선행 연구를 출처 표기 없이 활용했다는 논란에 휩싸였다. 이 사건은 최전선 AI 기업만이 보유한 자원으로 주요 수학 문제가 해결되는 시대의 전환점이 될 수 있으며, 인간 수학자의 역할에 대한 근본적 질문을 던진다.
NYU의 트리스탄 벅마스터(Tristan Buckmaster) 교수는 앤스로픽(Anthropic) 소속 수학자 레벤트 알퍼지(Levent Alpöge)와 협업해 나비에-스토크스 문제 관련 세 가지 증명을 발표했습니다. 그런데 연구 진행 정보가 OpenAI에 새어나간 뒤 OpenAI가 막대한 컴퓨팅 자원을 동원해 같은 접근법으로 경쟁 증명을 시도했다는 논란이 불거졌습니다. OpenAI의 세바스티앙 부벡(Sébastian Bubeck)은 이 주장을 부인했으나, 밀레니엄 상금 문제를 둘러싼 AI 활용 연구의 윤리와 공정성 문제가 핵심 쟁점이 되었습니다.