OpenAI, 이미 충격에 빠진 학계에 수백 개의 수학 결과물 추가 공개

수문이 열렸습니다. OpenAI의 새로운 거대 언어 모델이 20년 만에 가장 큰 수학적 돌파구를 만들어낸 직후, 이 회사는 동일한 모델에서 나온 수백 개의 추가 결과를 막 공개했습니다. 회사 측에 따르면, 각각의 결과는 수학 또는 이론 컴퓨터 과학의 주요 미해결 난제를 해결하거나 상당한 진전을 이루어냈다고 합니다.

회사는 동부 표준시 오후 6시에 GitHub 저장소를 통해 결과를 공개했습니다. 쏟아져 나온 이 방대한 양의 결과물을 수학자들이 분석하고 이해하는 데는 몇 달이 걸릴 것입니다. 여기에는 증명이 새롭고 중요한 아이디어를 포함하고 있는지, 아니면 주로 기존 기술의 조합인지 판단하는 과정이 포함됩니다. 하지만 많은 결과가 이미 증명의 논리를 검증하는 프로그래밍 언어인 Lean에서 확인되었으며, 따라서 정답일 가능성이 거의 확실합니다.

OpenAI 대변인은 Scientific American에 회사가 아직 일반에 공개하지 않은 이 새로운 모델이 단일 AI 에이전트에게 전달된 단일 프롬프트에 대응하여 거의 모든 결과를 생성했다고 말했습니다. 이는 수백만 달러의 컴퓨팅 비용이 든 10,000개의 에이전트 군단의 집단적 노력을 통해 만들어진 OpenAI의 이전 Navier-Stokes 문제에 대한 블록버스터급 솔루션과는 확연히 다른 점입니다. 이것이 사실이라면, 전례 없는 수학적 능력을 곧 누구나 이용할 수 있게 된다는 의미입니다. 하지만 대담한 주장과 부족한 투명성으로 인해 수학자들 사이에서 형성된 OpenAI의 평판은 상당한 회의론을 불러일으키고 있습니다.

과학 저널리즘 지원에 대하여

이 기사가 마음에 드신다면 구독을 통해 수상 경력에 빛나는 저희 저널리즘을 지원해 주시기 바랍니다. 구독을 구매하시면 오늘날 우리 세상을 형성하는 발견과 아이디어에 관한 영향력 있는 이야기의 미래를 보장하는 데 도움이 됩니다.

매사추세츠 공과대학교의 수학자 Andrew Sutherland는 "그들이 모델을 공개하고 사람들이 그 결과를 재현할 수 있을 때까지는, 단일 에이전트로 문제를 한 번에 해결했다는 어떠한 주장도 검증되지 않은 것으로 취급해야 한다고 생각합니다"라고 말합니다. "우리는 증빙을 요구해야 합니다." (OpenAI 대변인은 또한 Scientific American에 일부 결과는 여러 번의 시도가 필요했을 수도 있다고 말했습니다.)

Navier-Stokes 솔루션 발표에 대한 OpenAI의 처리는 매우 논란이 되어, 9월 21일 회사는 AI가 생성한 결과를 책임감 있게 발표하는 것에 대한 권고안을 제공하기 위해 수학자들로 구성된 독립 자문 그룹을 구성한다고 발표했습니다. 그룹이 개발한 권고안은 그러한 결과를 발표하는 회사가 각 결과 뒤에 숨겨진 모델, 정확한 프롬프트 및 컴퓨팅 시간을 공개할 것을 요구합니다. 하지만 그룹의 권고에도 불구하고, OpenAI는 프롬프트는 공개하지 않은 채 문제당 평균 컴퓨팅 시간과 일부 추가 통계만을 공개하기로 했습니다.