L'avantage des maths, c'est que les théorèmes, ça se démontre. J'imagine donc, que quand on a le bagage nécessaire, on arrive à vérifier ce qui vient de sortir du LLM (on me dira peut être que: "c'est pareil pour la sociologie ou l'économie ou l'informatique". Ok, on peut le dire si on veut).
À mon avis c'est un cas particulier de la règle à toujours suivre avec un LLM : c'est bien quand vérifier une information est plus facile que de trouver l'information.
C'est pour ça qu'en math, ça passe bien pour les démonstrations mais que je ne ferais pas confiance pour les définitions.
[^] # Re: Le cas particulier ChatGPT
Posté par LaurentClaessens (site web personnel) . En réponse à la dépêche Le Frido 2025. Évalué à 7.
À mon avis c'est un cas particulier de la règle à toujours suivre avec un LLM : c'est bien quand vérifier une information est plus facile que de trouver l'information.
C'est pour ça qu'en math, ça passe bien pour les démonstrations mais que je ne ferais pas confiance pour les définitions.