- Hodge Conjecture이(가) AI가 풀 다음 밀레니엄 상 문제일까요?37¢37%
- 2027년 12월 31일까지 AI가 해결하는 밀레니엄 문제는 하나도 없을까요?35¢35%
- Birch and Swinnerton-Dyer 추측이 AI가 해결하는 다음 밀레니엄 난제가 될까요?17¢17%
- Yang-Mills의 존재성과 질량 간극 문제가 AI가 다음으로 해결할 밀레니엄 난제가 될까요?10¢10%
- P versus NP은(는) AI가 해결할 다음 밀레니엄 난제가 될까요?2¢2%
- Riemann Hypothesis이(가) AI가 풀 다음 밀레니엄 상 문제일까요?2¢2%
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
규칙
이 마켓은 자격을 갖춘 AI 연구소가 2027년 12월 31일 오후 11:59 ET까지 해결책을 발표한 첫 번째 밀레니엄 상 문제를 기준으로 정산됩니다. 자격을 갖춘 AI 연구소가 2027년 12월 31일 오후 11:59 ET까지 자격 요건을 충족하는 문제의 해결책을 발표하지 않으면, 이 마켓은 "2027년 12월 31일까지 해결책 없음"으로 정산됩니다. 자격 요건을 충족하는 두 개 이상의 문제에 대한 해결책이 같은 달력 날짜(ET)에 발표되면, 아래 목록에 기재된 이름의 알파벳순으로 가장 앞서는 문제를 기준으로 이 마켓이 정산됩니다. 자격을 충족하는 문제는 알파벳순으로 Birch와 Swinnerton-Dyer 추측, Hodge Conjecture, 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 연구소 및/또는 공식 대표자의 공식 정보입니다. 다만, 신뢰할 수 있는 보도들의 합의도 활용될 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.