Re: J'ai eu un problème similaire avec le Frido (livre de math)

Retourner au contenu associé (journal : Recrudescence de contributions générées par IA)

[^] # Re: J'ai eu un problème similaire avec le Frido (livre de math)

Posté par LaurentClaessens (site web personnel) le 26 février 2026 à 21:59. En réponse au journal Recrudescence de contributions générées par IA. Évalué à 4.

As tu essayé de demander a un llm de traduire tes preuves en Rock pour les verifier automatiquement ?

Non, mais je veux bien voir un exemple.