Controesempio assistito da IA alla convergenza dell'ADMM a tre blocchi con vincolo identità

Utilizzando l'intelligenza artificiale, i ricercatori hanno dimostrato un controesempio che indica che il metodo dei moltiplicatori a direzione alternata (ADMM) a tre blocchi potrebbe non convergere, anche quando il terzo blocco di vincolo è rappresentato dalla matrice identità. Questo affronta una questione precedentemente senza risposta nel campo della teoria dell'ottimizzazione. Il controesempio è stato identificato tramite Codex con GPT-5.6 Sol, un assistente di programmazione IA, ed è stato confermato tramite un approccio di riduzione lineare a tratti. I risultati, pubblicati su arXiv (2608.14396), rivelano che l'ADMM diretto a tre blocchi può fallire, nonostante i primi due blocchi siano quadratici fortemente convessi. Ciò è particolarmente degno di nota poiché l'ADMM a due blocchi ha garanzie di convergenza consolidate, mentre l'estensione a tre blocchi è stata problematica, specialmente per quanto riguarda il terzo blocco identità. La ricerca sottolinea l'influenza crescente dell'IA nei progressi matematici.