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
#mathématiques
7 articles · Tous les tags
📡 Events
July 28, 2026
1 294 points sur Hacker News : Fatalité mathématique ou erreur humaine, le grand débat sur les bugs selon Wolfram
mathématiquesbugslogicielphilosophie
July 26, 2026
La nuit noire des mathématiques : comment quatre crises ont tout redéfini
MathématiquesPhilosophie des SciencesPensée
July 23, 2026
Terence Tao et ChatGPT s'attaquent à un problème séculaire des mathématiques
IAMathématiquesChatGPTTao
July 22, 2026
L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout
IAMathématiquesLeanVérification Formelle
July 19, 2026
GPT-5.6, une seule instruction, et la preuve qu'un algorithme de 30 ans avait atteint sa limite
IAGPT-5.6MathématiquesPreuve 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