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
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
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
Merci, c’est agréable de savoir que ces tartines sont lues et utiles à d’autres!