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
Ah effectivement la différence n’est pas énorme, mais du coup pourquoi utiliser une projection dans ce cas là ?
Parce-que quand j’ai recherché pour vérifier ce que j’avais en tête avant de poster j’ai trouvé ça en premier 😅