- Czy OpenAI ogłosi kolejne rozwiązanie Problemu Milenijnego do 31 grudnia 2026?14¢14%
- Czy OpenAI ogłosi kolejne rozwiązanie Problemu Milenijnego do 31 grudnia 2027?56¢56%
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Zasady
Ten rynek zostanie rozstrzygnięty jako „Tak”, jeśli OpenAI lub oficjalny przedstawiciel OpenAI ogłosi, że OpenAI rozwiązało którykolwiek z kwalifikujących się problemów milenijnych między utworzeniem rynku a wskazaną datą, 23:59 ET. 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ć. W ogłoszeniu rozwiązanie musi zostać przedstawione jako wynik pracy OpenAI, 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 korzystającym z modeli, mocy obliczeniowej lub kredytów badawczych OpenAI, nie będzie spełniać warunkó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/lub jego oficjalnych przedstawicieli; można jednak również wykorzystać zgodne doniesienia wiarygodnych mediów.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.