Quand j’étais à la fac les profs qui nous apprenait ces équations nous disaient qu’on était loin d’avoir une démonstration formelle (et ils s’en fichait pas mal, j’étais en filière technique). Et voilà où on en est aujourd’hui, c’est beau !
Quand j’étais à la fac les profs qui nous apprenait ces équations nous disaient qu’on était loin d’avoir une démonstration formelle (et ils s’en fichait pas mal, j’étais en filière technique). Et voilà où on en est aujourd’hui, c’est beau !
Pas les modèles de raisonnements. Ici l’article explique même précisément que de nombreux agents ont développés leur raisonnement en échangeant des millions de messages en language naturel. Ces messages sont en général rendu public, c’était le cas pour la résolution du problème d’Erdoz il y a quelques mois.
Je ne savais pas que les messages étaient rendus publics. My bad sur ce point.