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
Regarde l’intégralité de tes posts sur cette discussion. Tu t’es fair debunker sur a peu prêt tout et tu continues. il y a un moment ou, oui, restes dans ta bulle d’énergie nucléaire non polluante, de réseau électrique pas interconnecté, d’IA qui génère pas de CO2, de roleplay IA utile, ou 95% des entreprises qui ont perdu en implémentant de l’IA doivent avoir tort. Mais tout ça c’est juste la faute de Peter Thiel et consort.
La conclusion est effectivement apprends a apprendre au lieu de chercher a avoir raison.