reformulation et intelligence

Le propre de l'intelligence est de produire des énoncés qui ne sont pas de simples reformulations des connaissances précédentes.
La remarque de Pythagore pour tout entier si a² est pair alors a est pair, donc racine de 2 ne peut pas être un nombre rationnel était intelligente. Il y a un moment d'intelligence quand on le redécouvre soi-même en étant guidé (ah ! ah ! l'hypothèse est auto-contradictoire). En revanche, l'IA qui reformule une des milliers de reformulation de la démonstration n'a pas besoin de la moindre intelligence.