CHECKMATE evolve codice per risolvere problemi di ottimizzazione industriale

Un nuovo strumento chiamato CHECKMATE dimostra che la generazione di algoritmi tramite evoluzione del codice può risolvere problemi combinatori e di ottimizzazione senza richiedere esperti per specificare i metodi di derivazione delle soluzioni. Il sistema si basa esclusivamente su specifiche formali per garantire la correttezza e consentire la valutazione delle prestazioni, mentre descrizioni in linguaggio naturale guidano il processo evolutivo. Testato su problemi di configurazione e scheduling provenienti da due domini industriali, gli algoritmi evoluti hanno costantemente superato i risolutori all'avanguardia esistenti. Questo cambio di paradigma elimina la necessità di risolutori specializzati e euristiche progettate da esperti, consentendo agli esperti di concentrarsi sulla definizione di cosa sono le soluzioni piuttosto che su come vengono derivate. La ricerca è dettagliata in arXiv:2605.31049.