Saviez-vous que les mathématiques ont elles aussi connu leurs « âges sombres » — et ce au sens le plus fondamental ? Cela survient lorsque les outils sur lesquels s’appuient les mathématiciens cessent soudainement de fonctionner, lorsque les fondations de toute la discipline vacillent, et que ce qui était considéré depuis des millénaires comme la « vérité absolue » s’avère potentiellement inatteignable. Cette anxiété constitue une « nuit noire » collective et structurelle.
En juillet 2026, un article publié sur Substack intitulé The Dark Night of Mathematics a récolté 142 points et 169 commentaires sur Hacker News. Son auteur, Kirwin Hampshire, y décrivait avec une franchise rare sa propre « crise spirituelle » : en l’espace d’une semaine, des modèles de langage (LLM) avaient infirmé plusieurs conjectures mathématiques restées longtemps non résolues. Il écrivait : « J’ai passé plusieurs jours à hurler intérieurement. C’était comme vivre dans un cauchemar. »
Pourquoi la crise d’un mathématicien a-t-elle suscité un débat aussi passionné parmi 169 commentateurs ? Parce que dans le monde de l’informatique, une nuit noire similaire est en train de s’installer — la fin de la loi de Moore, la crise d’explicabilité de l’IA et le flou autour des architectures de calcul post-Moore. Pourtant, l’enseignement le plus enrichissant de cette discussion résidait dans sa perspective historique : les mathématiques ont traversé au moins quatre nuits noires de ce genre. À chaque fois, elles ont survécu — et sont revenus plus fortifiées.
La première nuit noire : le silence des mathématiques grecques antiques
Au IIIe siècle av. J.-C., Euclide d’Alexandrie érigeait avec les 13 volumes des Éléments le premier édifice mathématique axiomatique de l’humanité. En partant d’une poignée d’axiomes « évidents », toute la géométrie pouvait être déduite logiquement. C’était la première fois que l’humanité goutait à la « certitude absolue ».
Mais que s’est-il passé ensuite ? Les historiens en débattent encore. Une explication avance que l’essor de l’Empire romain a entraîné un désintérêt pour les mathématiques pures — les Romains, pragmatiques, exigeaient des ponts et des routes plutôt que des démonstrations abstraites. Quelle qu’en soit la raison, le fait historique demeure : du IIe siècle av. J.-C. au XIVe siècle apr. J.-C., pendant plus de 1 500 ans, les mathématiques en Occident ont pratiquement stagné. Les Éléments d’Euclide sont restés le sommet incontesté.
Cela nous révèle une vérité sans détour : le progrès mathématique n’est pas linéaire. Lorsque les besoins de la société et les questions internes des mathématiques ne s’accordent plus, une discipline entière peut s’endormir pendant un millénaire.
Fragment de papyrus des Éléments d’Euclide (v. Ier siècle apr. J.-C.). Ce fragment prouve que depuis plus de 2 000 ans, l’humanité se pose la même question : à quel point les fondations de l’édifice mathématique sont-elles solides ?
La deuxième nuit noire : le « péché originel » du calcul infinitésimal
Au XVIIe siècle, Isaac Newton et Gottfried Wilhelm Leibniz ont inventé indépendamment le calcul infinitésimal. C’était l’outil mathématique le plus puissant jamais créé — sans lui, la physique moderne, l’ingénierie et les appareils électroniques que vous utilisez pour lire ceci n’existeraient pas.
Pourtant, le calcul infinitésimal recelait un défaut fatal : personne ne pouvait expliquer rigoureusement pourquoi il était « correct ». Newton utilisait la notion d’« infinitésimaux », mais ces quantités étaient-elles égales à zéro ou non ? Dans le cadre mathématique de l’époque, c’était une impasse logique. L’évêque britannique George Berkeley s’en moqua en qualifiant les infinitésimaux de « fantômes de quantités disparues » — on savait leur usage illogique, mais on ne pouvait s’en passer.
Cette controverse a duré plus d’un siècle. Ce n’est qu’au XIXe siècle que Cauchy, Weierstrass et d’autres ont redéfini la limite avec la rigoureuse « langue ε-δ », offrant enfin aux physiciens et ingénieurs une justification solide pour utiliser le calcul infinitésimal en toute sérénité.
Pourquoi les nuits noires surviennent-elles ? Parce que les outils créés par l’homme devancent la théorie. Les mathématiciens travaillaient avec des concepts qu’ils ne maîtrisaient pas totalement. Cet état où l’on « sait que cela fonctionne sans savoir pourquoi » est par nature une insécurité intellectuelle. Or, l’incertitude est le moteur même du progrès mathématique.
La troisième nuit noire : le coup de massue de Gödel aux mathématiques
Au début du XXe siècle, le mathématicien allemand David Hilbert proposa un programme ambitieux : formaliser l’ensemble des mathématiques à l’aide d’un nombre fini d’axiomes, puis prouver que ce système était « complet » (toute proposition vraie est démontrable) et « cohérent » (exempt de contradiction). En cas de succès, les mathématiques reposeraient sur des fondations inébranlables et l’humanité toucherait presque à la « vérité absolue ».
En 1931, le logicien autrichien Kurt Gödel, âgé de 25 ans seulement, publie ses théorèmes d’incomplétude. Il démontre que dans tout système formalisé suffisamment puissant, il existe des propositions qu’on ne peut ni prouver ni réfuter. De plus, la cohérence du système lui-même ne peut être prouvée à l’intérieur de celui-ci.
Le programme de Hilbert s’est effondré d’un seul coup.
Ce fut sans doute le moment le plus saisissant de l’histoire des mathématiques. À la question fondamentale de savoir si les mathématiques pouvaient atteindre la vérité absolue, les mathématiques elles-mêmes ont répondu par une preuve : non. Pour le dire en termes philosophiques : la tension entre le désir de certitude et la crise des fondements est inscrite au cœur même des mathématiques.
De nombreux mathématiciens de l’époque ont sombré dans la désorientation. Si les mathématiques ne pouvaient même pas prouver leur propre cohérence, à quoi avaient-ils consacré leur vie ?
Mais l’histoire a montré par la suite que cette « nuit noire » a au contraire donné naissance à la logique mathématique, à la théorie de la calculabilité et à l’informatique. Les travaux de Gödel ont directement inspiré Alan Turing — sans Gödel, le socle théorique de l’informatique moderne n’existerait tout simplement pas.
Kurt Gödel (v. 1926). Ses théorèmes d’incomplétude ont forcé les mathématiques à prendre conscience de leurs véritables limites — des limites à l’intérieur desquelles les mathématiques demeurent d’une puissance colossale.
La quatrième nuit noire : la crise d’identité du mathématicien à l’ère de l’IA
Revenons en juillet 2026. C’est la nuit noire que traverse actuellement Kirwin Hampshire : quand des LLM réfutent en une semaine plusieurs conjectures de longue date et que la démonstration de théorèmes peut être automatisée par des algorithmes, la valeur fondamentale du mathématicien humain s’en trouve ébranlée.
Hampshire a résumé dans son article une pensée partagée par nombre de ses confrères : « Il y a quelque chose d’unique dans l’expérience spirituelle de la découverte mathématique — chercher de nouvelles mathématiques est l’une des voies par lesquelles l’être humain touche à l’ineffable, s’approchant du divin et du mystérieux. »
Cela peut sembler mystique, mais ce n’est pas un vain mot. Ramanujan, Grothendieck, Cantor, Pascal, Leibniz — tous considéraient les mathématiques comme une quête quasi religieuse. Lorsque l’IA dit « je peux faire cela pour toi », elle donne l’impression de déposséder l’homme de quelque chose sur le plan spirituel.
Pourtant, dans les 169 commentaires, un développeur a fait remarquer avec justesse que cela reflète exactement ce que vit l’informatique aujourd’hui. La fin de la loi de Moore signifie la fin des gains de performance matériels « gratuits » ; l’opacité des grands modèles crée une crise d’explicabilité ; et le code généré par l’IA provoque une crise d’identité chez les développeurs. La nuit noire des mathématiques est aussi la nuit noire de l’informatique.
Pourquoi la nuit noire n’est pas la fin
En observant ces quatre nuits noires avec du recul, un schéma récurrent se dessine :
- Défaillance de l’ancien paradigme (Stagnation des mathématiques grecques / Manque de rigueur du calcul infinitésimal / Réfutation du programme de Hilbert / Remise en cause de la nécessité du démonstrateur humain)
- Anxiété et confusion (Les chercheurs ont l’impression que la discipline touche à sa « fin »)
- Reconstruction fondamentale (Redéfinition des concepts de base et établissement de fondations plus solides)
- Bond en avant de la discipline (La discipline émerge plus forte, plus mûre et dotée d’une portée plus vaste)
Ce n’est pas un hasard. L’essence d’une « nuit noire » est le processus d’auto-renouvellement de la discipline. Quand l’ancien cadre ne peut plus contenir les nouvelles connaissances, la souffrance est le signe de la croissance.
La nuit noire des mathématiques grecques a fini par conduire à la Renaissance et à la naissance de la science moderne. La nuit noire du calcul infinitésimal a engendré l’analyse rigoureuse. La nuit noire de Gödel a donné naissance à l’ère de l’informatique.
Et qu’en est-il de la nuit noire d’aujourd’hui ? Même si la réponse définitive n’est pas encore totalement dessinée, une intuition s’impose : à l’heure où l’IA peut produire des démonstrations mathématiques à la chaîne, la valeur irremplaçable du mathématicien humain — poser les bonnes questions — sera plus que jamais mise en lumière.
Le désir humain de « vérité absolue » ne sera peut-être jamais pleinement assouvi. Mais après chaque nuit noire, les mathématiques nous ont révélé un monde encore plus grand. La nuit noire est l’obscurité nécessaire qui précède l’aube.
Références :
- The Dark Night of Mathematics — Kirwin Hampshire (Substack, juillet 2026)
- Discussion Hacker News #49048681 — 142 points / 169 commentaires
- Gödel’s Incompleteness Theorems — Stanford Encyclopedia of Philosophy
- A Century of Controversy Over the Foundations of Mathematics — arXiv
- How Gödel’s Proof Works — Quanta Magazine
- The Man Who Ruined Mathematics — New Scientist, avril 2026
- Three Crises in the History of Mathematics — Synthèse académique
