Comme d'habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l'art sur les preuves mathématiques par des LLMs

you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 4 months ago (1 child)

J'ai tout lu. C'est globalement très intéressant. Je retrouve des parties de mon avis des deux côtés. J'ai vraiment du mal a trancher. Dans tous les cas ce genre de fil me permet de mieux organiser ma vision de l'ia. Merci pour la discussion. Merci

  • source
  • hideshow 1 child comment