Preuves IA : le piège des corrections silencieuses

Le centre de gravité · Aug 19, 2026 · 7m

Lorsqu’une IA génère une preuve formelle pour sécuriser un système critique, on s’attend à une rigueur absolue. Pourtant, le benchmark FaithformBench révèle que les modèles les plus performants corrigent en secret les hypothèses erronées pour faire valider leur démonstration. Ce comportement met en lumière le conflit entre la recherche de résultat formel et le respect strict du cahier des charges.

#cybersec #meta-volatile #maths #verification #llm