90년 묵은 난제를 AI가 88시간에 냈습니다

오픈AI가 나비에-스토크스 밀레니엄 문제의 해답을 9월 8일 공개했습니다. 90년 가까이 답이 없던 문제입니다.

먼저 무엇을 보였는지가 중요합니다. 유체가 늘 매끄럽게 흐른다고 증명한 게 아니라, 반대로 유한한 시간 안에 특이점이 생길 수 있음을 보였습니다. 클레이 연구소 공식 서술의 C와 D를 확립했다고 적었습니다.

해답은 소용돌이입니다. 가만히 있던 유체에 매끄러운 힘을 주면 안으로 감겨 들어가며 스파게티처럼 가늘고 길게 늘어납니다. 중심은 좁아지면서 속도가 무한히 커지는데 에너지는 끝까지 유한하게 남습니다.

쓴 모델은 공개된 것이 아닙니다. GPT-6 아스트라보다 상당히 뛰어난 내부 모델이라고 밝혔고, 8월 28일부터 학습 중이며 아직 학습이 끝나지 않았다고 적었습니다.

과정도 공개했습니다. 9월 1일 소문을 듣고 시작해 9월 5일에 답을 얻었습니다. 첫 투입에서 약 88시간이고, 이 문제를 맡은 그룹은 동시에 도는 에이전트가 1만 개 규모였습니다. Lean 형식 검증은 아스트라가 17시간 더 써서 마쳤습니다.

물량은 이렇습니다. 시도한 문제 전체로 메시지 490만 건에 출력 토큰 약 3,000억 개입니다. 나비에-스토크스 하나에만 270만 건과 약 1,300억 개가 들어갔습니다.

곁가지로 오일러 방정식 정칙성 문제도 반증했습니다. 에이전트 100명 가까이가 약 50시간 붙었습니다.

같은 시기에 앤트로픽의 레벤트 알푀게와 뉴욕대 트리스탄 벅마스터가 외력이 있는 오일러 문제를 풀었습니다. 오픈AI는 그쪽의 우선권을 인정하고 공개 전까지 그 작업을 보지 않았다고 밝혔습니다.

오픈AI는 이 결과로 밀레니엄 상금을 청구하지 않겠다고 했습니다. 공식 대표 이미지의 제목도 해답을 제안한다는 표현입니다.

발표 다음 날입니다. Lean 형식화가 함께 올라왔지만 수학계의 검토는 아직 남아 있습니다.