GPT-5.6 Sol Ultra e la dimostrazione con 64 agenti della Congettura del Doppio Ciclo
OpenAI ha pubblicato un manoscritto di tre pagine in cui sostiene di aver fornito una dimostrazione completa della Congettura del Doppio Ciclo, un importante problema aperto della teoria dei grafi risalente agli anni '70. Secondo i ricercatori di OpenAI Ethan Knight e Noam Brown, GPT-5.6 Sol Ultra ha prodotto il risultato in meno di un'ora di tempo reale, coordinando fino a 64 sottoagenti paralleli. Successivamente, Codex con GPT-5.6 Sol è stato utilizzato per preparare la stesura matematica finale. OpenAI ha anche rilasciato il prompt completo di due pagine.
GPT-5.6 Sol Ultra e la Dimostrazione della Congettura del Doppio Ricoprimento dei Cicli con 64 Agenti
Introduzione
OpenAI ha pubblicato un manoscritto di tre pagine che rivendica una dimostrazione completa della Congettura del Doppio Ricoprimento dei Cicli, un importante problema aperto della teoria dei grafi risalente agli anni '70.
Secondo i ricercatori di OpenAI Ethan Knight e Noam Brown, GPT-5.6 Sol Ultra ha generato il risultato in meno di un'ora di tempo reale, coordinando fino a 64 sottoagenti paralleli. Successivamente, Codex con GPT-5.6 Sol è stato utilizzato per preparare la redazione matematica finale.
OpenAI ha anche rilasciato il prompt completo di due pagine. Tale documento è prezioso perché mostra come un compito di ricerca complesso possa essere strutturato per un sistema multi-agente su larga scala.
La precisazione fondamentale è semplice: OpenAI ha pubblicato una dimostrazione rivendicata, non un consenso matematico sottoposto a revisione paritaria. Gli specialisti devono ancora verificare indipendentemente l'argomentazione prima che la congettura possa considerarsi formalmente risolta.
Cosa ha Annunciato OpenAI
Ethan Knight ha dichiarato che GPT-5.6 Sol Ultra ha prodotto una dimostrazione della Congettura del Doppio Ricoprimento dei Cicli con 64 sottoagenti in poco meno di un'ora.
Noam Brown ha evidenziato due punti:
- La configurazione del modello era pubblicamente disponibile, non limitata a un sistema di ricerca interno.
- Il calcolo parallelo in fase di test ha ridotto il tempo necessario per un compito che altrimenti avrebbe richiesto un ragionamento sequenziale molto più lungo.
OpenAI descrive ultra come l'impostazione GPT-5.6 di massima capacità. Coordina molteplici agenti attraverso flussi di lavoro paralleli e scambia un maggiore consumo di token per risultati più solidi e tempi di risposta più rapidi su compiti impegnativi.
Cosa è Stato Pubblicato
| Documento | Lunghezza | Scopo |
|---|---|---|
| Manoscritto della dimostrazione | 3 pagine | Presenta una dimostrazione affermativa completa |
| Prompt completo | 2 pagine | Definisce il teorema, i criteri di completamento, la strategia di ricerca, la gestione degli agenti e i requisiti di revisione |
Il manoscritto della dimostrazione afferma che la dimostrazione è interamente dovuta a GPT-5.6 Sol Ultra e che Codex con GPT-5.6 Sol è stato utilizzato per la stesura.
Cos'è la Congettura del Doppio Ricoprimento dei Cicli?
Un grafo è un insieme di vertici collegati da archi.
Un ciclo è un percorso chiuso. Un ponte è un arco la cui rimozione aumenta il numero di componenti connesse.
La congettura afferma:
Ogni grafo finito senza ponti possiede una
Una collezione di cicli in cui ogni arco compare esattamente due volte.
La parola "esattamente" crea la difficoltà. Aggiungere un nuovo ciclo può risolvere il problema di un arco insufficientemente ricoperto, causando però la comparsa di un altro arco tre volte.
Perché i Ponti Sono Esclusi
Un ponte non può appartenere a un ciclo. Se un arco è l'unica connessione tra due parti di un grafo, nessun percorso chiuso valido può includerlo. Un doppio ricoprimento dei cicli è quindi impossibile quando esiste un ponte.
L'Idea Centrale della Dimostrazione Pubblicata
Il manoscritto non cerca direttamente i cicli richiesti.
Converte il problema in un problema di etichettatura degli archi su uno spazio vettoriale finito, quindi utilizza l'algebra lineare per dimostrare che le etichette locali possono essere rese coerenti a livello globale.
Passo 1: Riduzione ai Grafi Cubici
La dimostrazione utilizza una riduzione standard attribuita a Jaeger. È sufficiente trattare multigrafi cubici senza cappi, dove ogni vertice ha esattamente tre
spigoli incidenti.
Passaggio 2: Assegnare un'etichetta di flusso non nullo
La dimostrazione utilizza lo spazio vettoriale finito:
Γ = F₂³
Un flusso mai nullo assegna un vettore non nullo a ogni spigolo, rispettando una regola di conservazione in ogni vertice.
Per le etichette degli spigoli incidenti x, y e z:
x + y + z = 0
La dimostrazione si basa sul teorema consolidato secondo cui ogni grafo senza ponti ammette un flusso mai nullo su questo gruppo di otto elementi.
Passaggio 3: Sostituire ogni etichetta con un insieme di due elementi
Ogni spigolo e riceve un insieme di due elementi:
Pₑ ⊆ Γ
La regola locale target è:
Per ogni vertice v ed etichetta s ∈ Γ,
il numero di spigoli incidenti e con s ∈ Pₑ è 0 o 2.
Fissiamo un'etichetta s e raccogliamo tutti gli spigoli il cui insieme la contiene. Ogni vertice ha quindi grado zero o due in quel sottografo, per cui gli spigoli selezionati formano un'unione disgiunta di cicli.
Poiché ogni spigolo ha due etichette, appartiene esattamente a due famiglie di cicli definite dalle etichette. Ciò crea un doppio ricoprimento di cicli.
Passaggio 4: Risolvere la coerenza globale
La costruzione locale deve concordare in entrambi gli estremi di ogni spigolo.
La dimostrazione esprime questa condizione come un sistema lineare:
tᵤ + tᵥ + εₑ f(e) = dₑ
Si utilizza poi un argomento di dualità e parità per mostrare che il sistema ammette sempre una soluzione.
Gli insiemi locali di due elementi possono quindi essere combinati in un'unica assegnazione globale, e i cicli richiesti ne derivano automaticamente.
La strategia in una frase
La dimostrazione non costruisce i cicli uno per volta. Costruisce etichette la cui struttura di parità costringe i cicli a emergere.
Perché la verifica indipendente è ancora importante
Una dimostrazione breve di una famosa congettura aperta richiede un'attenta verifica, indipendentemente dal fatto che sia stata scritta da una persona o da un sistema IA.
I revisori devono verificare che:
- La riduzione ai grafi cubici sia applicata esattamente come utilizzata.
- Il teorema del flusso mai nullo abbia le ipotesi richieste.
- L'etichettatura locale gestisca ogni configurazione cubica valida.
- L'argomento di dualità dimostri la piena risolvibilità.
- Gli spigoli paralleli e i grafi disconnessi siano gestiti correttamente.
- Nessun passaggio assuma una
forma equivalente della congettura.
Articoli precedenti hanno anche rivendicato dimostrazioni della Congettura del Doppio Ricoprimento di Cicli senza produrre una risoluzione ampiamente accettata. L'esistenza di un manoscritto non è quindi sufficiente di per sé.
Una descrizione accurata è:
GPT-5.6 Sol Ultra ha prodotto un breve manoscritto che OpenAI presenta come una dimostrazione completa, e l'argomentazione è ora disponibile per una revisione matematica indipendente.
Cosa ha fatto di diverso il prompt
Il prompt non ha prescritto un unico metodo di dimostrazione. Ha creato un contratto di compito.
Ha definito:
- Il teorema esatto.
- Tutti i termini importanti e i casi limite.
- Cosa costituiva il completamento.
- Cosa non costituiva il completamento.
- Come gli agenti dovessero esplorare alternative.
- Quando una strada dovesse essere segnata come bloccata.
- Come le dimostrazioni candidate dovessero essere revisionate.
- Quali prove ogni agente dovesse restituire.
- Quando l'agente principale potesse fermarsi.
Lezione sul Prompt 1: Definire il Completamento, Non una Procedura Presunta
Per un compito difficile con un percorso di soluzione sconosciuto, un flusso di lavoro rigido può codificare un'ipotesi errata.
Un prompt più forte definisce l'artefatto finale e i test che deve superare.
Fornisci un risultato completo che soddisfi ogni criterio di accettazione sotto indicato.
Puoi scegliere e modificare il processo in modo dinamico, ma l'output finale deve
coprire ogni caso dichiarato e superare una revisione indipendente.
Lezione sul Prompt 2: Rimuovere l'Ambiguità in Anticipo
Il prompt definisce la classe di grafi, i ponti, i cicli, gli archi paralleli, i grafi disconnessi e la molteplicità esatta prima di chiedere una dimostrazione.
Per lavoro aziendale o tecnico, l'equivalente è definire:
- Intervallo di tempo.
- Fonte dei dati.
- Gruppo di utenti.
- Unità di misura.
- Formato richiesto.
- Ipotesi consentite.
- Casi esclusi.
- Confini di approvazione.
Lezione sul Prompt 3: Dichiarare Cosa Non Conta
Il prompt rifiuta:
- Dimostrazioni solo per classi di grafi speciali.
- Ricoprimenti in cui alcuni archi non appaiono esattamente due volte.
- Riduzioni a un'altra congettura non dimostrata.
- Verifica solo fino a una dimensione fissa del grafo.
- Progressi parziali presentati come soluzione completa.
Questa tecnica impedisce a un agente di restituire qualcosa di impressionante ma incompleto.
Lezione sul Prompt 4: Preservare Percorsi di Ricerca Indipendenti
All'agente principale è stato detto di iniziare con approcci genuinamente diversi e di non rivelare la via favorita alla maggior parte degli agenti troppo presto.
Questo riduce la convergenza prematura e il pensiero di gruppo.
Un portfolio pratico di agenti potrebbe includere:
| Famiglia di agenti | Responsabilità |
|---|---|
| Strutturale | Cercare riduzioni e invarianti |
| Algebrico | Tradurre il problema in equazioni |
| Costruttivo | Costruire direttamente l'oggetto richiesto |
| Computazionale | Testare casi e lemmi proposti |
| Letterario | Verificare teoremi standard |
| Avversario | Cercare controesempi e ipotesi |
nascoste |
| Sintetizzatore | Confrontare e unire risultati compatibili |
Lezione sul Prompt 5: Segnare i Percorsi Bloccati
Quando un percorso incontra un lemma mancante difficile quanto il problema originale, dovrebbe essere segnato come bloccato.
Nessun agente aggiuntivo dovrebbe essere assegnato a meno che qualcuno non introduca un meccanismo, invariante, costruzione o controesempio genuinamente nuovo.
Ciò impedisce che le risorse di calcolo vengano sprecate in una riduzione elegante ma circolare.
Lezione sul Prompt 6: Separare la Generazione dalla Revisione
Il prompt richiede che gli agenti avversari controllino la molteplicità esatta, i casi di archi paralleli, i grafi disconnessi, i cammini chiusi non validi e
ragionamento circolare.
L'agente che crea una soluzione non dovrebbe essere l'unico agente a giudicarla.
Questo vale per lanci di prodotti, analisi dei dati, migrazioni, revisioni di sicurezza e flussi di lavoro legali o finanziari.
Lezione 7 del Prompt: Richiedere Prove Concrete
I sottoagenti devono restituire lemmi, equazioni, costruzioni o controesempi concreti. Rapporti vaghi come "direzione promettente" non venivano accettati.
Un'istruzione riutilizzabile è:
Ogni agente deve restituire un artefatto che un altro agente possa ispezionare.
Non accettare aggiornamenti di stato senza calcoli, test, fonti,
codice, esempi o una lacuna irrisolta precisamente indicata.
L'Istruzione delle Otto Ore e il Risultato in Un'Ora
Il prompt istruisce il sistema a dedicare almeno otto ore prima di considerare di fermarsi o arrendersi. L'annuncio di OpenAI afferma che la dimostrazione è stata prodotta in meno di un'ora.
I documenti pubblici non dettagliano esattamente come sia stata interpretata quell'istruzione.
Una spiegazione plausibile è la differenza tra tempo di clock reale e tempo aggregato degli agenti. Con 64 agenti in esecuzione in parallelo, un'ora di tempo trascorso può contenere molte ore-agente di lavoro.
Questa è un'inferenza piuttosto che un metodo di contabilità confermato per l'esperimento.
Un Contratto Riutilizzabile per Attività Multi-Agente