Dedication To my mother Marème Fall my father Amadou Chimère Diaw my wife Isabelle Diaw my children Fatou-Chimère Diaw, Ahmadou-Chimère Diaw, Marième-Chimère Diaw, Aïssata-Chimère Diaw . my grandparents Fatou Methiour Ndiaye & Waly Sega Fall Fatou Faye & Souleymane Chimère Diaw Teachers To those who shall come into the world a century after me, beginning in the year two thousand and seventy-two.
La publication simultanée en octobre 2026 de centaines de démonstrations mathématiques majeures par des systèmes d'intelligence artificielle a suscité une crise existentielle au sein des sciences fondamentales. Le présent article propose de dépasser ce traumatisme corporatiste en analysant la mutation des mathématiques à l'aune de l'évolution historique du génie logiciel. En examinant comment l'informatique est passée du codage artisanal from scratch à la modélisation assistée par ordinateur (UML, Rational Rose), puis à la co-génération générative contemporaine (Claude, GitHub Copilot), nous démontrons que l'automatisation n'annihile pas le rôle de l'expert humain, mais l'élève à des fonctions supérieures d'architecture et d'intuition. Nous soutenons que l'intégration d'assistants formels tels que le langage Lean préfigure l'émergence d'une mathématique plus accessible, où la singularité conceptuelle des nouvelles générations prévaudra sur la maîtrise de la force brute calculatoire. FR : https://archive.org/details/la-renaissance-formelle-lintelligence-artificielle-et-lemancipation-conceptuelle-des-mathematiques EN : https://archive.org/details/the-formal-renaissance-artificial-intelligence-and-the-conceptual-emancipation-of-mathematics
