AI 연구소가 또 다른 밀레니엄 문제 해법을 발표하는 시점은...? 시장에서 '2027년 12월 31일' 선택지의 현재 확률은 64%이며, 24시간 동안 — 변했습니다.
1시간 변화 — · 1주 변화 +2.0%p. PolyView의 자체 예측이나 여론조사가 아닙니다.
선택한 조건 AI 연구소가 2027 년 12 월 31 일까지 또 다른 밀레니엄 상 문제 해결 방안을 발표할 것인가?
이 시장은 적격 AI 연구소 또는 적격 AI 연구소의 공식 대표가 제목에 명시된 날짜의 미국 동부 시간 기준 오후 11 시 59 분까지 밀레니엄 상 문제 중 어느 하나라도 해결했다고 발표할 경우 "Yes"로 결정됩니다. 그렇지 않으면 이 시장은 "No"로 결정됩니다. 적격 문제는 리만 가설, P 대 NP 문제, 양 - 밀스 존재성 및 질량 간극 문제, 호지 추측, 버치와 스윈너턴 - 다이어 추측입니다 (https://www.claymath.org/millennium-problems/). 나비에 - 스토크스 존재성 및 매끄러움 문제에 관한 발표는 적격하지 않습니다. 적격 발표에는 해당 문제가 해결되었다는 내용이 명시되어야 하며, 부분 결과나 해결을 향한 진전에 관한 발표는 적격하지 않습니다. 발표는 연구소, 그 연구원들 또는 그 모델들의 작업으로 제시되어야 하며, 외부 연구원들과의 공동 작업일 수도 있습니다. 연구소의 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용한 연구원을 포함하여 외부 연구원에게만 공을 돌리거나 축하하는 발표는 적격하지 않습니다. 클레이 수학 연구소나 다른 기관의 추가 확인은 필요하지 않습니다. 적격 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 to "Yes" if an eligible AI lab, or an official representative of an eligible AI lab, announces that the lab has solved any of the qualifying Millennium Prize Problems by 11:59 PM ET of the date specified in the title. Otherwise, this market will resolve to "No". The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify. A qualifying announcement 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.
변경 기록을 불러오는 중입니다.
Will an AI lab announce another Millennium Prize solution by December 31, 2027?
이 시장의 번역·데이터 오류 신고 →