계약은 어떻게 작동하나
이 계약은 해당 사건이 실제로 일어나면 1달러로 정산되고, 일어나지 않으면 0달러로 정산됩니다. 가격은 단순히 지금 시점에서 매수자와 매도자가 합의한 확률 추정치이며, 예를 들어 어떤 계약이 0.30에 거래된다면 시장이 그 사건을 열 번 중 세 번꼴로 일어날 일로 본다는 뜻입니다. 정산 기준일은 2026년 12월 31일 오후 11시 59분(미국 동부시간)이며, 이 시점까지 상위 AI 연구소가 5개 자격 문제 중 하나를 완전히 해결했다고 공개 발표하고 자체 연구진 또는 모델의 공로를 인정해야 Yes로 정산됩니다. 포지션은 정산 전까지 그 시점의 가격으로 매도해 정리하는 것이 일반적입니다.
예19%
아니오81%
확률
가격은 어떻게 움직였나
현재 집계된 확률은 19%이고 거래소는 폴리마켓 한 곳, 거래량은 41,641달러로 보고돼 있습니다. 여러 거래소 간 가격 차이나 최근 하루·일주일 변동 폭에 대한 별도 보고는 없으며, 이는 이 마켓이 특정 사건을 계기로 크게 흔들렸다기보다 소수 참여자의 판단이 누적된 얇은 시장에 가깝다는 점을 시사합니다.
분석
배경
클레이수학연구소는 2000년 7개의 미해결 수학 난제에 각 100만 달러의 상금을 걸었습니다. 리만 가설, P 대 NP, 버치-스위너턴다이어 추측, 호지 추측, 양-밀스 존재성과 질량 간극, 나비에-스토크스 방정식, 푸앵카레 추측이 그 목록입니다. 이 중 푸앵카레 추측만 2002~2003년 그리고리 페렐만에 의해 해결됐고, 나머지 6개는 여전히 미해결 상태입니다. 이번 마켓은 나비에-스토크스를 제외한 나머지 5개 문제 중 하나라도 AI 연구소가 풀면 성립하는 구조입니다.
현재 집계된 확률은 19%이며 거래량은 41,641달러, 거래소는 폴리마켓 한 곳뿐입니다. 거래량이 4만 달러대에 그친다는 것은 이 마켓에 참여한 사람이 많지 않다는 뜻이고, 단일 거래소에서만 가격이 형성되므로 소수의 거래가 가격을 크게 흔들 수 있는 구조입니다. 즉 19%라는 숫자는 넓은 합의라기보다 소수 참여자의 판단을 반영한 수치로 봐야 합니다. 역사적 기준선도 낮은 확률을 뒷받침합니다. 2000년 7개 문제가 발표된 이후 25년 동안 해결된 문제는 단 1개뿐이고, 그것도 AI가 아닌 인간 수학자의 성과였습니다. 리만 가설은 1859년 제기된 이후 160년 넘게 세계 최고 수학자들이 매달려도 풀지 못한 문제이며, P 대 NP 문제는 컴퓨터과학과 암호학의 근간을 흔드는 질문이라 해결 난도가 특히 높다고 평가됩니다. 2024년 구글 딥마인드의 알파프루프와 알파지오메트리가 국제수학올림피아드(IMO)에서 은메달 수준 성적을 거두며 AI의 수학 추론 능력이 빠르게 발전하고 있다는 신호를 준 것은 사실입니다. 다만 이는 이미 정답이 존재하는 경시대회 문제를 푸는 것이고, 수십 년에서 백수십 년간 아무도 풀지 못한 공개 난제를 새로운 수학적 통찰로 증명하는 것과는 성격이 다릅니다. 또한 이 마켓과 별도로 정확히 1개, 2개, 3개 이상 해결을 묻는 하위 마켓들이 존재하는데, 이번 마켓은 그중 '최소 1개'를 묻는 것이라 개별 하위 마켓보다 높거나 같은 확률로 형성되는 구조적 성격을 갖습니다.
확률을 움직이는 요인
AI 수학 역량의 최근 도약
2024년 딥마인드의 알파프루프·알파지오메트리가 IMO에서 은메달 수준 성적을 낸 사례가 AI 추론 능력 향상의 근거로 작용해 확률을 밀어올리는 요인입니다. 다만 이는 정답이 존재하는 경시대회형 문제에 국한된 성과입니다.
미해결 난제와 경시대회 문제의 근본적 차이
리만 가설은 제기된 지 160년이 넘도록, P 대 NP는 수십 년간 세계 최고 수학자와 컴퓨터과학자들이 풀지 못한 문제로, 알려진 기법의 패턴 매칭이 아니라 전례 없는 증명 기법을 요구합니다. 이 격차가 확률을 낮추는 가장 큰 요인입니다.
검증 지연 리스크
설령 한 연구소가 완전한 증명을 발표하더라도 수학계의 동료 평가와 검증에는 통상 수개월에서 수년이 걸릴 수 있어, 2026년 12월 31일이라는 정산 마감 전에 공식적으로 '완전한 해결'로 인정받기 어려울 가능성이 있습니다.
낮은 거래량과 단일 거래소
거래량이 41,641달러에 불과하고 폴리마켓 한 곳에서만 가격이 형성돼 있어 소수의 거래로도 가격이 크게 움직일 수 있는 얇은 시장입니다.
하위 마켓 구조
정확히 1개, 2개, 3개 이상 해결을 묻는 별도 마켓들이 존재하며, 이번 '최소 1개' 마켓은 그 합집합 성격을 가져 구조적으로 개별 하위 마켓보다 낮게 형성되기 어렵습니다.
찬성 근거
- 딥마인드, 오픈AI 등 최상위 AI 연구소들이 수학 전용 추론 모델에 막대한 연구 자원을 투입하고 있습니다.
- 2024년 국제수학올림피아드에서 AI가 은메달 수준 성적을 거두며 추론 능력이 빠르게 향상되고 있음을 보여주었습니다.
- 5개 문제 중 단 하나만 해결하면 성립하므로 7개 전부를 대상으로 한 경우보다 조건이 상대적으로 넓습니다.
- 2026년 12월 31일 자정까지 약 14개월이 남아 있어 추가 연구 성과가 나올 시간적 여지가 있습니다.
반대 근거
- 2000년 7개 문제가 발표된 이후 25년간 단 1건(푸앵카레 추측, 2003년 그리고리 페렐만)만 해결됐고 이마저 인간 수학자의 성과였습니다.
- 리만 가설은 제기된 지 160년이 넘도록 세계 최고 수학자들도 풀지 못한 문제로, 경시대회식 패턴 매칭과는 차원이 다른 창의적 증명이 요구됩니다.
- AI 연구소가 전체 증명을 완성해 발표해도 수학계 검증에는 수개월에서 수년이 걸릴 수 있어 마감 전 공식 인정이 어려울 수 있습니다.
- 나비에-스토크스 문제는 이 마켓의 자격 요건에서 제외돼 있어 AI가 그 문제를 풀어도 Yes로 정산되지 않습니다.
앞으로 주목할 일정
가장 중요한 기준일은 2026년 12월 31일 오후 11시 59분(미국 동부시간)으로, 이 시점까지 공개 발표가 있어야 합니다. 구글 딥마인드, 오픈AI, 앤트로픽 등 주요 AI 연구소의 수학 연구 관련 논문이나 블로그 발표, 국제수학자대회(ICM) 등 학계 일정, AI 모델의 수학 벤치마크 성적 발표 등이 확률에 영향을 줄 수 있는 구체적 변수입니다.
이 결과 계약 거래하기
Polymarket에서 열기
- 가스비 지원