Chaque solution porte un petit badge qui indique le niveau de confiance de Ostrol dans la réponse finale. Le badge a quatre états possibles.
Verified
Notre moteur symbolique a reproduit la même réponse que celle proposée par le solveur. C'est le signal le plus fort que nous puissions donner : deux systèmes indépendants sont d'accord sur le résultat. Tu peux y faire confiance.
Tu le verras sur la grande majorité des problèmes d'algèbre, d'analyse et d'algèbre linéaire où une vérification en forme close est possible.
Unverified
Le solveur a produit une réponse mais la vérification symbolique a été passée — généralement parce que tu es sur le niveau Fast, qui troque le temps de vérification contre de la vitesse. La réponse peut être juste ; elle n'a simplement pas été recontrôlée.
Si la précision est importante, relance le problème sur Standard ou supérieur. Voir Premiers pas pour les niveaux de moteur.
Unverifiable
La vérification a tourné mais n'a pas pu conclure. Cela arrive avec les problèmes pour lesquels une vérification en forme close ne s'applique pas — preuves ouvertes, certaines combinatoires, problèmes appliqués avec des unités du monde réel, et la plupart des problèmes textuels.
« Unverifiable » n'est pas synonyme de « faux ». Cela signifie que nous ne pouvons pas confirmer automatiquement. Lis les étapes et juge le raisonnement toi-même.
Mismatch
Notre moteur symbolique n'est pas d'accord avec la réponse du solveur. Quelque chose cloche — peut-être le solveur, peut-être le moteur symbolique, peut-être l'entrée analysée.
Quand tu vois un mismatch, Ostrol affiche les deux réponses candidates côte à côte et met en évidence là où le désaccord commence. Relancer sur Rigorous ou Research résout généralement le souci. Si le texte OCR te paraît douteux, modifie-le (voir Photographier un problème) puis re-résous.
Pourquoi c'est important
La plupart des outils de maths répondent avec assurance, qu'ils aient raison ou non. Le badge est notre promesse d'être honnête face à l'incertitude — pour que tu saches quand faire confiance et quand recontrôler.
Tu ne trouves pas ce qu'il te faut ? Écris-nous.