GPT-5.6 Sol Ultra de la OpenAI produce dovada unei conjecturi de acoperire dublă a ciclului de 50 de ani

La doar o zi după ce OpenAI a pus la dispoziție cel mai puternic model al său, compania spune că sistemul a produs o dovadă completă a Conjecturei Cycle Double Cover - o problemă deschisă celebrată în teoria grafurilor care a rezistat matematicienilor timp de aproximativ o jumătate de secol.

Cercetătorul OpenAI Ethan Knight a anunțat rezultatul pe 10 iulie 2026, postând că GPT-5.6 Sol Ultra „a produs o dovadă a Conjecturei de acoperire dublă a ciclului de 50 de ani, folosind 64 de subagenți în puțin mai puțin de o oră”. Afirmația a urcat rapid în partea de sus a Hacker News, atrăgând sute de comentarii de la matematicieni și ingineri care dezbat dacă dovezile sunt valabile.

Pentru oricine urmărește cele mai recente evoluții AI, rezultatul este o demonstrație izbitoare a spre care se îndreaptă modelele de frontieră - și un memento că afirmațiile lor matematice trebuie încă verificate în mod demodat.

Care este conjectura ciclului dublu acoperire?

Conjectura se află într-o ramură a matematicii numită teoria grafurilor. În termeni simpli, se pune o întrebare înșelător de simplă: pot marginile oricărui grafic „fără punte” – unul fără muchie a cărui eliminare ar fi despărțit – să fie întotdeauna acoperite de o colecție de cicluri, astfel încât fiecare margine să apară exact de două ori?

Problema a fost pusă independent de mai mulți matematicieni de-a lungul anilor, inclusiv Paul Seymour în 1979 și George Szekeres în 1973, având rădăcini anterioare în lucrările lui W. T. Tutte și ale lui Alon Itai și Michael Rodeh. În ciuda afirmației sale simple, a devenit una dintre cele mai cunoscute probleme nerezolvate din domeniu, iar rezultatele parțiale erau cunoscute doar pentru clase speciale de grafice.

Conform notei de probă publicată de OpenAI, argumentul reduce problema la grafice cubice fără bucle, apoi se sprijină pe un rezultat clasic - teorema fluxului nicăieri zero asupra grupului F32 (echivalent cu teorema lui Tutte cu 8 fluxuri) - și un pas cheie de algebră liniară care convertește o etichetare a muchiei în structura necesară pentru un ciclu dublu. Scrisul are doar câteva pagini și, în special, nu folosește „nicio matematică dezvoltată în ultimii 30 de ani”, așa cum a observat un comentator al Hacker News.

Cum l-a abordat GPT-5.6 Sol Ultra

Ceea ce diferențiază acest rezultat de răspunsurile obișnuite de chatbot este modul în care a fost implementat modelul. GPT-5.6 Sol Ultra a rulat în modul „multiagent v2” al OpenAI, creând un sistem de până la 64 de subagenți cooperanți care au explorat diferite strategii de demonstrare în paralel. OpenAI a lansat promptul complet alături de dovadă, oferind o privire rară asupra instrucțiunilor date sistemului.

Solicitarea a instruit modelul să „utilizeze multiagent v2 în mod agresiv și dinamic”, pentru a menține un „portofoliu divers de abordări” și pentru a desfășura agenți adversari pentru a audita orice dovadă a candidatului pentru capcanele obișnuite – cum ar fi traseele închise mascalate în cicluri sau raționament circular accidental. Chiar i-a spus sistemului să „petrece cel puțin 8 ore pe asta înainte să se gândească măcar să se întoarcă sau să renunțe”, deși execuția finală s-a finalizat în mai puțin de o oră.

În secțiunea „Declarație de utilizare AI” a notei de probă, OpenAI este explicit: „Dovada din această notă se datorează în întregime GPT 5.6 Sol Ultra și scrierii cu Codex (cu GPT 5.6 Sol).”

Nu toată lumea este încă convinsă

Comunitatea matematică a reacționat cu un amestec de entuziasm și prudență - și acel scepticism este bine plasat. La data publicării, dovada nu a fost verificată oficial într-un asistent de dovezi, cum ar fi Lean, și nici nu a trecut de evaluarea tradițională de către colegi.

Pe Hacker News, mai mulți comentatori au remarcat că dovezile scurte și elegante ale conjecturilor celebre merită o examinare deosebit de atentă. „Este o dovadă foarte scurtă care nu folosește nicio matematică dezvoltată în ultimii 30 de ani”, a scris un utilizator. „Ceea ce nu face neapărat greșit, dar în absența unei mecanizări în Lean sau a unei evaluări inter pares adecvate, cred că este prematur să postez asta.”

Alții au subliniat că principalele biblioteci de dovezi formale ale teoriei grafurilor nu sunt încă suficient de mature pentru a verifica rezultatele la nivel de cercetare de acest tip, ceea ce înseamnă că este posibil ca verificarea să fie necesară de la experți umani care citesc argumentul rând cu rând. OpenAI însuși a încadrat anunțul ca parte a unui model mai larg: „Mai multe calcule în timpul testării conduc la o inteligență mai mare”, a spus compania, semnalând că abordarea multiagent - nu acest singur rezultat - este povestea reală pe care vrea să o spună.

De ce contează

Chiar dacă proba Cycle Double Cover are nevoie în cele din urmă de corectare, episodul semnalează o schimbare semnificativă în ceea ce modelele mari de limbaj pot face în matematică pură. Sistemele AI de frontieră au produs anterior rezultate noi de cercetare în domenii specializate - inclusiv alte afirmații recente privind probleme rezolvate în geometrie și combinatorică - dar atacarea unei conjecturi numite, vechi de decenii cu un roi coordonat de agenți de raționament ridică ștacheta considerabil.

Pentru cercetători, rezultatul este dublu. În primul rând, rețeta multiagent - multe încercări independente, polenizare încrucișată de idei și auditare contradictorie - pare a fi un șablon cu adevărat util pentru rezolvarea dificilă a problemelor. În al doilea rând, blocajul de verificare este acum direct asupra oamenilor: modelul poate genera dovezi ale candidaților mai repede decât le poate verifica comunitatea.

Este posibil ca această tensiune să definească următoarea fază a matematicii asistate de AI. După cum a spus un comentator, dacă această dovadă se menține, „cineva este pe cale să înceapă o listă” cu alte probleme de lungă durată pe care să le arunce următoarei generații de modele.

Deocamdată, matematicienii vor citi cu atenție nota de trei pagini – creion în mână – în timp ce restul industriei AI urmărește să vadă dacă efortul de o oră al lui GPT-5.6 devine parte din înregistrarea matematică permanentă.

Rămâi înaintea AI

Pentru mai multe despre descoperirile modelelor de frontieră și acoperirea cercetării AI, vizitați pagina de pornire AI Buzz Wire.

Citiți mai multe știri despre AI →