Navier-Stokes 증명 논란 OpenAI 및 경쟁 수학자들 공로 분쟁

OpenAI는 자사의 내부 AI 모델이 나비에-스토크스 밀레니엄 문제를 해결했다고 밝혔으며, 이는 방정식이 폭발하여 무한 속도를 생성할 수 있음을 증명하는 것입니다. 이 문제는 클레이 수학 연구소에서 지정한 7개의 밀레니엄 문제 중 하나로, 100 만 달러의 상금이 걸려 있습니다. OpenAI는 이 결과를 도출하는 데 약 88시간의 계산과 대략 10,000개의 AI 에이전트의 조정이 필요했다고 말했습니다. 경쟁 수학자 트리스탄 벅마스터와 레벤트 알프외게는 유사한 폭발 솔루션을 위해 AI와 함께 거의 1년을 보냈으며, 8월 22일까지 해결책에 도달했다고 보고했습니다.

OpenAI는 내부 AI 모델이 나비에-스토크스 밀레니엄 문제에 대해 방정식이 폭발하여 무한 속도에 도달할 수 있음을 입증하는 정식 증명을 생산했다고 밝혔습니다. 이 회사는 이 모델이 강제 나비에-스토크스 경우에 대한 약 100페이지 분량의 증명을 생성했으며, 그러한 설정 내에서 폭발을 확립하는 완전한 정식 인수로서 해당 자료를 제시했습니다. OpenAI는 나비에-스토크스 문제가 7개의 밀레니엄 문제 중 하나이며 클레이 수학 연구소에서 100 만 달러의 상금을 지급한다고 언급했습니다.

OpenAI는 계산 작업이 약 88시간 동안 지속되었으며, 약 10,000개의 조정된 AI 에이전트가 이미지를 찾고 주장을 구성하기 위해 조정된 캠페인에서 작업을 수행했다고 밝혔습니다. 이 회사는 이러한 에이전트가 작업의 다른 부분을 처리하도록 조직되었다고 말했습니다. OpenAI는 결과론적 주장이 Lean 증명 보조 도구를 사용하여 단계별로 확인되었다고 밝혔습니다.

트리스탄 벅마스터와 레벤트 알프외게는 나비에-스토크스 방정식에서 유체 폭발을 증명하기 위해 AI 모델을 사용하여 거의 1년을 보냈습니다. 그들의 작업은 8월 22일에 도달한 해결책으로 귀결되었다고 합니다. 벅마스터는 9월 3일에 OpenAI의 한 수학자에게 이 프로젝트에 대해 알렸다고 말합니다. 이 통지는 앤트로픽이 관련된 주요 문제를 해결했다는 소문이 돌고 있음에 따라 이루어졌으며, 이로 인해 타이밍에 대한 관심이 높아졌습니다.

그들의 설명은 AI 지원 연구의 연대기를 요약하며, 이후 OpenAI 수학자와의 연락을 포함합니다. 벅마스터와 알프외게는 이러한 날짜와 상호작용이 그들의 우선권 주장에 중심적이라고 제시합니다. 이 순서는 문제에 대한 보고서에서 설명된 저자권 및 신용에 대한 논쟁의 기초를 이룹니다.

OpenAI는 트리스탄 벅마스터에게 두 가지 출판 옵션을 제공했다고 벅마스터는 말합니다: 그의 팀 다음 날 출판하거나, 레벤트 알프외게가 경쟁 연구소에서 일하고 있기 때문에 벅마스터가 혼자 출판하는 것입니다. 벅마스터는 레벤트 알프외게가 인정된 논문을 출판했지만, OpenAI는 두 연구자 모두를 인정하지 않았습니다. 이러한 제안과 출판 선택의 순서는 벅마스터가 저자권 분쟁의 중심이라고 설명합니다.

OpenAI와 샘 알트먼은 벅마스터의 상호작용 설명에 대해 부인합니다. 세바스티앙 뷔벡은 나중에 알프외게와의 조정된 발표를 제안하고 OpenAI 프롬프트를 제공하는 메시지를 게시했습니다. 뷔벡은 “레벤트를 그의 작업의 저자에서 제거해 달라고 요청한 적이 없다”고 밝혔습니다. 벅마스터는 “당신이 경력을 망치는 이유는 무엇인가요?”라는 질문과 “우리가 최선의 의도로 임했다고 메시지에서 명확히 드러나길 바랍니다”라는 발언을 통해 저자권 제거에 대한 우려를 표현했습니다.

출판 옵션, 저자권 및 공로에 대한 논의가 논쟁의 핵심을 형성합니다. 관련 당사자들은 사건에 대해 부인과 공개 메시지를 발신했습니다.

Navier-Stokes 증명에 대한 논쟁은 진행 중이며, 누가 공로를 인정받아야 하는지에 대한 상반된 주장과 저자 결정 및 출판 선택에 대한 이견이 중심입니다. 관련 당사자들은 상이한 설명과 부인을 발표하였으며, 공로와 저자에 대한 이견은 여전히 논쟁의 주된 미해결 요소로 남아 있습니다.