- AI가 2026년에 밀레니엄 난제를 추가로 이만큼 풀까요: 0?79¢79%
- AI가 2026년에 밀레니엄 난제를 추가로 해결할까요? 개수: 114¢14%
- AI가 2026년에 밀레니엄 난제를 추가로 이만큼 풀까요: 2?4¢4%
- AI가 2026년에 밀레니엄 난제를 추가로 이만큼 풀까요: 3?1¢1%
- AI가 2026년에 밀레니엄 난제를 추가로 이만큼 풀까요: 4?<1¢<1%
- AI가 2026년에 밀레니엄 난제를 추가로 이만큼 풀까요: 5?<1¢<1%
Trader consensus assigns an 81% implied probability to zero additional Millennium Prize Problems solved by AI in 2026, driven by the extreme difficulty of these open mathematical challenges and the current limits of large language models in generating novel, rigorous proofs. Recent AI advances have improved performance on competition benchmarks, yet no verified progress has emerged on the Clay Institute problems, which demand creative insights beyond existing training data or formal verification tools. With 2026 nearing its end, traders view the remaining timeframe as insufficient for the breakthroughs needed, though hybrid symbolic-neural systems or major model releases could still shift outcomes before year-end.
규칙
이 시장은 자격을 갖춘 AI 연구소가 2026년 12월 31일 오후 11:59 ET까지 해결책을 발표하는, 서로 다른 적격 밀레니엄 난제의 수에 따라 결제됩니다. 적격 문제는 해결책을 발표하는 자격을 갖춘 AI 연구소의 수나 발표 횟수와 관계없이 각각 한 번만 집계됩니다. 적격 문제는 알파벳순으로 Birch 및 Swinnerton-Dyer 추측, Hodge 추측, P 대 NP, 리만 가설, Yang-Mills 존재성과 질량 간극 문제(https://www.claymath.org/millennium-problems/)입니다. 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않습니다. 적격 발표는 자격을 갖춘 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 연구소 및/또는 공식 대표자의 공식 정보입니다. 다만, 신뢰할 수 있는 보도들의 합의도 활용될 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.