수학자들, 동료에게 OpenAI와의 협업 중단 촉구

OpenAI가 아직 공개하지 않은 내부 모델의 결과 372건을 발표했습니다. 수학과 이론 컴퓨터과학의 오랜 미해결 문제를 해결하거나 진전시켰다는 주장이라고 Scientific American이 보도했습니다. 4차원 카케야 추측도 포함돼 있고, 상당수 증명은 증명의 논리를 검증하는 언어인 Lean으로 확인됐습니다. 대변인은 거의 전부가 AI 에이전트 하나에 프롬프트 하나를 입력해 나온 결과라고 설명했습니다.

쟁점은 정보 공개입니다. OpenAI의 앞선 나비에-스토크스 결과 이후 꾸려진 수학자 자문단은 각 결과의 바탕이 된 모델, 정확한 프롬프트, 연산 시간을 공개하라고 권고했습니다. OpenAI는 평균 연산 시간만 밝힐 뿐 프롬프트는 공개하지 않으며, 이 권고에 구속되지 않는다는 입장입니다. MIT의 Andrew Sutherland는 한 번에 나온 결과라는 주장은 외부에서 재현할 수 있을 때까지 검증된 것이 아니라고 이 매체에 말했고, 토론토 대학교의 Daniel Litt는 이번 공개가 수학에 좋은 일이라고 평가했습니다.

연구소의 연구 성과 주장을 따져 보는 입장에서 보면, 증명에 대한 Lean 검증은 누구나 다시 돌려 볼 수 있습니다. 반면 모델이 그 증명을 어떻게 만들어 냈는지는 모델과 프롬프트 없이는 검증할 수 없습니다.