오픈AI가 내부 차세대 모델을 이용해 밀레니엄 수학 난제인 나비에-스토크스 문제의 해법을 제시했다고 발표했으나, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다. 오픈AI는 약 1만개 AI 에이전트가 88시간 병렬 작업해 증명을 만들고 린으로 검증했다고 밝혔지만, 뉴욕대 수학자 트리스탄 버크매스터는 앤트로픽 연구자와 함께 약 1년간 독자적으로 비슷한 증명을 진행해 8월 22일 먼저 도달했다고 주장했다. 그는 오픈AI가 저자 배제 등을 제안했다고 주장했으나, 오픈AI와 샘 알트먼은 이를 부인하며 선의로 협업을 제안했을 뿐이라고 반박했다. 양측의 증명 모두 아직 외부 독립 검토를 받지 않은 상태다.
- •오픈AI, AI 에이전트 1만개가 88시간 병렬 작업해 나비에-스토크스 증명 생성, 린으로 검증
- •뉴욕대 버크매스터·앤트로픽 연구자, 1년간 독자 연구로 8월 22일 먼저 해법 도달 주장
- •버크매스터, 오픈AI가 공동자 제외나 내용 공개 지연 등을 제안했다고 주장, 오픈AI는 부인
- •필즈상 수상자 테런스 타오, 두 연구자의 성과를 높이 평가하면서도 양측 증명 모두 외부 검증 미완료 지적
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
100만달러 걸린 수학 난제 풀었다는 오픈AI…발표 직전 '공로 논란' 터져

- 1.오픈AI, AI 에이전트 약 1만개가 88시간 병렬 작업해 나비에-스토크스 방정식 특이점 증명을 린(Lean)으로 검증했다고 발표
- 2.뉴욕대 버크매스터·앤트로픽 알퇰게, 1년간 독자 연구로 8월 22일 유체 블로우업 증명에 먼저 도달했다며 공로 논란 제기
- 3.버크매스터는 오픈AI 측이 공동저자 제외·발표 순서 조정을 제안했다고 주장했으나 오픈AI와 샘 알트먼은 이를 부인
- 4.필즈상 수상자 테런스 타오는 두 연구자의 성과를 높이 평가했으나 양측 증명 모두 독립 검증은 끼치지 않은 상태
왜 중요한가?
AI가 밀레니엄 난제 증명에 실질적으로 기여할 수 있음을 보여준 사례지만, 동시에 AI 기업이 외부 연구자의 미공개 성과를 부당하게 활용했는지를 둘러싼 연구윤리·공로 배분 논쟁을 촉발해 AI 연구 성과의 검증과 신뢰성 문제를 부각시켰다.
본문 미리보기
[디지털투데이 AI리포터] 오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일(이하 현지시간) 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린(Lean)으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능(AI) 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:33AI 초안

![[10월8일] “수학 문제 4000개에 AI 투입해 성과”…오픈AI가 보여준 과학연구의 변화](https://cdn.aitimes.com/news/photo/202610/216072_220045_048.png)

