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] 1 point 5 months ago (2 children)

Et moi, je n'ai aucun problème à expliquer aux gens qui ont voté pour des connards ultra-capitalistes que si leurs dirigeants ont préféré filer de l'eau à des industriels plutôt que de réparer les structures qui donnent de l'eau potable, c'est plus un problème politique qu'un problème technologique.

  • source
  • parent
  • hideshow 2 child comments