Maszyna kontra matematyczna zagadka. GPT-5.6 Sol Ultra i kontrowersje wokół hipotezy Cycle Double Cover
OpenAI poinformowało o przełomie, który może przedefiniować model pracy naukowców. Ich najnowszy model AI, GPT-5.6 Sol Ultra, potrzebował niespełna godziny, aby sformułować kompletny dowód hipotezy Cycle Double Cover (podwójnego pokrycia cyklami). To problem z zakresu teorii grafów, który stawiał opór matematykom przez ostatnie pięć dekad. Sukces ten nie wynika jednak z nagłego oświecenia algorytmu, lecz ze specyficznej architektury współpracy 64 subagentów pracujących równolegle pod ogromną presją narzuconą przez system weryfikacji.
Dlaczego to ważne teraz
W dobie szumu wokół sztucznej inteligencji, doniesienia o rozwiązaniu problemów matematycznych wymagają szczególnej ostrożności. Branża mierzy się z plagą fałszywych sukcesów generowanych przez modele językowe, co wymusza rygorystyczną weryfikację akademicką. Choć praca arXiv:2412.20874 z 2025 roku poprawiła jedynie granice obliczeniowe, OpenAI twierdzi, że poszło o krok dalej, domykając teorię sformułowaną jeszcze w 1973 roku przez George’a Szekeresa.
Przełom ukryty w prostocie
Sama hipoteza dotyczy fundamentalnej kwestii: czy w każdym grafie bez krawędzi rozcinających (bridgeless graph) można znaleźć zbiór cykli, który pokryje każdą krawędź dokładnie dwa razy? Choć przez lata powstawały rozwiązania dla przypadków szczególnych, np. grafów planarnych, ogólny dowód pozostawał poza zasięgiem. Thomas Bloom z Uniwersytetu w Manchesterze, który analizował wynik OpenAI, ocenił dowód jako krótki i elementarny. Według niego rozwiązanie to mogło zostać odkryte już w latach 80., ponieważ nie wymaga tworzenia nowych teorii, a jedynie błyskotliwego połączenia znanych już narzędzi matematycznych.
Metodologia cyfrowego uporu
Dlaczego zatem ludzie nie wpadli na to wcześniej? Bloom sugeruje, że kluczem okazał się kontrintuicyjny zwrot w rozumowaniu, który człowiek najpewniej uznałby za ślepą uliczkę. W przeciwieństwie do naukowca, AI nie odczuwa zniechęcenia. System OpenAI został zaprogramowany w sposób niemal bezwzględny: inżynierowie narzucili modelowi założenie, że dowód istnieje i zakazali sprawdzania statusu problemu w Google. Większość agentów pracowała w izolacji, by nie sugerować się nawzajem, a specjalne jednostki adwersaryjne brutalnie punktowały każdy błąd logiczny. Model miał obowiązek szukać rozwiązania przez minimum osiem godzin. Uwinął się w sześćdziesiąt minut.
Problem z autorstwem i brakiem źródeł
Mimo technicznego sukcesu, wokół osiągnięcia narastają kontrowersje. Eksperci przypominają, że hipoteza ta od 1973 roku uznana jest za otwartą, a żadne niezależne źródła naukowe jak dotąd nie potwierdziły ostatecznie dowodu GPT-5.6 Sol Ultra. Bloom krytykuje OpenAI za brak rzetelności akademickiej – dokument wygenerowany przez model nie zawiera ani jednego cytatu, choć logiczne podstawy dowodu zdają się wywodzić bezpośrednio z pracy Bermonda, Jacksona i Jaegera z 1983 roku. Brak uznania dla wcześniejszego dorobku sprawia, że laik mógłby odnieść mylne wrażenie, iż AI stworzyła strategię od zera. W rzeczywistości system prawdopodobnie sprawnie przeszukał i zsyntetyzował istniejącą literaturę.
Nowa era weryfikacji znanych prawd
To już kolejny sukces OpenAI na polu klasycznych zagadnień matematycznych, zaraz po rozwiązaniu hipotezy odległości jednostkowej. Mamy do czynienia z sytuacją, w której AI obnaża prostotę problemów uchodzących za ekstremalnie trudne. Choć pełna weryfikacja dowodu przez środowisko naukowe jeszcze trwa – w tym konfrontacja z wcześniejszymi „konstruktywnymi dowodami” jak ten z pracy arXiv:2307.06649 – jasne staje się, że AI odsieje problemy wymagające autentycznej innowacji od tych, które potrzebowały jedynie nieludzkiej cierpliwości.
