#vérification formelle

3 articles · Tous les tags

📡 Events

August 3, 2026

Une IA prétend résoudre un problème vieux de 90 ans : l'assistant de preuve était cassé

IAMathématiquesVérification Formelle

July 22, 2026

L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout

IAMathématiquesLeanVérification Formelle

July 4, 2026

Seize ans caché aux yeux de centaines de millions d'utilisateurs : les mathématiques l'ont trouvé en une seconde

SQLiteTLA+Vérification FormelleWAL