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
On est déjà entre 1&2% aujourd’hui.
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 😅