Report: GPT-5.6 Sol Ultra produce la dimostrazione della Congettura del Doppio Ciclo [pdf]

{ "title": "GPT-5.6 Sol di OpenAI dimostra una congettura matematica vecchia di 50 anni", "slug": "openai-gpt-5-6-sol-dimostrazione-congettura-doppio-ciclo", "summary": "GPT-5.6 Sol Ultra di OpenAI ha prodotto una dimostrazione della Congettura del Doppio Ciclo, un problema di teoria dei grafi vecchio di 50 anni. Il modello, lanciato il 9 luglio 2026, stabilisce anche nuovi benchmark nella programmazione e introduce ChatGPT Work. Questo segna una tappa fondamentale nella scoperta scientifica guidata dall'AI, dimostrando capacità di ragionamento all'avanguardia insieme a strumenti pratici per le imprese.", "meta_description": "GPT-5.6 Sol Ultra di OpenAI dimostra la Congettura del Doppio Ciclo, un problema matematico vecchio di 50 anni. Il modello stabilisce anche nuovi benchmark nella programmazione e lancia ChatGPT Work.", "content": "

L'AI raggiunge una pietra miliare matematica

GPT-5.6 Sol Ultra di OpenAI ha prodotto una dimostrazione formale della Congettura del Doppio Ciclo, un problema di teoria dei grafi che resisteva da oltre 50 anni. La dimostrazione, pubblicata come PDF da OpenAI, dimostra la capacità del modello di eseguire ragionamenti matematici complessi e multi-step. Questo risultato colloca GPT-5.6 all'avanguardia nella scoperta scientifica guidata dall'AI, una capacità a lungo considerata un Santo Graal per il settore.

La congettura, proposta indipendentemente da William Tutte, Alon Itai e altri, afferma che ogni grafo non orientato senza ponti contiene una collezione di cicli che copre ogni spigolo esattamente due volte. La dimostrazione, attribuita interamente a GPT-5.6 Sol Ultra e scritta con Codex, sfrutta concetti avanzati di teoria dei grafi e algebra lineare, tra cui il teorema dell'8-flusso e un nuovo argomento di etichettatura.

Come funziona la dimostrazione

La dimostrazione, dettagliata in un PDF di 3 pagine rilasciato da OpenAI, segue una riduzione standard ai grafi cubici. Utilizza poi un 8-flusso senza zeri, un risultato noto, per assegnare elementi del gruppo F₂³ agli spigoli. L'innovazione chiave è un lemma che converte questo flusso in un'etichettatura degli spigoli con sottoinsiemi di due elementi del gruppo, soddisfacendo una condizione di parità locale.

Questa etichettatura viene poi mostrata produrre direttamente un doppio ciclo di copertura. Il passo finale prevede la risoluzione di un sistema di equazioni lineari su F₂, che il modello dimostra avere sempre una soluzione utilizzando un argomento di dualità. L'intera dimostrazione è attribuita a GPT-5.6 Sol Ultra, con la stesura assistita da Codex.

Famiglia GPT-5.6: Sol, Terra e Luna

OpenAI ha lanciato la famiglia GPT-5.6 il 9 luglio 2026, con tre livelli: Sol (ammiraglia), Terra (bilanciato) e Luna (leggero). Il modello ammiraglia Sol ha un prezzo di $5 per milione di token di input e $30 per milione di token di output, rendendolo significativamente più conveniente di Claude Fable 5 di Anthropic, che costa circa un terzo in più per attività.

I benchmark iniziali mostrano Sol con un punteggio di 80 sul Coding Agent Index, 2,8 punti sopra Fable 5, utilizzando meno della metà dei token di output e impiegando meno della metà del tempo. Sull'Artificial Analysis Intelligence Index, Sol ottiene 59, appena 0,9 punti dietro i 59,9 di Fable 5. L'amministratore delegato Sam Altman ha dichiarato che Sol è il 54% più efficiente in termini di token nelle attività di codifica agentiva.

Nuove modalità di ragionamento e consolidamento desktop

OpenAI ha introdotto due nuove modalità di ragionamento per Sol: la modalità Max, che alloca potenza di calcolo aggiuntiva per problemi complessi, e la modalità Ultra, che coordina quattro agenti in parallelo per flussi di lavoro impegnativi. Queste modalità sono progettate per gestire il tipo di ragionamento multi-step richiesto per attività come la dimostrazione del Doppio Ciclo.

In una mossa strategica, OpenAI ha fuso l'app Codex in un'applicazione desktop ChatGPT rinnovata, creando una "superapp" unificata.