수학자들이 OpenAI가 나비에-스토크스 방정식 연구 결과를 선점했다고 비난했습니다.

목차

• 핵심 요점:
• OpenAI 나비에-스토크스 증명 상세 정보
• 트리스탄 버크마스터, 신용 문제에 이의 제기
• 클레이 연구소, 판결 보류

오픈아이얼은 공개되지 않은 모델이 수학 분야의 밀레니엄상 문제 7개 중 하나를 88시간 만에 해결했다고 밝혔으며, 이에 수학자들은 오픈아이얼이 미발표 연구 결과를 선점했다고 비난하고 있습니다.

핵심 요점:

• 오픈아이얼은 약 1만 개의 AI 에이전트가 유체 방정식이 유한한 시간 내에 무너질 수 있다는 증거를 제시했다고 밝혔습니다.
• 뉴욕대 교수는 해당 회사가 자신의 미발표 연구 결과를 접한 후에야 작업에 착수했다고 밝혔습니다.
• 클레이 수학 연구소는 해당 증명을 받아들이지 않았으며, 여전히 이 문제를 미해결 문제로 분류하고 있습니다.

OpenAI 나비에-스토크스 증명 상세 정보

이 회사는 9월 8일에 발표한 결과에서, 공개되지 않은 내부 시스템을 통해 유체의 움직임을 설명하는 나비에-스토크스 방정식이 유한한 시간 내에 성립하지 않을 수 있음을 입증했다고 밝혔습니다.

약 1만 개의 자율 에이전트가 병렬로 문제를 실행하여 88시간 만에 결론에 도달했습니다. 그 결과물인 논문은 160페이지가 넘습니다.

그 노력은 9월 1일, 두 개의 밀레니엄 문제가 다른 연구원들에게 넘어갔다는 소문이 오픈AI에 전해진 후 시작되었습니다. GPT-6 아스트라는 이후 17시간 동안 린(Lean)이라는 언어를 사용하여 각 논리적 단계를 검증하는 증명을 공식화했으며, 경영진은 이 작업에 수백만 달러가 소요되었다고 추산했습니다.

트리스탄 버크마스터, 신용 문제에 이의 제기

뉴욕대학교 수학 교수인 트리스탄 버크마스터는 오픈AI가 자신의 미발표 연구 결과가 회사에 알려진 후에야 해당 문제 해결에 착수했다고 주장했습니다. 그는 경쟁사인 앤트로픽 연구소 소속 수학자 레벤트 알포게와 거의 1년 동안 함께 연구를 진행했습니다.

두 사람은 각자 증명을 구성하는 동안 OpenAI의 Codex 어시스턴트를 활용했으며, 사용자가 거부하지 않는 한 OpenAI는 해당 세션 데이터를 학습에 사용할 수 있습니다.

두 사람은 거의 아무도 시도하지 않던 좁은 길로 문제를 해결했는데, 이 때문에 버크마스터는 그 시기가 의심스럽게 느껴졌다고 합니다. 그는 오픈AI의 수학자 세바스티앙 뷔벡이 알포게의 공로를 박탈하는 타협안을 제시한 후, 왜 자신의 경력을 망치려 하느냐고 물었다고 말했습니다.

OpenAI는 자사 연구원이나 에이전트가 발표 전에 두 사람의 연구 결과를 본 적이 없다고 부인했습니다. 또한 특정 사용자 데이터가 연구에 사용되지 않았다고 밝혔습니다. 다만, 제품 사용에서 추출한 익명화된 데이터가 모델 개선에 도움이 되었을 가능성은 인정하면서도, 두 가지 증거는 상당히 다르다고 주장했습니다.

클레이 연구소, 판결 보류

UCLA의 테렌스 타오는 벅마스터와 알포게의 연구 결과를 칭찬하면서도, 경쟁적인 AI가 수학을 실질적인 가치가 거의 없는 할당량 게임으로 전락시킬 위험이 있다고 경고했다.

런던 퀸 메리 대학교의 수학 교수인 아비셰크 사하는 이번 사건을 수학자들이 일반적으로 피하는 유형의 일이라고 설명했습니다.

클레이 수학 연구소 소장인 마틴 브리드슨은 이번 발표가 흥미롭다고 평가하면서도 검토에는 시간이 걸릴 것이라고 시사했습니다. 연구소는 여전히 이 문제를 미해결 문제로 분류하고 있습니다. 연구소는 2000년에 각각 100만 달러의 상금이 걸린 7개의 문제를 선정했는데, 그중 푸앵카레 추측만이 2003년 그리고 리 페렐만에 의해 증명되었지만 그는 상금을 거절했습니다.