AI가 미해결 문제를 푸는 날, 먼저 바뀌어야 할 것은 연구의 데이터 경계입니다핵심 요약: OpenAI는 2026년 9월 8일 내부 다중 에이전트 시스템이 나비에–스토크스 문제의 해법과 Lean 형식화를 만들었다고 발표했습니다. 그러나 이 사건의 핵심은 ‘AI가 수학을 풀었는가’라는 이분법이 아닙니다. 비공개 초안·대화·학습 활용·소문·우선권이 대규모 탐색 자원과 만날 때, 연구 조직은 어떤 데이터 경계와 공개 절차를 가져야 하는가가 더 어려운 질문으로 남습니다.📌 발표보다 먼저 읽어야 할 사건의 구조2026년 9월 8일 OpenAI는 내부 시스템이 3차원 비압축성 나비에–스토크스 방정식에서 유한 시간 특이점이 생길 수 있음을 보이는 해석적 증명과 Lean 형식화를 만들었다고 공개했습니다. 나비에–스토..