밀레니엄 난제 풀었다는 AI, 발표 직후 신뢰 논란
100만 달러 걸린 90년 난제, 근데 뒷맛이 씁쓸해요 🔬
마마우스워리어· 2026년 9월 9일· 오픈AI, 나비에스토크스, 밀레니엄문제, AI수학, 앤스로픽· 0
90년 난제를 AI가 풀었다는데 — 오픈AI, 발표 직후 저작권 공방에 휩싸였다
걸린 상금
100만 달러
클레이수학연구소 밀레니엄 문제 상금, 완전 해결은 역대 2번째
AI 에이전트 1만 개가 협업했다
미공개 모델 기반, 9월 6일 Lean 형식검증까지 완료 📊
그런데 계기가 묘하다
오픈AI "9/1 소문 듣고 착수" — 버크마스터·알푀게는 딴 문제 풀던 중
버크마스터의 주장
알푀게가 앤스로픽 직원이라는 이유로 저자 명단에서 빼려 했다
— 트리스탄 버크마스터, NYU 수학과 교수
공개된 증명 논문
3편 vs 0편
버크마스터·알푀게는 논문 3편 공개, 오픈AI 증명은 아직 비공개 ❌
그래서 이게 왜 중요하냐면
AI가 순수수학 난제를 실제로 푸는 시대가 열릴지 갈림길이에요. 다만 진짜 전환점이 되려면 증명 공개와 독립 검증이 먼저겠죠 ⚡
1 / 9