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à ?