OpenAI가 나비에-스토크스 문제의 해법을 보고하다

OpenAI는 클레이 수학연구소의 밀레니엄 수학상 문제 중 하나인 나비에스토크스 존재성과 매끄러움 문제와 관련된 증명을 만들어 냈다고 말합니다. 회사는 이 결과가 매끄러운 유체가 유한한 시간 안에 특이점을 형성할 수 있음을 보여준다고 설명하며, 증명에 대한 서면 설명과 Lean 형식화도 함께 공개했습니다. 이 글은 3차원 유체 운동이 매끄러운 상태를 유지할 수 있는지, 아니면 붕괴하는지를 묻는 오랜 수학적 문제를 설명합니다. 나비에스토크스 방정식은 항공기 설계, 일기 예보, 혈류 연구와 같은 분야에서 널리 사용됩니다. OpenAI는 이 작업이 내부 모델과 여러 날에 걸쳐 다양한 문제 변형을 탐색한 다중 에이전트 시스템을 사용해 완료되었다고 말합니다. 회사는 또한 이 결과를 AI 연구의 진전을 설명하기 위해 공개하는 것이며, 상금을 주장하려는 의도는 없다고 말합니다.