IT OpenAI 수학 난제 해법 공개, 나비에-스토크스 정말 풀렸나 ByHoony 9월 10, 20269월 13, 2026 증명을 만든 것은 GPT-6 Astra가 아니라 그보다 강한 미공개 내부 모델이다. 확정된 사실과 아직 인정되지 않은 것을 갈라 정리했다.