GPT-5.6 Sol Ultra genera una prova della congettura del doppio ricoprimento dei cicli
GPT-5.6 Sol Ultra ha prodotto una dimostrazione completa della Cycle Double Cover Conjecture, uno dei problemi aperti più longevi della teoria dei grafi. La prova è stata pubblicata insieme al…