- OpenAI kontra Anthropic: Kto jako pierwszy znajdzie kolejne rozwiązanie problemu milenijnego?54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Zasady
Rynek zostanie rozstrzygnięty na „OpenAI”, jeśli OpenAI lub oficjalny przedstawiciel OpenAI ogłosi, że OpenAI rozwiązała kwalifikujący się Problem Milenijny, zanim zrobi to Anthropic, i nie później niż do 31 grudnia 2027, 23:59 ET. Rynek zostanie rozstrzygnięty na „Anthropic”, jeśli Anthropic lub oficjalny przedstawiciel Anthropic ogłosi, że Anthropic rozwiązała kwalifikujący się Problem Milenijny, zanim zrobi to OpenAI, i nie później niż do 31 grudnia 2027, 23:59 ET. Jeśli żadna z firm nie ogłosi spełniającego kryteria rozwiązania do 31 grudnia 2027, 23:59 ET, lub jeśli obie ogłoszą takie rozwiązanie tego samego dnia kalendarzowego, rynek zostanie rozstrzygnięty w proporcji 50-50. Kwalifikujące się ogłoszenie dowolnej innej firmy nie zakończy wyścigu ani nie wpłynie na rozstrzygnięcie. 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 firmy, jej badaczy lub jej modeli, samodzielnej albo wspólnej z zewnętrznymi badaczami. Ogłoszenie, które jedynie przypisuje zasługi zewnętrznym badaczom lub im gratuluje, w tym badaczom korzystającym z modeli, mocy obliczeniowej lub kredytów badawczych firmy, nie będzie spełniać kryteriów. Dodatkowe potwierdzenie ze strony Clay Math Institute ani żadnej innej organizacji nie jest wymagane. Podstawowym źródłem rozstrzygnięcia tego rynku będą oficjalne informacje od OpenAI i Anthropic i/lub ich oficjalnych przedstawicieli; można jednak również wykorzystać zgodność wiarygodnych doniesień.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.