하버드 수학자들은 OpenAI의 Navier-Stokes 주장 이후 AI 증명에 인간의 이해가 필요한지 논쟁합니다.

본문

OpenAI의 나비에-스토크스(Navier-Stokes) 주장 논란이 면밀히 조사되자 하버드 교수진은 인간의 통찰력이 없는 AI 증명이 중요한지 여부에 대해 의견이 분분했습니다. OpenAI 공식 로고(공개 도메인, Wikimedia Commons) — CryptoBriefing 브랜드 처리 OpenAI가 주장하는 밀레니엄 상 진전 문제 하버드 교수진은 누구도 진정으로 이해하지 못하는 경우 올바른 증명이 가치가 있는지 묻습니다. 기계가 수학의 가장 유명한 공개 문제 중 하나에 대한 증명을 생성했을 수 있습니다. 이제 수학자들은 실제로 그것을 이해하는 사람이 있는지 묻고 있습니다. 2026년 10월, 하버드 수학 교수진이 이 질문에 무게를 두었습니다. 이는 내부 AI 시스템이 Navier-Stokes 존재 및 부드러움 문제의 일부를 해결했다는 OpenAI의 주장을 따릅니다.

2026년 9월 8일, OpenAI는 다중 에이전트 AI 시스템이 Navier-Stokes 문제의 측면을 해결했다고 발표했습니다. 약 10,000명의 AI 에이전트가 2026년 9월 1일경부터 약 88시간 동안 동시에 실행되었습니다. OpenAI는 166페이지 분량의 보고서로 이러한 주장을 뒷받침했습니다. 일부 교수진은 AI가 솔루션을 공식화하는 데 효과적일 수 있음을 인정했습니다. Melanie Matchett Wood 교수는 AI가 인간의 이해력을 대체하기보다는 보완해야 한다고 강조했습니다. 수학에서 AI의 역할은 인간의 초점을 증명 검증에서 그 의미와 통찰력을 해석하고 이해하는 것으로 전환할 수 있습니다. Harvard 수학자들은 OpenAI의 Navier-Stokes 주장이 Crypto Briefing에 처음 등장한 후 AI 증명에 인간의 이해가 필요한지 여부에 대해 토론합니다.