La soupe chimique calcule des nombres : quand les réactions deviennent des ordinateurs ✎ express

Original: "Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs"
· Ho-Lin Chen, Xiang Huang
arXiv:2607.13531 · 2026-07-15 · arXiv non-exclusive · analyse indépendante · 1 min
Des mathématiciens ont prouvé, à l'aide d'un programme informatique, que des réactions chimiques désordonnées peuvent calculer n'importe quel nombre — même la constante d'Apéry, insaisissable.

Dans une soupe bouillonnante, les molécules se heurtent et réagissent de manière chaotique. Mais si l'on mesure l'évolution de leurs concentrations, des régularités apparaissent. C'est sur ce principe que fonctionnent les réseaux chimiques à base de carbone : des mélanges de molécules qui « cuisinent » spontanément l'information, transformant chaque réaction en un calcul élémentaire. Auparavant, on ne les utilisait que pour modéliser la nature.

La collision de molécules devient l'équivalent du cliquet d'une machine à calculer mécanique : au total, un nombre précis naît.

Le projet mathématique Ripple, grâce à des preuves informatiques rigoureuses (en langage Lean 4), a confirmé que même dans le chaos, si l'on attend l'équilibre et que l'on génère suffisamment d'entropie (de désordre), un tel réseau calculera n'importe quel nombre réel. Par exemple, la constante d'Apéry ζ(3) — on ne peut pas l'obtenir par une formule simple, seulement par une somme infinie. La soupe chimique l'a « cuisinée » dans un tube à essai. Contrairement aux puces de silicium, ce processeur fonctionne sans électricité — uniquement avec des réactifs.

De plus, lors de la vérification formelle, le programme Ripple a détecté des erreurs subtiles dans d'anciennes preuves, que personne n'avait remarquées depuis des décennies. La chimie ne se contente pas de calculer, elle vérifie aussi les théorèmes.

La constante d'Apéry ζ(3) ≈ 1.2020569 a résisté pendant des décennies à toute expression exacte : on ne peut l'obtenir que par une somme infinie. Les réseaux chimiques ont trouvé une solution de contournement en « cuisinant » le nombre dans une solution à l'équilibre.

Scientifiques
Erwin SchrödingerHugh Everett IIIJacob BekensteinStephen HawkingLudwig BoltzmannRudolf Clausius
Notions
open source réseau aléatoire transparence canalisation réseau neuronal de graphe reconnaissance de formes essai clinique régression linéaire moyenne intelligence artificielle référentiel référence forêt aléatoire traitement parallèle groupe traitement automatique du langage naturel regroupement réseaux neuronaux d'apprentissage prédictif Percentile modèle génératif