Zasady

26 października 2026 OpenAI ogłosiło, że jego system AI „udowodnił, że ETH jest fałszywa, a wynik ten został następnie zweryfikowany w Lean”. (zob.: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Rynek zostanie rozstrzygnięty na „Tak”, jeśli obalenie Exponential Time Hypothesis zostanie potwierdzone przed wskazaną datą i godziną 23:59 ET za pomocą co najmniej jednej z wymienionych poniżej kwalifikujących się metod potwierdzenia. W przeciwnym razie ten rynek zostanie rozstrzygnięty na „Nie”. „Exponential Time Hypothesis” oznacza hipotezę sformułowaną przez Russell Impagliazzo i Ramamohan Paturi, zgodnie z którą problem 3-SAT nie może zostać rozwiązany w czasie subwykładniczym. „Obalenie” oznacza dowolny dowód matematyczny wykazujący, że Exponential Time Hypothesis jest fałszywa, w tym dowód przedstawiony w artykule OpenAI zatytułowanym „The Exponential Time Hypothesis is False” (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) oraz każdą jego poprawioną, zrewidowaną lub rozszerzoną wersję, niezależnie od tego, czy jej autorem jest OpenAI, czy inne osoby. Potwierdzenia, które wykazują jedynie słabszy wynik, taki jak szybszy algorytm, który nie obala Exponential Time Hypothesis, lub które wykazują jedynie, że kod Lean OpenAI się kompiluje, nie będą kwalifikować się. Kwalifikujące się metody potwierdzenia to: (i) Publikacja recenzowana: artykuł przedstawiający obalenie, napisany przez OpenAI lub innych badaczy, zostaje opublikowany w renomowanym, recenzowanym czasopiśmie naukowym lub na recenzowanej konferencji (np. STOC, FOCS, SODA) albo zostaje przyjęty do publikacji przez takie czasopismo lub konferencję. Preprinty i inne publikacje, które nie przeszły pełnej recenzji, nie będą kwalifikować się. Preprinty i inne publikacje, które nie przeszły pełnej recenzji naukowej, nie będą się kwalifikować. (ii) Niezależna weryfikacja: grupa recenzująca kierowana przez Russell Impagliazzo, Ramamohan Paturi i Ryan Williams, dowolny z tych trzech badaczy albo inny wiarygodny badacz lub grupa badawcza niezwiązana z OpenAI publicznie potwierdza, że obalenie jest poprawne. Potwierdzenie musi bez zastrzeżeń stwierdzać, że obalenie jest poprawne albo że Exponential Time Hypothesis jest fałszywa (np. że dowód został sprawdzony i uznany za poprawny). Musi zostać opublikowane przez weryfikującego badacza, grupę lub jej członków, między innymi w artykule, preprincie, na stronie internetowej, blogu lub oficjalnym koncie w mediach społecznościowych; potwierdzenia przekazane wyłącznie przez OpenAI nie będą kwalifikować się. Potwierdzenie może opierać się na analizie dowodu pisemnego, formalizacji w Lean lub obu tych elementów; potwierdzenie oparte na formalizacji w Lean będzie kwalifikować się, jeśli stwierdza, że sformalizowany wynik wykazuje, iż Exponential Time Hypothesis jest fałszywa. Oświadczenia, że analiza jest w toku, że dotychczas nie znaleziono błędów lub że obalenie wydaje się prawdopodobnie poprawne, nie będą kwalifikować się. Potwierdzenia opublikowane lub podane do publicznej wiadomości po wskazanej dacie nie będą brane pod uwagę, nawet jeśli analiza, na której się opierają, odbyła się wcześniej. Pracownicy, podwykonawcy i inwestorzy OpenAI są uznawani za osoby powiązane z OpenAI. Grupa recenzująca kierowana przez Russell Impagliazzo, Ramamohan Paturi i Ryan Williams oraz jej członkowie nie będą uznawani za osoby powiązane z OpenAI. Oświadczenie grupy recenzującej, że jej udziału nie należy traktować jako poświadczenia tego twierdzenia, nie uniemożliwi uwzględnienia w rozstrzygnięciu późniejszego kwalifikującego się potwierdzenia wydanego przez grupę lub jej członków. Oświadczenia, posty w mediach społecznościowych lub komunikaty prasowe OpenAI albo podmiotów z nim powiązanych, doniesienia medialne jedynie przekazujące te twierdzenia oraz formalizacja w Lean opublikowana przez OpenAI nie będą samodzielnie kwalifikować się. Źródłem rozstrzygnięcia tego rynku będzie konsensus wiarygodnych źródeł i właściwych ekspertów naukowych potwierdzający wiarygodność kwalifikującego się potwierdzenia.

Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.