Will AI solve 4 more Millennium Prize Problems in 2026?
원본 갱신 2026. 9. 16. 18:19 KST · 출처: Polymarket. 참여자들의 거래 가격이며 확정 결과가 아닙니다.
AI가 2026년에 밀레니엄 문제를 몇 개 더 해결할 것인가? 시장에서 '4' 선택지의 현재 확률은 1%이며, 24시간 동안 -1.0%p 변했습니다.
1시간 변화 -0.1%p · 1주 변화 —. PolyView의 자체 예측이나 여론조사가 아닙니다.
선택한 조건 2026년에 AI가 밀레니엄 문제 4개를 더 해결할 것인가?
이 시장은 2026년 12월 31일 오후 11시 59분(동부 표준시)까지 적격 AI 연구소가 해결책을 발표한 서로 다른 적격 밀레니엄 문제의 수에 따라 결정됩니다. 각 적격 문제는 몇 개의 적격 AI 연구소가 해결책을 발표했는지 또는 발표가 몇 번 이루어졌는지와 관계없이 한 번만 계산됩니다. 적격 문제는 알파벳 순서로 다음과 같습니다: Birch and Swinnerton-Dyer Conjecture, Hodge Conjecture, P versus NP, Riemann Hypothesis, Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Navier-Stokes existence and smoothness problem에 관한 발표는 적격하지 않습니다. 적격 발표는 적격 AI 연구소 또는 연구소의 공식 대표가 해야 하며, 문제가 해결되었음을 명시해야 합니다. 부분적 결과나 해결책에 대한 진전에 관한 발표는 적격하지 않습니다. 발표는 연구소, 연구원 또는 모델의 작업으로 해결책을 제시해야 하며, 외부 연구원과 단독 또는 공동으로 수행한 작업이어야 합니다. 연구소의 모델, 컴퓨팅 또는 연구 크레딧을 사용한 연구원을 포함하여 외부 연구원에게만 공을 돌리거나 축하하는 발표는 적격하지 않습니다. Clay Math Institute 또는 기타 조직의 추가 확인은 필요하지 않습니다. 적격 AI 연구소는 Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, 01.AI 및 이들의 자회사와 연구 부서, 그리고 발표 시점에 MMLU-pro 리더보드(https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro)에 모델이 등재된 기타 모든 회사입니다. 그 외 회사, 조직 또는 개인의 발표는 적격하지 않습니다. 이 시장의 주요 해결 출처는 적격 AI 연구소 및/또는 공식 대표의 공식 정보이며, 신뢰할 수 있는 보도의 합의도 사용될 수 있습니다.
This market will resolve according to the number of distinct qualifying Millennium Prize Problems for which an eligible AI lab announces a solution by December 31, 2026, 11:59 PM ET. Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made. The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify. A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required. The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify. The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.
변경 기록을 불러오는 중입니다.
