TechniqueGlossaire de l'IA
Vérification formelle
Réécrire un raisonnement (une preuve mathématique, un programme) dans un langage où chaque étape doit être justifiée explicitement, puis le faire contrôler par un logiciel qui vérifie mécaniquement chaque déduction. Si le vérificateur accepte, la preuve est correcte au sens strict. Elle prend de l'importance à mesure que les IA produisent des démonstrations trop longues pour être relues entièrement par des humains.
Autrement dit
Un contrôleur qui ne comprend rien au voyage mais vérifie chaque billet, un par un : impossible de passer sans titre valable.
Nos articles qui en parlent
- OpenAI publie 372 résultats de maths d'un coup
Un modèle secret d'OpenAI a produit 722 manuscrits, soit 372 familles de résultats, déposés en ligne. Comment les vérifier, et pourquoi ça divise.
- La lenteur est-elle une méthode ?
Face à des résultats produits plus vite qu'ils ne peuvent être compris, on examine ce que la lenteur produisait réellement dans la connaissance, et ce qui se perd quand elle disparaît.
- La semaine des revendications extraordinaires
Récapitulatif de la semaine du 7 au 13 septembre 2026 : Navier-Stokes, disputes d'attribution, Mistral, Suno v6, et les data centers qui quittent le réseau.
- Faut-il croire une annonce extraordinaire ?
Face à une revendication scientifique spectaculaire, on examine ce qui distingue une prudence méthodique d'un scepticisme de posture, et quels critères permettent de se prononcer.
- Les problèmes du millénaire, et comment une preuve devient acceptée
Sept problèmes du millénaire ont été posés en 2000. On explique ce qu'ils sont, pourquoi un seul a été résolu, et surtout comment la communauté mathématique décide qu'une preuve tient.
- C'est quoi la vérification formelle ? Faire contrôler un raisonnement par une machine
La vérification formelle permet de contrôler mécaniquement chaque étape d'un raisonnement. On explique le principe, ses limites, et pourquoi elle devient centrale à mesure que les modèles produisent des preuves.
Dans la même famille : Technique
Retrouver ce terme dans le glossaire complet →Tous les termes