Je n'ai pas le niveau pour comprendre tes preuves. Mais j'imagine que tu dois pouvoir faire plusieurs agents, avec l'un qui traduit la preuve, un autre qu'il l’exécute et essaye de corriger les trous, et voir un dernier pour corriger la preuve d'origine si besoin.
[^] # Re: J'ai eu un problème similaire avec le Frido (livre de math)
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Recrudescence de contributions générées par IA. Évalué à 3.
Je n'ai pas le niveau pour comprendre tes preuves. Mais j'imagine que tu dois pouvoir faire plusieurs agents, avec l'un qui traduit la preuve, un autre qu'il l’exécute et essaye de corriger les trous, et voir un dernier pour corriger la preuve d'origine si besoin.
"La première sécurité est la liberté"