#10IA et sciencePublié
Prove.
Une réponse de l’IA vaut-elle une preuve ?
En dix secondes
Le 8 septembre 2026, OpenAI annonce une solution aux équations de Navier-Stokes, produite par 10 000 agents d’IA en 88 heures, puis soumise à une vérification formelle avec Lean. La vérification est en cours et le prix Clay n’est pas attribué.
Signal
Le 8 septembre 2026, OpenAI annonce une solution aux équations de Navier-Stokes, produite par 10 000 agents d’IA en 88 heures, puis soumise à une vérification formelle avec Lean. La vérification est en cours et le prix Clay n’est pas attribué.
Paradoxe
La performance impressionne. La valeur vient de ce qui suit : un résultat que l’on peut vérifier.
Implication
La même exigence vaut pour une fonction finance : un chiffre produit par l’IA doit pouvoir être retracé et vérifié avant d’être utilisé.
Sources
- OpenAI, 8 septembre 2026
Domaines concernés
Ready to think differently?
Échanger avec nous