OpenAI, AI로 찾은 밀레니엄 난제 ‘나비에-스토크스’ 해법 공개

약 90년간 미해결이던 3차원 유체 운동의 매끄러움 문제에 대해, 내부 AI 시스템이 찾아낸 해석적 증명과 컴퓨터로 검증할 수 있는 Lean 형식화를 공개함
매끄러운 외력이 작용하는 정지 상태의 유체에서도 유한 시간 안에 속도가 무한히 커지는 특이점이 생길 수 있음