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
[–] [S] 0 points 5 months ago (1 child)

"Learn to do your research!". Décidément, je quittais Reddit pour piefed, je ne m'attendais pas à tomber sur Facebook.

  • source
  • parent
  • hideshow 1 child comment
  • load more comments (1 reply)