TL;DR

  • OpenAI가 1,000명 이상, 최대 10,000개의 AI 에이전트를 투입하고 수백만 달러를 들여 나비에-스토크스 방정식의 해를 찾았다고 발표했지만, 연구 착수 경위와 공로 배분을 둘러싼 논쟁이 제기됨.
  • 나비에-스토크스 방정식은 물과 공기 같은 유체의 자연적 거동을 설명하는 약 200년 된 미해결 수학 문제이자 클레이 밀레니엄 문제 중 하나임.
  • OpenAI는 8월 28일 고급 수학 능력을 갖춘 새 모델의 훈련을 시작한 뒤 Anthropic 측의 진전 소문을 접하고 문제 해결에 자원을 집중했다고 설명함.
  • 수학자 Tristan Buckmaster는 OpenAI가 자신과 Anthropic 연구자 Levent Alpöge의 관련 연구를 인지한 뒤 문제에 뛰어들었으며, Alpöge의 이름을 제외한 공로 배분 방안까지 제안했다고 주장함.
  • OpenAI는 두 사람의 작업이나 Codex 프롬프트를 보지 않았다고 부인하면서도, 제품 사용에서 파생된 비식별 데이터가 모델 개선에 기여했을 가능성은 배제할 수 없다고 밝힘.

OpenAI의 나비에-스토크스 해 발표

  • OpenAI가 물과 공기 같은 유체의 자연적 거동을 설명하는 나비에-스토크스 방정식(Navier-Stokes equation)에 대한 인공지능 생성 해를 찾았다고 발표함.
  • 해당 증명은 각각 100만 달러의 상금이 걸린 클레이 밀레니엄 문제(Clay Millennium Prize problems) 중 하나와 관련됨.
  • OpenAI의 수학자이자 인공지능 연구자인 Sebastien Bubeck은 8월 28일 고급 수학 능력을 갖춘 새 인공지능 모델의 훈련을 시작했다고 언급함.
  • Anthropic이 나비에-스토크스 문제 해결에 진전을 보이고 있다는 소문을 접한 뒤 문제 해결에 더 많은 자원을 투입하기로 결정했다고 설명함.
  • OpenAI는 1,000개가 넘는 에이전트를 50시간 넘게 문제에 투입했으며, 이후 최대 10,000개의 에이전트가 작업에 참여한 끝에 해를 찾았다고 밝힘.
  • Bubeck은 처음에는 오류가 있다고 생각했지만, 일요일 아침에 린(Lean) 형식화까지 완료된 최종 해를 얻었다고 말함.
  • 린은 수학적 증명을 형식화하는 데 사용할 수 있는 프로그래밍 언어임.
  • OpenAI는 이번 문제 해결에 이전의 수학 문제 해결보다 상당히 많은 컴퓨팅 파워가 필요했다고 밝힘.
  • OpenAI 연구 책임자 Mark Chen은 필요한 비용이 “수백만 달러”에 이른다고 언급함.

Buckmaster와 Alpöge의 연구 및 공로 주장

  • 월요일 Levent Alpöge와 뉴욕대학교 수학자 Tristan Buckmaster가 나비에-스토크스 문제와 관련된 분야에서 핵심적인 진전을 이뤘다고 주장하는 문서를 게시함.
  • 두 사람은 연구를 완성하기 위해 Claude와 Codex를 포함한 여러 인공지능 모델을 사용했다고 밝힘.
  • Buckmaster는 지난주 OpenAI가 자신과 Alpöge의 연구를 알게 된 뒤 문제에 상당한 자원을 투입하기 시작했다는 사실을 알게 됐다고 주장함.
  • Buckmaster는 OpenAI 경영진에게 회사가 두 사람의 Codex 로그에 접근했는지 물었다고 밝힘.
  • OpenAI 측에서 해당 모델이 “사용자 데이터를 찾아보지 않았다”고 답변받았지만, 훈련 데이터에 관한 질문에는 답변하지 않았다고 주장함.
  • Buckmaster는 OpenAI가 여러 가지 “제안”을 내놓았으며, 그중 하나는 내부 OpenAI 모델이 나비에-스토크스 문제를 해결했다는 논문을 Alpöge의 이름 없이 발표할 수 있다는 내용이었다고 주장함.

OpenAI의 반박과 데이터 사용 논쟁

  • Bubeck은 소셜미디어 게시물에서 OpenAI가 Alpöge의 이름을 제외하자고 제안했다는 주장을 반박함.
  • OpenAI 최고경영자 Sam Altman도 논쟁에 참여해 팀의 작업을 옹호함.
  • Alpöge, Buckmaster, Anthropic은 관련 논평 요청에 즉시 답변하지 않음.
  • Bubeck과 다른 OpenAI 경영진은 회사가 작업에 활용하기 위해 두 사람의 Codex 프롬프트를 조사한 적이 없다고 브리핑에서 부인함.

“연구자든 에이전트든, 우리는 어젯밤 해당 작업이 공개되기 전까지 그들의 작업을 보지 않았음.”

  • OpenAI는 작업을 설명한 블로그 게시물에서 제품 사용에서 파생된 비식별 데이터가 모델 개선에 기여했을 가능성은 낮지만 배제할 수 없다고 밝힘.
  • Bubeck은 Levent Alpöge와 Tristan Buckmaster의 비강제 오일러(unforced Euler) 연구가 우선한다는 점을 인정하며, 두 사람이 이룬 중대한 성취를 축하한다고 강조함.

“그들의 프롬프트나 증명을 사용해 모델에 입력하거나 에이전트를 지시하지 않았음.”

  • OpenAI의 수학자 Ven Chandrasekaran은 두 사람의 결과와 OpenAI 모델이 만든 해가 성격상 상당히 다르다고 강조함.

인공지능 수학 연구의 공로 문제

  • 가장 중요한 수학 문제 중 하나를 누가 해결했는지를 둘러싼 공방은 당분간 계속될 가능성이 있음.
  • 인공지능이 증명 탐색에 필요한 작업을 더 많이 맡게 되면서 이와 같은 공로 분쟁이 더 자주 발생할 가능성이 제기됨.