- Czy laboratorium AI ogłosi kolejne rozwiązanie problemu milenijnego do 31 grudnia 2026?20¢20%
- Czy laboratorium AI ogłosi kolejne rozwiązanie problemu milenijnego do 31 grudnia 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.
Zasady
Ten rynek zostanie rozstrzygnięty na „Tak”, jeśli uprawnione laboratorium AI lub jego oficjalny przedstawiciel ogłosi, że laboratorium rozwiązało którykolwiek z kwalifikujących się problemów milenijnych do 23:59 ET w dniu wskazanym w tytule. W przeciwnym razie ten rynek zostanie rozstrzygnięty na „Nie”. Kwalifikujące się problemy to hipoteza Riemanna, problem P kontra NP, problem istnienia Yang-Millsa i luki masowej, hipoteza Hodge’a oraz hipoteza Bircha i Swinnertona-Dyera (https://www.claymath.org/millennium-problems/). Ogłoszenia dotyczące problemu istnienia i gładkości Naviera-Stokesa nie będą się kwalifikować. Kwalifikujące się ogłoszenie musi stwierdzać, że problem został rozwiązany; ogłoszenia o częściowych wynikach lub postępach w kierunku rozwiązania nie będą się kwalifikować. Ogłoszenie musi przedstawiać rozwiązanie jako wynik pracy laboratorium, jego badaczy lub jego modeli, samodzielnej albo prowadzonej wspólnie z zewnętrznymi badaczami. Ogłoszenie, które jedynie przypisuje zasługi zewnętrznym badaczom lub im gratuluje, w tym badaczom, którzy korzystali z modeli, mocy obliczeniowej lub środków na badania laboratorium, nie będzie się kwalifikować. Dodatkowe potwierdzenie ze strony Clay Math Institute ani żadnej innej organizacji nie jest wymagane. Uprawnione laboratoria AI to 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 i 01.AI, wraz z ich filiami i działami badawczymi, a także każda inna firma, której model znajduje się w rankingu MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) w chwili ogłoszenia. Ogłoszenia pochodzące od jakiejkolwiek innej firmy, organizacji lub osoby nie będą się kwalifikować. Podstawowym źródłem rozstrzygnięcia tego rynku będą oficjalne informacje od uprawnionych laboratoriów AI i/lub ich oficjalnych przedstawicieli; można jednak również wykorzystać zgodną opinię wiarygodnych mediów.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.