Si ChatGPT a réussi à retrouver quelque chose que « la communauté mathématique » a échoué à faire... il y a un vrai risque pour que l’information de ChatGPT soit une hallucination.
Sauf que dans le cas d'une démonstration mathématique, si on est suffisamment compétent, on est capable de vérifier que la démonstration est vraie. Et si j'ai bien compris ce que Laurent fait, c'est exactement cela : il demande de l'aide à ChatGPT puis il vérifie que la démonstration qu'il a obtenu est exacte.
[^] # Re: Le cas particulier ChatGPT
Posté par Strash . En réponse à la dépêche Le Frido 2025. Évalué à 7.
Sauf que dans le cas d'une démonstration mathématique, si on est suffisamment compétent, on est capable de vérifier que la démonstration est vraie. Et si j'ai bien compris ce que Laurent fait, c'est exactement cela : il demande de l'aide à ChatGPT puis il vérifie que la démonstration qu'il a obtenu est exacte.