나비에-스토크스 해법 발표의 이면: 수학자가 공개한 OpenAI와의 협의 과정

수학자 Tristan Buckmaster가 Levent Alpöge와 진행한 유체 방정식 연구를 공개하면서, OpenAI의 나비에-스토크스 해법 발표에 앞서 진행된 협의 과정을 성명으로 밝힘 두 사람의 연구는 기존 수학자들의 접근법을 LLM의 도움으로 발전시킨 개인 공동연구이며, Anthropic의 공식 프로젝트가 아니라고 설명함 Buckmaster는 OpenAI가 자신에게 내부 모델의 해법을 논문으로 작성하도록 제안하면서, Anthropic 직원인 공동연구자는 저자에서 제외하기를 원했다고 주장함 연구 초안을 넣어온 Codex 세션이 모델 학습에 사용됐는지 물었지만 답을 받지 못했으며, 협의 경위를 공개하겠다고 하자 경력을 거론하는 압박성 발언을 들었다고 밝힘 다만 성명 작성 당시 OpenAI의 증명을 보지 못했고 자신들의 데이터가 사용됐는지도 모른다고 명시함. 해법의 진위나 연구 도용을 입증하는 문서가 아니라, 당사자가 겪은 협의 과정과 문제의식을 담은 성명임 먼저 공개한 연구와 인간의 기여 Buckmaster와 Alpöge는 매끄러운 외력이 작용하는 조건에서 비압축성 다공성 매질, Boussinesq 방정식, 3차원 비압축성 Euler 방정식의 해가 유한 시간 안에 발산하는 결과를 공개함 소산이 약한 나비에-스토크스 방정식에서도 비슷한 결과를 얻었다고 생각하지만, Lean 검증과 논문 정리가 끝나지 않아 해당 결과는 공개하지 않음 연구의 기본 접근법은 두 사람이나 LLM이 처음 제안한 것이 아니라, Diego Córdoba와 Luis Martínez-Zoroa의 선행 연구에서 출발함 기존의 거친 외력 조건에서 얻은 결과를 매끄러운 외력과 비압축성 Euler 방정식으로 확장하는 데 LLM의 큰 도움을 받음 Buckmaster는 이 접근을 가능하게 한 아이디어와 선행 연구의 공로가 보존돼야 한다고 강조함 두 사람의 협업은 고용 기관의 공식 참여나 계약이 없는 개인 연구이며, Claude와 Codex를 함께 사용함 Codex에서는 주로 GPT-5.6 Sol을 활용했고, 최근 사용한 Astra는 논문 작성과 논증 점검에만 활용했다고 밝힘 Lean 검증 뒤에도 사람이 읽을 수 있는 논문이 필요함 약 1년간 더디게 진행되던 연구에서 8월 15일 Boussinesq와 Euler 문제의 중요한 진전을 얻었고, 8월 22일 Lean 검증을 마침 이후에는 기계 검증을 통과한 증명을 이해하고 사람이 읽을 수 있는 형태로 정리하...