AI가 90년 난제를 88시간에 풀었다, 수학자들이 화난 진짜 이유
📌 핵심 요약 2026년 9월 8일 OpenAI가 7대 밀레니엄 문제 중 하나인 나비에–스토크스 존재성·매끄러움 문제의 해법을 공개했다. 약 90년 묵은 난제다. 약 1만 개 에이전트가 동시에 투입돼 88시간 만에 증명을 도출했고, Lean 형식화·검증에 17시간이 더 걸렸다. 다만 클레이 수학연구소는 여전히 이 문제를 미해결로 분류하고 있으며, 우선권 논란도 함께 불거졌다. 허준이 교수를 포함한 필즈상 수상자 25명은 … 더 읽기