Faire communiquer un modleè de langage et un assistant de preuve- binaire
date
25.05.2025
Description, commentaire
On entend beaucoup dire que les LLM ne savent pas raisonner. Pourtant, des modèles de langage semblent capables de raisonner. Comment est-ce possible ? Pour résoudre ce mystère, nous avons demandé à un expert du domaine, Guillaume Baudart, d’expliquer à binaire ce « miracle ».
type
- contribution
thème
- société
- technologie