La soupe chimique calcule les nombres : quand les réactions deviennent un ordinateur ✎ 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, "Avancé" 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 entre elles. 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 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 d'un clic de compteur mécanique : au total, un nombre précis naît.

Le projet mathématique Ripple, grâce à des preuves informatiques rigoureuses (dans le 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) — qu'on ne peut pas 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, auxquelles personne n'avait prêté attention 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 parade 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