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
[–] 2 points 4 months ago (75 children)

Mais enfin, vous n'y pensez pas !!
-- C'est impossible !!

  • source
  • parent
  • hideshow 75 child comments
  • load more comments (75 replies)