Ensemble de LLM comme linter pour l'analyse des textes anciens : étude de cas sur 1 Timothée 2:15
Le texte biblique ressemble à un code ancien : des sources originales en grec et en hébreu, enrichies par des commentaires épars sur plusieurs siècles. Les LLM agissent comme des outils de vérification (linters), repérant les incohérences entre le texte et les hypothèses courantes. Cette méthode privilégie la cohérence logique plutôt que la vérité doctrinale.
Défis clés :
- Analyse morphologique des langues mortes, risque élevé d'hallucinations.
- Fusion des conclusions issues de modèles diversifiés pour réduire les biais.
La préparation des données a inclus des contrôles stricts : les modèles ont analysé des formes structurées (cas, temps selon NA28, MorphGNT), sans re-traduction complète.
Stack technique et ingénierie de prompts
L'ensemble comprenait des modèles aux architectures variées :
- DeepSeek
- GLM-5 (Zhipu AI)
- Qwen 3.5 (Alibaba)
- Kimi K2.5 (Moonshot AI)
- Grok 4 (xAI)
Prompt de vérification logique :
Rôle : Vérificateur logique. Analysez le texte et les hypothèses.
Contraintes : Ne pas juger de la vérité ; vérifiez la cohérence, les lacunes logiques, la sémantique des termes.
Sortie : Liste des contradictions entre les hypothèses.Les itérations impliquaient une vérification croisée : les modèles examinaient les sorties des autres. Un orchestrateur humain affinait la formulation sans introduire de nouveaux arguments.
Étude de cas : 1 Timothée 2:15
Texte : « Mais elle sera sauvée par l’enfantement, si elles persistent dans la foi, l’amour et la sainteté avec sobriété » (σῴζεται δὲ διὰ τῆς τεκνογονίας, ἐὰν ἐμένειν ἐν πίστει καὶ ἀγάπῃ καὶ ἁγιασμῷ μετὰ σωφροσύνης).
Hypothèse A (fonctionnelle-sociale) : Le salut par la maternité et l’éducation des enfants (Calvin, MacArthur, Bible de Genève). Liée à Genèse 3:16.
Hypothèse B (messianique-christologique) : L’enfantement comme naissance du Christ (Genèse 3:15). σῴζω au sens sotériologique.
Critères d’analyse de l’ensemble
Les modèles ont défini cinq critères de comparaison :
- Cohérence sémantique : σῴζω dans les Épîtres pastorales est principalement sotériologique (1 Tim 1:15, 2:4, 4:16). L’hypothèse A le restreint à « délivrance des épreuves » — tension. L’hypothèse B préserve toute la portée sémantique.
- Cohérence contextuelle : lien avec 1 Tim 2:5 (un seul médiateur — Christ). L’hypothèse A déplace l’accent sur les actions humaines.
- Cohérence lexicale : τῆς τεκνογονίας — l'article ne désigne pas spécifiquement un événement.
- Absence de contradiction logique : L’hypothèse B évite d’introduire des concepts non attestés.
- Résilience structurelle : La lecture messianique s’intègre plus naturellement à la lettre.
L’ensemble converge vers l’hypothèse B : meilleure résilience structurelle dans le texte.
Résultats par critère
| Critère | Hypothèse A | Hypothèse B |
|----------|--------------|--------------|
| Sémantique de σῴζω | Tension (restriction) | Cohérente |
| Contexte 2:5 | Changement de focus | Renforcée |
| Article τῆς | Compatible | Compatible |
| Lacunes logiques | Concepts ajoutés | Minimes |
| Cohérence globale | Moyenne | Élevée |
L’hypothèse A contredit la sémantique épistolaire, nécessitant des exceptions. L’hypothèse B préserve l’unité textuelle.
Principaux enseignements
- L’ensemble de LLM réduit les biais liés à un modèle unique grâce à la diversité.
- Le prompt comme vérificateur se concentre sur la logique, pas sur l’interprétation.
- La méthode s’applique à tout texte complexe d’interprétation.
- La limitation du jeu de données (tradition protestante) garantit la reproductibilité.
- L’agrégation itérative avec vérifications croisées améliore la fiabilité.
Étendre l’approche
La méthode est scalable : ajout de sources orthodoxes/catholiques, analyse complète des lettres. Pour d’autres textes patrimoniaux (code, contrats) — même principe : formuler des hypothèses, les vérifier logiquement.
— Editorial Team
Aucun commentaire pour le moment.