오픈AI 내부 시스템이 나비에-스토크스 밀레니엄 난제에 대한 해법을 제시하고 린(Lean) 형식화 증명을 공개했다.
오픈AI는 공식 발표에서 매끄러운 외력이 작용할 때 초기 정지 상태의 3차원 비압축성 유체가 유한 시간 내 특이점을 형성할 수 있으며, 전체 과정에서 에너지는 유한하게 유지된다고 밝혔다. 오픈AI는 이 결과가 클레이 수학연구소의 공식 문제 설정 중 C와 D 명제를 충족한다고 설명했다. 오픈AI는 논문과 린 형식화 증명을 함께 공개했다.
오픈AI는 GPT-6 아스트라보다 훨씬 강력한 내부 모델을 사용했으며, 약 1만 개의 병렬 에이전트가 약 88시간 동안 해법을 도출했다고 밝혔다. 에이전트들은 나비에-스토크스 문제를 해결하는 과정에서 270만 건의 메시지를 주고받고 약 1300억 개의 출력 토큰을 생성했으며, 린 형식화와 검증에는 17시간이 추가로 걸렸다. 오픈AI는 이번 결과로 밀레니엄 상금을 신청할 의도는 없다고 밝혔다.
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사