Aug 23 2026 L'art du partage équitable : des mathématiciens percent un mystère d'imbalance vieux de 30 ans ScienceMathématiques
Aug 13 2026 Les ondes quantiques échappent à tous les labyrinthes fractals : un doctorant du MIT démontre le principe d'incertitude fractal en haute dimension ScienceMathématiques
Aug 10 2026 On pensait qu'il n'existait que deux hexagones magiques : une preuve récente en révèle une infinité MathématiquesVulgarisation ScientifiqueDémonstration
Aug 4 2026 OpenAI Astra résout 10 problèmes mathématiques ouverts pour 2 000 dollars iamathématiquesopenai
Aug 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
Jul 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
Jul 26 2026 La nuit noire des mathématiques : comment quatre crises ont tout redéfini MathématiquesPhilosophie des SciencesPensée
Jul 23 2026 Terence Tao et ChatGPT s'attaquent à un problème séculaire des mathématiques IAMathématiquesChatGPTTao
Jul 22 2026 L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout IAMathématiquesLeanVérification Formelle
Jul 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
Jul 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
