AI 수학 연구팀이 유체 소용돌이 시뮬레이션을 함께 검토하는 모습

AI 1만 에이전트, 난제 증명 제시

OpenAI는 2026년 9월 8일, 내부 AI 시스템이 나비에–스토크스 방정식의 존재성과 매끄러움 문제에 관한 증명과 Lean 형식화를 만들었다고 공개했습니다.…