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 !

you are viewing a single comment's thread
view the rest of the comments
[–] [S] 1 point 1 month ago (3 children)

Pourquoi ils n'auraient pas accès au processus de résolution ?

  • source
  • parent
  • hideshow 3 child comments
  • [–] 1 point 1 month ago (2 children)

    Parce que le principe des IAg actuels, c'est que c'est une boite noire qui te crache un résultat.

  • source
  • parent
  • hideshow 2 child comments
  • [–] [S] 1 point 1 month ago* (last edited 1 month ago) (1 child)

    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.

  • source
  • parent
  • hideshow 1 child comment