AI가 90년 난제를 풀었다?

AI 요약

9월 8일 OpenAI는 자사 미공개 내부 모델이 나비에-스토크스 방정식의 C·D 진술을 겨냥해 매끄러운 외력을 받는 경우 유한한 시간 안에 특이점을 만들 수 있음을 보였다고 발표하고 165쪽 분량의 논문과 Lean 4 코드도 공개했으나 클레이연구소의 100만 달러 상금을 청구하지 않겠다고 밝혔습니다. 회사는 훈련을 8월 28일 시작해 오일러 방정식을 1,000개 에이전트로 약 50시간 만에 해결했고 나비에-스토크스에는 최대 1만 개 에이전트를 투입해 약 88시간(형식 검증 추가 17시간)이 걸렸으며 에이전트 간 메시지는 270만 건, 계산비용은 수백만 달러에 달했다고 설명했습니다. 클레이연구소는 이 결과를 공식 인정하지 않았고 문제는 여전히 미해결로 남아 있으며 학계는 논문과 형식화된 명제가 찰스 페퍼먼이 제시한 조건과 정확히 일치하는지 검증하는 중이고 발표 직후 프린스턴대 스탠 팔라섹 등의 기술적 이견과 우선권 논쟁이 제기되었습니다.