
이미지: METAL AI 생성
요약
- 트리스탄 버크마스터와 레벤트 알푀게가 클로드·코덱스 등의 도움으로 부시네스크·3차원 오일러 방정식의 유한시간 폭발을 증명했다고 밝혔어요.
- 버크마스터는 9월 6일 오픈AI 와의 통화에서 앤스로픽 소속 알푀게를 저자에서 빼자는 제안을 받았다고 성명에 적었어요.
- 그는 누구를 고발하는 것이 아니라 들은 말과 시점을 적을 뿐이라고 했고, 오픈AI 의 공개 반응은 아직 확인되지 않았어요.
- 성명
- 트리스탄 버크마스터 (뉴욕대 쿠란트연구소), 2026-09-07
- 공동 연구자
- 레벤트 알푀게 (앤스로픽 재직, 개인 자격)
- 증명한 것
- 매끄러운 강제항의 다공성 매질·부시네스크·3차원 오일러 방정식 유한시간 폭발
- 쓴 모델
- 클로드 · 코덱스 · GPT-5.6 솔 · 아스트라
- 검증
- 2026-08-22 린(Lean) 형식 검증
- 선행 연구
- 디에고 코르도바 · 루이스 마르티네스-소로아의 강제 폭발 프로그램
뉴욕대 쿠란트연구소의 수학자 트리스탄 버크마스터가 9월 7일 공개 성명을 내고 AI 의 도움으로 얻은 유체 방정식 증명과 그 발표 직전에 오픈AI 와 나눈 통화 내용을 함께 밝혔어요. 증명 자체도 큰 소식이지만, 성명의 절반은 AI 연구소들이 수학 성과를 두고 어떻게 경쟁하는지를 드러내는 기록이에요.
증명은 버크마스터와 앤스로픽에 재직 중인 수학자 레벤트 알푀게가 개인 자격으로 함께 한 연구예요. 두 사람은 앤스로픽의 클로드와 오픈AI 의 코덱스, GPT-5.6 솔, 아스트라의 도움을 받아, 매끄러운 강제항을 가진 다공성 매질 방정식과 부시네스크 방정식, 3차원 비압축 오일러 방정식에서 유한시간 폭발이 일어난다는 것을 증명했다고 밝혔어요. 성명에 따르면 부시네스크와 오일러 결과는 8월 15일에 나왔고, AI 가 쓴 증명을 8월 22일 형식 검증 도구 린으로 확인했어요.
풀어서 설명하면, 유한시간 폭발은 방정식이 그리는 흐름이 어느 순간 무한대로 치솟아 식 자체가 더는 성립하지 않게 되는 현상이에요. 나비에-스토크스 방정식에서 이런 일이 실제로 일어나는지는 100년 넘게 풀리지 않은 문제예요.
버크마스터는 공로의 출처를 분명히 했어요. 이 연구는 디에고 코르도바와 루이스 마르티네스-소로아가 여러 해 동안 쌓아 온 강제 폭발 연구 프로그램을 이어받은 것이고, 두 사람은 그 아이디어를 AI 의 도움으로 매끄러운 강제항과 오일러 방정식까지 넓혔을 뿐이라고 적었어요. 아이디어의 공은 전적으로 두 선행 연구자에게 있다는 문장을 성명에 그대로 넣었어요.
성명이 논란이 된 건 그다음 대목이에요. 버크마스터는 9월 3일 오픈AI 가 비슷한 결과를 갖고 있다는 소문을 듣고 오픈AI 의 수학자에게 메일을 보냈고, 9월 6일 세바스티앵 부벡을 포함한 오픈AI 쪽과 통화했다고 적었어요. 통화에서 오픈AI 의 내부 모델이 강제 나비에-스토크스 폭발을 약 100쪽 분량으로 증명했고 사람 손은 거의 안 들어갔다는 말을 들었는데, 뒤에 그 말과 어긋나는 설명이 나왔다고 했어요.
버크마스터에 따르면 오픈AI 쪽은 두 가지를 제안했어요. 결과를 순서를 정해 차례로 발표하자는 것과, 나비에-스토크스 논문은 버크마스터 혼자 저자로 내자는 것이었어요. 그는 부벡이 알푀게가 앤스로픽 소속이라는 이유로 저자에서 빼길 원한다고 말했다고 적었고, 두 제안을 모두 거절하고 공개하겠다고 하자 너희 커리어를 왜 망치려 하느냐는 말이 돌아왔다고 밝혔어요.
버크마스터는 누구를 고발하는 것이 아니라고 선을 그었어요. 자신이 들은 말과 시점, 제안받은 내용을 그대로 적을 뿐이라는 문장을 성명에 넣었어요. 오픈AI 쪽의 공개 반응은 이 글을 쓰는 시점까지 확인되지 않았어요.
이 성명이 뜻하는 것은 수학이 AI 연구소들의 경쟁 무대가 됐다는 사실이에요. 며칠 전 앤스로픽은 클로드가 페르마의 마지막 정리를 컴퓨터로 검증했다고 알렸고, 오픈AI 는 아스트라로 미해결 퍼즐을 풀었다고 알렸어요. 누가 먼저, 어느 모델로, 누구 이름으로 발표하느냐가 연구소의 성적표가 된 상황에서 저자 명단과 발표 순서는 더 이상 학계 안의 예의 문제가 아니에요.
남는 질문은 두 가지예요. 하나는 AI 가 쓴 증명에서 사람의 몫이 얼마인지를 누가 어떻게 검증하느냐이고, 다른 하나는 서로 다른 회사 소속의 연구자가 개인 자격으로 함께 연구할 때 그 결과를 어느 회사가 자기 것으로 부를 수 있느냐예요. 버크마스터의 성명은 두 질문에 답하지 않고 그 질문이 실제로 벌어진 장면을 기록했어요.
결국 이번 일은 증명 하나보다 오래 남아요. 방정식은 린이 검증했지만, 연구소들이 성과를 나누는 규칙은 아직 아무도 검증하지 않았고, 그 규칙이 없는 채로 다음 큰 증명이 나오면 같은 통화가 또 걸려 와요.





댓글