Vérification des preuves
RAIVA est la plateforme d’IA fondée sur les preuves pour les connaissances d’entreprise. Elle associe recherche, méthodes analytiques et modèles de langage pour vérifier les affirmations à partir de leurs sources.
Architecture documentée. Ne prouve pas une validation de mise en production.
Architecture
La préparation documentaire constitue la base. Les recherches sémantique, lexicale et par graphe se complètent en parallèle. Les profils de rôle coordonnent la recherche et peuvent lancer de nouvelles recherches. Génération et vérification des preuves restent distinctes.
Architecture documentée. Ne prouve pas une validation de mise en production.
Limites des modèles
La génération de langage peut produire des affirmations plausibles mais non étayées. Contexte absent, résultats inadaptés, versions contradictoires et conclusions erronées sont des sources d’erreur distinctes.
ChatGPT et Claude peuvent eux-mêmes utiliser des outils de recherche et des sources. La configuration et le processus précis comptent. Des citations seules ne confirment ni une affirmation ni l’exhaustivité des recherches. L’échantillonnage influence la sortie, pas sa véracité.
Chaîne de vérification
Choisissez un cas et un composant. Le changement de cas conserve le composant choisi. La présentation décrit des fonctions, pas un ordre technique fixe d’exécution.
Exemple illustratif · documents fictifs
Documents fictifs de Lindenhof. Vérification illustrative, sans requête en direct.
Étayé dans le périmètre présenté ; les autres documents n’ont pas été examinés de manière exhaustive.
Relancer la recherche si les preuves manquent
v1 · Page 8 · § 12
Le bail est conclu pour une durée ferme prenant fin le 31 décembre 2030.
L’avenant est signé par le preneur uniquement. Son entrée en vigueur n’est pas établie ; la date de fin de bail applicable reste ouverte.
Relancer la recherche si les preuves manquent
v1 · Page 8 · § 12
Le bail est conclu pour une durée ferme prenant fin le 31 décembre 2030.
v2 · Page 2 · § 1
La durée du bail est prorogée jusqu’au 31 décembre 2033. Le preneur peut résilier une seule fois, à effet au 31 décembre 2031.
Utilise les dates de fin de l’état locatif. Si l’avenant n° 2 est en vigueur, le lot A court jusqu’en 2033 avec une faculté de résiliation anticipée en 2031, et le WALT doit être recalculé. Un calcul arithmétiquement juste ne confirme ni l’exhaustivité ni l’exactitude des données d’entrée.
Relancer la recherche si les preuves manquent
v1 · Au 30 juin 2026 · Lignes 1–2
Lot A : 229 200 € par an, fin le 31 déc. 2030. Lot B : 110 400 € par an, fin le 30 juin 2029.
IA analytique
Déterministe signifie ici qu’un calcul ou une règle définis peuvent être reproduits avec les mêmes entrées. Cela ne s’étend pas à toutes les décisions du modèle ni aux réponses complètes.
(229 200 € × 4,5 ans + 110 400 € × 3,0 ans) / 339 600 € = 4,01 ans
État locatif · v1 · Au 30 juin 2026 · Lignes 1–2Même un WALT correctement calculé est faux pour la décision si l’état locatif ne reflète pas l’avenant n° 2.
Applications
Mettre côte à côte les dates de fin, loyers et facultés de résiliation anticipée divergents, et laisser ouverte une entrée en vigueur non établie.
Rattacher chaque location de l’état locatif à un bail et signaler les lacunes avec leur source.
Présenter loyers, dates de fin, date de référence et formule avec le résultat.
La source présentée soutient l’affirmation dans le périmètre indiqué.
Les sources divergent ; une clarification est nécessaire.
Aucune source suffisante n’a été trouvée.
Ne pas annoncer une vérification achevée avec succès.
Des citations individuelles ne remplacent pas une recherche exhaustive.
Questions fréquentes
Le processus explicite sources, vérifications et limites ouvertes. Un chat IA peut aussi utiliser des outils ; la configuration compte.
Il aide à trouver des relations documentées et des sources liées. Une relation seule ne démontre pas la validité de fond.
Il priorise les résultats par pertinence. Il ne détermine pas si une affirmation est vraie.
Il influence le choix des continuations du texte lors de la génération. Ce n’est pas une vérification factuelle.
Non. Des calculs définis peuvent être reproductibles ; cela ne garantit pas la justesse des décisions du modèle ni des réponses complètes.
La lacune reste visible. Des recherches ou une clarification humaine sont nécessaires ; une affirmation non étayée n’est pas présentée comme confirmée.
Prochaine étape
Discutons de vos documents, de votre question et du périmètre nécessaire.
Principes du produit, sans garantie opérationnelle ou juridique.
Architecture documentée. Ne prouve pas une validation de mise en production.
