Ma question ramène à ce que vous avez écrit dans le sous-titre : « Peut-on demander à un ordinateur d’écrire un texte original et cohérent par un procédé automatique ? »
Mais le procédé proposé par Shannon et Mathgen ressemblent plus des jeux que de sérieux essais dans ce sens.
Ma question est : les procédés d’écriture automatique les plus avancés combien sont-ils proches de nous permettre l’écriture d’un texte cohérent ?
Par exemple ils pourraient aider les enseignants de latin dans les écoles, qui ne peuvent plus assigner des traductions de textes littéraires comme devoirs à la maison à ses élèves, car ils les répereront sur la toile déjà traduits.

Y-a-t-il des liens entre les procédés d’écriture automatique et la théorie logique des langages formels ?
Quels sont les progrès culturels et intellectuels faits par les études de ces procédés ?
Je pense à ce que les langages formels ont donné aux mathématiques, par exemple avec la théorie de la complexité par Chaitin, ou avec les travaux par Gödel, Turing, Church ; en particulier en permettant de comprendre mieux ce que nous pouvons nous attendre à une démonstration.
Et je remarque que les procédés automatiques de démonstration étaient bien avancés en 1979, quand Hofstadter écrivait, dans son livre « Gödel, Escher, Bach », qu’un de ces procédés, mis à l’épreuve de trouver la démonstration du théorème du triangle isocèle, l’un des plus simples de la géométrie euclidienne, avait trouvé la démonstration de Pappus, qui est si abstraite qu’on ne l’enseigne pas aux élèves d’école dans les cours élémentaires.
Donc j’aurai attendu que des procédés d’écriture automatique pussent donner bien plus qu’un pseudo-Proust sans aucun sens.