GPT-5.6 Sol Ultra od OpenAI przedstawia dowód hipotezy otwartej od pięćdziesięciu lat

OpenAI opublikowało 11 lipca 2026 dokument, w którym przypisuje swojemu najnowszemu modelowi GPT-5.6 Sol Ultra samodzielne wygenerowanie dowodu Cycle Double Cover Conjecture, hipotezy z teorii grafów pozostającej otwartą od pięćdziesięciu lat. Model miał skompletować dowód w niecałą godzinę, uruchamiając równolegle 64 subagentów przeszukujących różne strategie rozumowania.

To pierwszy przypadek, w którym OpenAI publicznie przypisuje autorstwo matematycznego dowodu wyłącznie modelowi, a nie zespołowi badaczy wspieranemu przez AI. Firma udostępniła też pełną treść promptu użytego do uruchomienia procesu, co pozwala innym zespołom powtórzyć eksperyment na własnych problemach.

Jak działał proces dowodzenia

Zgodnie z opublikowanym promptem model miał uruchomić do 64 współbieżnych subagentów i zarządzać nimi dynamicznie, zamiast przypisywać im z góry stałe role. We wczesnych rundach agenci mieli świadomie pozostawać w niewiedzy co do najbardziej obiecującego podejścia wypracowanego przez inne wątki, by uniknąć przedwczesnego zbiegnięcia się całego procesu na jednym, atrakcyjnym, lecz niekompletnym pomyśle. Część agentów pełniła funkcję adwersaryjną, czyli aktywnie szukała luk i typowych błędów w każdym kandydacie na dowód zgłoszonym przez pozostałe wątki. Dopiero po wielu rundach takiej wewnętrznej weryfikacji system złożył ostateczną, spójną wersję rozumowania w jeden dokument.

Co mówi hipoteza

Cycle Double Cover Conjecture dotyczy grafów bez mostów, czyli takich, w których żadna pojedyncza krawędź nie rozłącza sieci na dwie części po jej usunięciu. Hipoteza głosi, że dla każdego takiego grafu można znaleźć zbiór cykli, który pokrywa każdą krawędź dokładnie dwukrotnie. To pytanie z pogranicza teorii grafów i kombinatoryki, mające znaczenie dla badań nad strukturą sieci i algorytmami optymalizacyjnymi.

Głosy matematyków

Thomas Bloom, matematyk z Uniwersytetu Manchesteru, jako jeden z pierwszych niezależnych badaczy przeanalizował opublikowany dowód i podzielił się wrażeniami publicznie.

Bardzo ładny dowód - Thomas Bloom, matematyk, Uniwersytet Manchesteru

Bloom zwrócił jednak uwagę na istotny brak: dowód nie cytuje pracy Bermonda, Jacksona i Jaegera z 1983 roku, na której ideach częściowo się opiera, ani nowszych badań Mačajovej i Škoviery dotyczących pokrewnych hipotez o pokryciach cyklowych. Dla matematyka to sygnał, że model potrafi odtworzyć poprawne rozumowanie, ale nie zawsze prawidłowo umiejscawia je w kontekście istniejącej literatury.

Historia porażek i ostrożność środowiska

Cycle Double Cover Conjecture przyciągała już wcześniej kilka rzekomych dowodów, w tym prace publikowane na serwerze arXiv, które po bliższej analizie okazywały się mieć luki logiczne albo zostały przez autorów wycofane. To dlatego środowisko matematyczne, mimo pochwał dla elegancji nowego rozumowania, traktuje je na razie jako twierdzenie do zweryfikowania, a nie ostatecznie rozstrzygnięty wynik. OpenAI samo podkreśliło w komunikacie, że zależy mu na reakcji społeczności naukowej spoza firmy i zachęciło matematyków do dalszej analizy oraz prób znalezienia błędów.

Wczoraj udostępniliśmy publicznie GPT-5.6 Sol Ultra. Dziś dzielimy się informacją, że model wygenerował dowód pięćdziesięcioletniej Cycle Double Cover Conjecture przy użyciu 64 subagentów w niecałą godzinę. Udostępniamy prompt i dowód, jesteśmy ciekawi, co z tym zrobicie - Ethan Knight, OpenAI

GPT-5.6 Sol Ultra to wariant rodziny GPT-5.6, która wcześniej była prezentowana głównie jako narzędzie do programowania. Publikacja dowodu matematycznego pokazuje, że OpenAI stawia teraz również na zastosowania modeli w badaniach podstawowych, gdzie liczy się nie tylko poprawność pojedynczej odpowiedzi, ale zdolność do wielogodzinnego, wieloetapowego rozumowania.

Co to oznacza dla nauki i dla Polski

Jeśli dowód przetrwa pełną recenzję środowiska matematycznego, będzie to jeden z pierwszych udokumentowanych przypadków, w którym model językowy samodzielnie rozwiązał otwarty problem matematyczny bez prowadzenia za rękę przez człowieka na każdym kroku. Dla polskich uczelni i instytutów badawczych, które coraz częściej testują narzędzia AI jako wsparcie w pracy naukowej, to sygnał, że warto już teraz budować procedury weryfikacji wyników generowanych przez takie systemy, zamiast czekać, aż podobne narzędzia staną się standardem w laboratoriach.

Formalna recenzja i próby odtworzenia dowodu przez niezależne zespoły matematyczne potrwają zapewne miesiące. Do tego czasu praca funkcjonuje w statusie mocnego, ale niepotwierdzonego twierdzenia, podobnie jak wcześniejsze próby rozwiązania tej samej hipotezy. Źródła: The Decoder (the-decoder.com), OfficeChai (officechai.com)