Dowód wyprodukowany przez sztuczną inteligencję i ogłoszony na początku tego miesiąca jako część serii 377 wyników matematycznych uzyskanych przez sztuczną inteligencję przekonuje ekspertów, którzy spędzili ostatnie dwa tygodnie na rozbieraniu go na części. W piśmie z 19 października magazyn Quanta poinformował, że teoretycy liczb rozpakowali już wygenerowany przez sztuczną inteligencję dowód hipotezy quasi-Riemanna – słabszej wersji hipotezy Riemanna, prawdopodobnie największej otwartej kwestii w matematyce – a ich werdykt jest niezwykle stanowczy.
Jared Duker Lichtman z Uniwersytetu Stanforda nazwał to „z dużym marginesem jak dotąd najbardziej znaczącym osiągnięciem w zakresie sztucznej inteligencji w matematyce”. Maksym Radziwiłł z New York University, którego własna praca stanowi podstawę części dowodu, określił konsekwencje jako „zdumiewające”. Więcej kontekstu na ten temat znajdziesz w naszych trendy AI.
Co głosi hipoteza Quasi-Riemanna
Hipoteza Riemanna jest otwarta od ponad 160 lat. Dotyczy funkcji zeta Riemanna i lokalizacji jej nietrywialnych zer i jest ściśle powiązana z rozkładem liczb pierwszych wśród liczb całkowitych. Ponieważ liczby pierwsze są podstawą arytmetyki, dowód zmieniłby kształt ogromnych obszarów teorii liczb.
Hipoteza ta jest jednym z siedmiu problemów Nagrody Milenijnej nazwanych przez Clay Mathematics Institute i był to jedyny problem przeniesiony ze słynnej listy 23 problemów Davida Hilberta ogłoszonej sto lat wcześniej.
Jak podaje Quanta, szkielet techniczny był mapowany krok po kroku przez pokolenia. Riemann wykazał w 1859 roku, że nietrywialne zera funkcji zeta decydują o rozrzedzaniu się liczb pierwszych na osi liczbowej, i udowodnił, że mogą one znajdować się tylko w pionowym pasku, gdzie rzeczywista część danych wejściowych leży pomiędzy zerem a jeden. W 1896 roku dwóch matematyków niezależnie wykazało, że na prawej krawędzi paska nie ma zer — wynik wystarczająco mocny, aby udowodnić twierdzenie o liczbach pierwszych. Sama hipoteza mówi, że wszystkie nietrywialne zera leżą dokładnie na linii środkowej paska, gdzie część rzeczywista równa się połowie. Trywialne zera w ujemnych liczbach całkowitych są już w pełni zrozumiałe. Ponad 160 lat wysiłków zawęziło i zbadało ten pasek, nigdy nie ustalając zer.
Hipoteza quasi-Riemanna, czyli quasi-RH, jest stwierdzeniem ściśle słabszym. Mimo to jego konsekwencje sięgają niemal tak daleko. „W pewnym sensie zdecydowana większość konsekwencji RH wynika już z quasi-RH” – powiedział Radziwiłł Quanta.
Od ogłoszenia do weryfikacji
Wyniki po raz pierwszy pojawiły się 6 października, kiedy OpenAI ogłosiło, że uzyskało 377 wyników matematycznych uzyskanych za pomocą swoich systemów AI. Wśród zawodowych matematyków ogłoszenie początkowo spotkało się z umiarkowanym sceptycyzmem – systemy sztucznej inteligencji już wcześniej dostarczały rzekomych dowodów, które zawaliły się pod kontrolą ekspertów, a weryfikacja od dawna stanowiła wąskie gardło oddzielające matematykę generowaną przez sztuczną inteligencję od matematyki akceptowanej.
Według raportu Quanty ten dowód jest inny: w przeciwieństwie do innych niedawnych dowodów sztucznej inteligencji, ten został rozpakowany przez ekspertów-ludzi. Teoretycy liczb, w tym Radziwiłł, Alexander Dunn z Georgia Institute of Technology i inni, analizują tę argumentację od czasu jej ogłoszenia, sprawdzając jej etapy i osadzając ją w istniejącej wiedzy.
Kontrole utrzymały się. „Dowód jest zaskakującą syntezą dobrze znanych idei” – powiedział Dunn, który wraz z Radziwiłłem był pionierem technik, od których częściowo zależy wynik.
Stare pomysły, ukryte powiązania
Być może najbardziej uderzającym aspektem dowodu, jak powiedzieli matematycy Quanta, jest to, czego nie wymagał. Wbrew oczekiwaniom, że rozstrzygnięcie nawet osłabionej wersji hipotezy Riemanna wymagałoby zasadniczo nowych maszyn, dowód stworzony przez sztuczną inteligencję nie wprowadził żadnych nowych koncepcji. Zamiast tego odkrył ukryte powiązania między ustalonymi, łącząc techniki w sposób, jakiego nie stworzył żaden człowiek.
Ten wzorzec – nowość wynikająca raczej z nieoczekiwanej syntezy niż nowej teorii – wyłania się jako cecha charakterystyczna odkryć matematycznych wspomaganych sztuczną inteligencją i skłania badaczy do ponownego rozważenia, gdzie najprawdopodobniej wkład maszyn w matematykę pojawi się jako pierwszy.
Dlaczego ma to znaczenie w badaniach nad sztuczną inteligencją
Zweryfikowany wynik jest kamieniem milowym w dziedzinie sztucznej inteligencji w matematyce – dziedzinie, która gwałtownie przyspieszyła wraz z udoskonaleniem modeli rozumowania. Ogłoszenie OpenAI z 6 października, o którym pisaliśmy, gdy Instytut Studiów Zaawansowanych zadał pytania dotyczące serii wyników, było jak dotąd największym pojedynczym twierdzeniem dotyczącym matematyki wywodzącej się ze sztucznej inteligencji. Dowód quasi-RH jest pierwszym wynikiem z tej partii, który został poddany szczegółowej analizie przez eksperta i przetrwał.
W przypadku laboratoriów AI odcinek przedstawia przepływ pracy, który może stać się standardem: modele tworzą potencjalne dowody na dużą skalę, a eksperci-ludzi selekcjonują, weryfikują i absorbują istotne wyniki. Dla matematyków bezpośrednia konsekwencja jest węższa, ale realna — zbiór konsekwencji hipotezy Riemanna, których nie trzeba już trzymać w całości przypuszczenia.
Quanta zauważa, że matematycy dopiero zaczynają analizować znaczenie dowodu dla danej dziedziny. Jak to ujął Radziwiłł, implikacje są „zdumiewające” – przymiotnik rzadko łączony z wynikiem, który nie odpowiada pełnej hipotezie.
Odcinek ten wyznacza także punkt odniesienia dla przyszłych roszczeń. Każde laboratorium sztucznej inteligencji ogłaszające przełomy matematyczne będzie teraz porównywane z quasi-RH: deklarowanym wynikiem, który został sprawdzony, zweryfikowany i zaakceptowany przez ekspertów, którzy mają najlepszą pozycję, aby go obalić.
Nic z tego nie rozstrzyga samej hipotezy Riemanna. Pełna hipoteza pozostaje otwarta, a quasi-RH jest ściśle słabsza. Jednak po raz pierwszy system sztucznej inteligencji dostarczył dowód z pogranicza analitycznej teorii liczb, który rozwikłali i potwierdzili czołowi specjaliści w tej dziedzinie – fakt, który może powiedzieć tyle samo o przyszłości badań matematycznych, co samo twierdzenie.
Ten artykuł powstał na podstawie raportu magazynu Quanta opublikowanego 19 października 2026 r.
---
Bądź na Bieżąco z AINajnowsze wiadomości, analizy i przełomy w dziedzinie AI — wszystko w jednym miejscu.
Czytaj więcej wiadomości AI →
