GPT-5.6 Sol dowodzi 50-letniej hipotezy dotyczącej podwójnych pokryć cyklicznych
Nowy model GPT-5.6 Sol wygenerował dowód na 50-letnią hipotezę z zakresu teorii grafów, co może stanowić przełomowe osiągnięcie w tej dziedzinie.
GPT-5.6 Sol dowodzi 50-letniej hipotezy dotyczącej podwójnych pokryć cyklicznych
Jest to jeden z najstarszych nierozwiązanych problemów w teorii grafów, sformułowany przez Dyer i Szekeres w 1973 roku.
Hipoteza głosi, że dla dowolnego grafu bez mostów istnieje zbiór cykli takich, że każda krawędź grafu jest zawarta dokładnie w dwóch z tych cykli.
Hipoteza ta ma kluczowe znaczenie, ponieważ wiąże się z teorią przepływów nigdzie niezerowych – centralnym tematem strukturalnej teorii grafów. Podwójne pokrycie było wielokrotnie próbowane do udowodnienia, jednak żadna z dotychczasowych prób nie została uznana za ostateczne rozwiązanie.
Zaledwie kilka godzin temu pracownik OpenAI ogłosił, że nowy model GPT-5.6 Sol wygenerował dowód tej hipotezy w ciągu jednej godziny, wykorzystując 64 subagentów!
Dowód został opublikowany, ale nie został jeszcze zweryfikowany przez społeczność matematyczną, a dyskusje trwają. Jeśli zostanie potwierdzony, będzie to jeden z największych i najbardziej znaczących dowodów wygenerowanych przez sztuczną inteligencję do tej pory.
Dlaczego to ważne
AnalizaTo odkrycie może mieć ogromny wpływ na rozwój teorii grafów oraz sztucznej inteligencji, otwierając nowe ścieżki badawcze w tej dziedzinie.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami
Powiązane w ekosystemie
Praktyczne poradniki, kluczowa terminologia i skille agentów
JSON — dane ustrukturyzowane dla aplikacji, API i agentów AI
Kompletny praktyczny przewodnik po formacie JSON: zasady składniowe, serializacja za pomocą parse/stringify, praca z REST API, JSON Schema oraz strukturalne wyjście dla sztucznej inteligencji.
Formaty DOCX i XLSX: kiedy potrzebny jest pełnoprawny dokument końcowy od AI
Kompletny praktyczny przewodnik po generowaniu i przetwarzaniu dokumentów DOCX oraz arkuszy XLSX za pomocą AI: porównanie z Markdown i CSV, inżynieria promptów, praca z formułami oraz automatyzacja w kodzie.
Binance publikuje śledztwo w sprawie kradzieży 6,3 mld USD
Śledztwo wiąże kradzież ze zmodyfikowanym Homebrew, fałszywą rozmową kwalifikacyjną i wykorzystaniem wewnętrznego narzędzia AI Binance.
Użytkownik Reddita wyjaśnia, dlaczego tygodniowe limity Claude Code są wyczerpywane prawie cztery razy szybciej
Użytkownik Reddita porównał zużycie tokenów w dwóch tygodniach i stwierdził, że każdy 1% tygodniowego limitu Claude Code daje teraz znacznie mniej tokenów wyjściowych; wskazano subagentów, czas rozumowania oraz odświeżanie interfejsu jako prawdopodobne przyczyny.