Chemical Soup Computes Numbers: How Reactions Became a Computer ✎ 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 · independent analysis · 1 min
Mathematicians proved using a computer program that chaotic chemical reactions can compute any number — even the elusive Apery's constant.

📄 Showing the "Simple" version — "Advanced" is not ready yet. Add it to favorites to help prioritize it.

In boiling soup, molecules collide chaotically and react. But if you measure how their concentrations change, patterns emerge. This is how carbon chemical networks work — mixtures of molecules that spontaneously 'cook' information, turning each reaction into an elementary computation. Previously they were used only for modeling nature.

Molecular collisions become analogous to the click of a mechanical counter: the sum yields an exact number.

The mathematical project Ripple, using rigorous computer proofs (in the Lean 4 language), confirmed that even in chaos, if you wait for equilibrium and generate enough entropy (disorder), such a network will compute any real number. For example, Apery's constant ζ(3) — it can't be obtained with a simple formula, only an infinite sum. The chemical soup 'cooked' it in a test tube. Unlike silicon chips, such a processor works without electricity — on reagents alone.

Moreover, during formal verification, the Ripple program discovered unnoticed errors in old proofs that no one had paid attention to for decades. Chemistry not only computes but also double-checks theorems.

Apery's constant ζ(3) ≈ 1.2020569 defied exact expression for decades: it can only be obtained by an infinite sum. Chemical networks found a workaround, 'cooking' the number in an equilibrium solution.

Scientists
Ludwig BoltzmannRudolf ClausiusErwin SchrödingerHugh Everett IIIJacob BekensteinStephen Hawking
Concepts
open source random network transparency pipeline graph neural network pattern recognition clinical trial linear regression average artificial intelligence frame benchmark random forest parallel processing group Natural Language Processing clustering predictive learning neural networks Percentile generative model