Il problema che stai incontrando con gli algoritmi di colonia di formiche e il motivo per cui nessuno lo ha applicato alla risoluzione dei cruciverba è perché l'ACO non è adatto al problema dei cruciverba.
L'intelligenza artificiale è un campo di studio MASSIVO. Ci sono un sacco di metodi e approcci. Ci sono anche un sacco di problemi là fuori che possono essere applicati all'IA. Probabilmente, tutti loro per la definizione di "problema".
Per alcuni problemi, abbiamo osservato come la natura li risolve e ci sforziamo di emulare e migliorare questi metodi. Cose come gli algoritmi genetici emulano il processo di evoluzione. Le reti neurali emulano i cervelli. ACO emula, sai, formiche. E ACO ci aiuta a capire come risolvere problemi difficili come trovare il percorso più breve. Ma probabilmente non è il metodo migliore per il riconoscimento degli oggetti o per trovare le parole che si adattano a un cruciverba. Non riesco davvero a pensare ad alcun modo per correlare trovando il percorso più breve per trovare come adattare le parole insieme.
È allettante pensare che le reti neurali, gli algoritmi genetici, l'apprendimento automatico, la programmazione genetica, o anche l'ottimizzazione delle colonie di formiche siano soluzioni generali in grado di risolvere tutto, con una quantità sufficiente di ottimizzazione, astrazione e tempo di elaborazione. Ma non è questo il caso.
tl; dr No.