OpenAI는 두 번째 밀레니엄 상 문제에서 중요한 진전을 이루었다

OpenAI는 《뉴욕 타임스》에 9월 8일 나비-스토크스 방정식 해결을 발표한 이후 두 번째 밀레니엄 문제에서 "실질적인 진전"을 이루었다고 밝혔지만, 구체적으로 어떤 문제인지, 공개 일정은 밝히지 않았습니다. 밀레니엄 문제는 클레이 수학 연구소가 2000년 이래로 설정한 7개의 100만 달러의 보상이 걸린 수학 문제입니다.

외부에서는 이 문제가 76년 된 복잡한 기하학적 형태의 "구멍" 수를 계산하는 방법에 관한 호지 추측일 가능성이 있다고 추측하고 있습니다. OpenAI는 이 추측을 확인하지 않았으며, 그 뒤에 있는 모델이 장기 작업을 위해 설계된 Aeon 버전이라는 소문에 대해서도 응답하지 않았습니다. 이전에 OpenAI는 9월 8일 발표에서, 공개되지 않은 내부 모델이 Lean 검증의 증명을 생성했으며, 나비-스토크스 방정식이 물리적으로 불가능한 무한 속도로 "폭발"할 수 있음을 보여주었다고 밝혔습니다. 이 과정에는 약 1만 개의 조정된 AI 지능체가 동원되었고, 약 88시간이 소요되었습니다.

하지만 이 성명은 논란을 일으켰습니다. 뉴욕 대학교의 수학자 트리스탄 벅마스터는 자신이 앤트로픽 연구원 레벤트 알포게와 함께 관련 증명을 연구해왔으며, 8월 22일에 완료했다고 밝혔고, OpenAI의 세바스티앵 뷔벡이 이를 알게 된 후 먼저 발표했다고 주장했습니다. OpenAI는 100만 달러의 상금을 위해서가 아니라, 이러한 문제들을 모델 발전 속도를 측정하는 공개 기준으로 삼고 있다고 밝혔습니다. 클레이 수학 연구소는 나비-스토크스 증명의 검토를 계속 진행 중이며, 과거 밀레니엄 문제의 검증은 일반적으로 수년이 걸립니다.