- Czy Hodge Conjecture będzie kolejnym problemem milenijnym rozwiązanym przez AI?37¢37%
- Czy do 31 grudnia 2027 żaden problem milenijny nie zostanie rozwiązany przez AI?35¢35%
- Czy hipoteza Birch and Swinnerton-Dyer będzie kolejnym Problemem Milenijnym rozwiązanym przez AI?17¢17%
- Czy problem istnienia i luki masowej Yang-Mills będzie kolejnym Problemem Milenijnym rozwiązanym przez AI?10¢10%
- Czy P versus NP będzie kolejnym problemem milenijnym rozwiązanym przez AI?2¢2%
- Czy Riemann Hypothesis będzie kolejnym problemem milenijnym rozwiązanym przez 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.
Zasady
Ten rynek zostanie rozstrzygnięty na podstawie pierwszego kwalifikującego się Problemu Milenijnego, którego rozwiązanie ogłosi kwalifikujące się laboratorium AI do 31 grudnia 2027, 23:59 ET. Jeśli żadne kwalifikujące się laboratorium AI nie ogłosi rozwiązania kwalifikującego się problemu do 31 grudnia 2027, 23:59 ET, ten rynek zostanie rozstrzygnięty jako „Brak rozwiązania do 31 grudnia 2027”. Jeśli rozwiązania dwóch lub większej liczby kwalifikujących się problemów zostaną ogłoszone tego samego dnia kalendarzowego (ET), rynek zostanie rozstrzygnięty na korzyść problemu, którego nazwa, zgodnie z poniższą listą, znajduje się jako pierwsza w kolejności alfabetycznej. Kwalifikujące się problemy to, w kolejności alfabetycznej, hipoteza Bircha i Swinnertona-Dyera, Hodge Conjecture, P kontra NP, hipoteza Riemanna oraz problem istnienia Yang-Millsa i luki masowej (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 zostać opublikowane przez kwalifikujące się laboratorium AI lub jego oficjalnego przedstawiciela i musi stwierdzać, że problem został rozwiązany; ogłoszenia częściowych wyników lub postępów 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ł.