Oct 8 2026 OpenAI publie 722 articles mathématiques : l'avalanche de preuves et le vertige de la vérification IAMathématiquesOpenAI
Sep 27 2026 Quand l'IA conçoit un réacteur à fusion de 1 térawatt : qui osera signer l'autorisation de sécurité ? IAMathématiquesAudit de Sécurité
Sep 13 2026 10 000 agents IA résolvent une énigme de 90 ans : pourquoi le prix d'un million de dollars devra attendre 3 ans IAMathématiquesOpenAI
Sep 12 2026 25 médaillés Fields sonnent l'alerte : l'évaluation de l'IA sur les mathématiques assèche le terreau du savoir IAMathématiquesControverse Technique
Sep 9 2026 Le problème du millénaire à 1 million de dollars résolu : la force brute d'OpenAI s'attaque aux brouillons mathématiques Intelligence ArtificielleMathématiquesOpenAI
Sep 7 2026 L'avertissement de Terence Tao : pourquoi résoudre Navier-Stokes par une IA opaque contaminerait les mathématiques MathématiquesIATerence Tao
Sep 5 2026 Le dernier théorème de Fermat formalisé en 11 jours : quand l'IA bouscule la révision mathématique IAMathématiquesAutomatisation
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
