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
Arrêter les modèle de merde ça inclut pas arrêter les modèles de recherche. Mais ça inclus les llm de surveillance heureusement