- Mag-aanunsyo ba ang isang AI lab ng isa pang solusyon sa isang Millennium Prize Problem bago sumapit ang Disyembre 31, 2026?20¢20%
- Mag-aanunsyo ba ang isang AI lab ng isa pang solusyon sa isang Millennium Prize Problem bago sumapit ang Disyembre 31, 2027?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Mga panuntunan
Maresolba ang market na ito bilang "Oo" kung iaanunsyo ng isang kuwalipikadong AI lab, o ng opisyal na kinatawan ng isang kuwalipikadong AI lab, na nalutas ng lab ang alinman sa mga kuwalipikadong Millennium Prize Problem bago mag-11:59 PM ET sa petsang nakasaad sa pamagat. Kung hindi, maresolba ang market na ito bilang "Hindi". Kabilang sa mga kuwalipikadong problema ang Riemann Hypothesis, P versus NP, ang problema ng pag-iral ng Yang-Mills at mass gap, ang Hodge Conjecture, at ang Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Hindi kuwalipikado ang mga anunsyo tungkol sa problema ng pag-iral at kinis ng Navier-Stokes. Dapat malinaw na sabihin sa isang kuwalipikadong anunsyo na nalutas na ang problema; hindi kuwalipikado ang mga anunsyo tungkol sa mga bahagyang resulta o pag-usad tungo sa solusyon. Dapat ilahad sa anunsyo na gawa ng lab, ng mga mananaliksik nito, o ng mga modelo nito ang solusyon, mag-isa man o katuwang ang mga panlabas na mananaliksik. Hindi kuwalipikado ang anunsyong nagbibigay lamang ng pagkilala o pagbati sa mga panlabas na mananaliksik, kabilang ang mga mananaliksik na gumamit ng mga modelo, computing, o research credit ng lab. Hindi kailangan ng karagdagang kumpirmasyon mula sa Clay Math Institute o anumang ibang organisasyon. Ang mga kuwalipikadong AI lab ay 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, at 01.AI, kasama ang mga subsidiary at dibisyon ng pananaliksik ng mga ito, gayundin ang anumang ibang kumpanyang may modelong nakalista sa MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) sa oras ng anunsyo. Hindi kuwalipikado ang mga anunsyo ng anumang ibang kumpanya, organisasyon, o indibidwal. Ang pangunahing pagmumulan ng resolusyon para sa market na ito ay ang opisyal na impormasyon mula sa mga kuwalipikadong AI lab at/o sa mga opisyal na kinatawan ng mga ito; gayunman, maaari ring gamitin ang pagkakasundo ng mga mapagkakatiwalaang ulat.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.