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