October 27, 2026
OpenAI réfute l'hypothèse du temps exponentiel et confie la vérification à ses auteurs
OpenAIInformatique ThéoriqueVérification FormelleComplexité Computationnelle
#vérification formelle
6 articles · Tous les tags
📡 Events
October 23, 2026
Opus 5.5 génère 180 millions de lignes de preuves formelles pour 123 bibliothèques open source
Vérification FormelleLLMAnthropicSécurité de la Chaîne Logistique Logicielle
October 18, 2026
Lean 4.35 embarque quatre noyaux : le vérificateur de preuves désormais prouvé par lui-même
LeanVérification FormelleAudit de Code IACompilateurs
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