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
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.
Oui c’est un problème politique. Mais donc ceci est faux et issu d’une vision partielle: