오픈에이아이(OpenAI)는 저스틴 선(Justin Sun)의 최초 천만 달러 수학상 수상자로 선정되었으나, 수 주 전 클레이 수학 연구소(Clay Mathematics Institute)의 동일 상금도 수령하지 않은 채 남겨둔 것처럼 이번에도 상금을 수령하지 않았습니다.
이 상금은 오픈에이아이(OpenAI)가 만든 인공지능이 증명한 나비에-스토크스(Navier-Stokes) 방정식 해법에 대한 보상이었습니다. 이 문제는 수십 년간 수학자들이 풀기 위해 노력해 온 유체역학 문제입니다. 두 학자는 해당 증명이 자신들의 미공개 연구를 참고한 것이라 주장했으나 오픈에이아이는 이를 부인했습니다.
오픈에이아이가 상금을 반복해서 거부하는 이유
오픈에이아이는 3차원 나비에-스토크스 문제에 대한 증명을 9월 8일에 공개했습니다. 오픈에이아이의 인공지능 에이전트 1만 개가 해당 문제를 88시간 동안 해결했고, 별도의 모델인 GPT-6 Astra가 논리를 17시간 동안 추가로 확인했다고 밝혔습니다.
클레이 수학 연구소(Clay Mathematics Institute)는 2000년에 이 문제를 7개의 밀레니엄상(천만 달러) 중 하나로 지정했습니다. 연구소 웹사이트에서는 여전히 이 문제가 미해결로 표시되어 있습니다.
오픈에이아이는 당시 클레이 수학 연구소의 상금은 받지 않겠다고 밝혔습니다. 증명의 진짜 주체에 대한 의문이 제기되면서 이 사안이 더욱 주목받았습니다.
두 수학자는 자신들의 미공개 연구 결과가 오픈에이아이 제품에 들어갔다고 주장했습니다. 오픈에이아이는 이 주장을 부인했습니다.
“저는 그들의 모델이 무엇을 했는지, 어떻게 했는지 알지 못합니다. 우리 데이터가 사용되었는지 알지 못합니다. 누구를 비난하는 것도 아닙니다.” – 뉴욕대학교(뉴욕 유니버시티) 트리스탄 버크마스터 교수(Tristan Buckmaster).
두 번째 상, 두 번째 무시
논란이 시작된 지 8일 후, 저스틴 선의 사무실은 동일 문제에 대한 자체 해답을 발표했습니다. 저스틴 선 프라이즈(Justin Sun Prize)는 기존 동료평가가 아닌 머신이 검증할 수 있는 증명 위주의 상금 제도입니다.
선의 목록에 있는 모든 항목은 두 번의 상금 지급이 가능합니다. 한 번은 문제를 증명한 사람에게, 한 번은 이를 코드로 공식화한 사람에게 지급됩니다. 선의 팀은 나비에-스토크스 증명과 관련하여 오픈에이아이 연구팀을 첫 번째 천만 달러 수상자로 선정했습니다.
나비에-스토크스는 다섯 번째 등록 항목입니다. 오픈에이아이 팀에 대한 공로가 표기되어 있고, 상금 수령 자격이 있지만 여전히 수령되지 않았습니다.
선의 규칙에 따르면 이미 해결된 문제가 목록에 등록될 경우, 실제 증명자 대신 이를 기계가 처리할 수 있게 번역한 사람에게 상금이 지급됩니다.
“저는 결과만 중요하게 생각합니다. 기여자가 사람인지 기계인지는 중요하지 않습니다.” – 저스틴 선.
선의 목록에는 해당 항목 옆에 경고가 표시되어 있습니다. 오픈에이아이의 발표는 동료평가가 아니며 수학자들의 공식 승인이 확인되지 않았다는 내용입니다.
