OpenAI, 나비에-스토크스 밀레니엄 문제 해결 공개 및 Lean 형식 증명 공개

PANews 9월 9일 소식, OpenAI가 내부 시스템이 나비에-스토크스 존재성과 매끄러움 문제에 대한 해답을 제시했다고 발표했습니다. 매끄러운 외력 하에서 초기 정지 상태의 매끄러운 3차원 비압축성 유체가 유한 시간 내에 특이점을 형성하며, 전체 과정에서 에너지는 유한하게 유지됩니다. OpenAI는 이 결과가 클레이 수학 연구소의 공식 표현 중 C, D 명제에 해당하며, 논문과 Lean 형식 증명을 동시에 공개했지만 학계의 독립적인 검토가 필요하다고 밝혔습니다.

OpenAI는 이 프로젝트가 GPT-6 Astra보다 훨씬 강력한 내부 모델을 사용했으며, 약 1만 개의 병렬 에이전트가 약 88시간 만에 증명을 완성하고 270만 개의 메시지를 보내고 약 1300억 개의 출력 토큰을 생성했고, Lean 형식화 및 검증에 추가로 17시간이 소요되었다고 전했습니다. OpenAI는 밀레니엄 상을 신청할 의사가 없습니다.

동시기 연구와 관련해, OpenAI는 처음에 Anthropic 직원 Levent Alpöge와 뉴욕대학교 교수 Tristan Buckmaster도 해당 문제를 풀었다고 잘못 생각했으나, 이후 두 사람이 해결한 것은 강제된 오일러 방정식 문제임을 확인했으며, 해당 문제에 대한 선행권을 인정했다.

공유하기:

작성자: PA一线

이 내용은 시장 정보 제공만을 목적으로 하며, 투자 조언을 구성하지 않습니다.

PANews 공식 계정을 팔로우하고 함께 상승장과 하락장을 헤쳐나가세요
관련 특집
PANews APP
암호화폐 커스터디 업체 Copper CEO 사임, 회사 매각 제안가 2억 달러로 하락
PANews 속보