La soupe chimique calcule les 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, si insaisissable.

📄 Version "Simple" affichee, "Populaire" n est pas encore prete. Ajoutez-le aux favoris pour aider a la prioriser.

Dans une soupe bouillonnante, les molécules entrent en collision de manière chaotique et réagissent. Mais si l'on mesure comment leurs concentrations varient, des régularités apparaissent. C'est sur ce principe que reposent les réseaux chimiques à base de carbone : des mélanges de molécules qui « cuisinent » spontanément de 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'un compteur mécanique : au final, un nombre précis naît de la somme.

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 peut calculer 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 » en éprouvette. 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 est restée insaisissable pendant des décennies : on ne peut l'obtenir que par une somme infinie. Les réseaux chimiques ont trouvé une astuce 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