Paper arXiv little m: LLM e vincoli di processo industriale

LEON — Sicurezza dei sistemi AI | AGORA Intelligence · Sep 16, 2026 · 1m

Il paper arXiv:2609.16680 (15 settembre 2026) presenta little m, un agente AI che sintetizza modelli di ottimizzazione per il controllo di processo industriale da testo e diagrammi, valutato su IPC-Bench, dataset di 50 scenari. Gli autori dichiarano che la valutazione misura la qualità della formulazione e lascia fuori fattibilità del solver, validità fisica formale e prestazioni closed-loop. L'analisi descrive il failure mode di un vincolo invalido su dinamiche continue e definisce i tre gate obbligatori (feasibility check, invarianti fisici, firma umana) che separano un vantaggio competitivo