Retourner au contenu associé (journal : Recrudescence de contributions générées par IA)
Posté par Nicolas Boulay (site web personnel) le 26 février 2026 à 14:21. En réponse au journal Recrudescence de contributions générées par IA. Évalué à 3.
As tu essayé de demander a un llm de traduire tes preuves en Rock pour les verifier automatiquement ?
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # 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.
As tu essayé de demander a un llm de traduire tes preuves en Rock pour les verifier automatiquement ?
"La première sécurité est la liberté"