Sopa química calcula números: cómo las reacciones se convirtieron en computadoras ✎ exprés

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 · análisis propio · 1 min
Matemáticos demostraron con un programa de computadora que las reacciones químicas desordenadas pueden calcular cualquier número, incluso la esquiva constante de Apéry.

📄 Mostrando la versión "Simple" — "Popular" aún no está lista. Añádelo a favoritos para ayudar a priorizarla.

En una sopa hirviendo, las moléculas chocan caóticamente y reaccionan. Pero si medimos cómo cambian sus concentraciones, emergen patrones. Así funcionan las redes químicas de carbono: mezclas de moléculas que espontáneamente «cocinan» información, convirtiendo cada reacción en un cálculo elemental. Antes solo se usaban para modelar la naturaleza.

El choque entre moléculas se vuelve como el clic de un contador mecánico: la suma da lugar a un número exacto.

El proyecto matemático Ripple, mediante rigurosas demostraciones informáticas (en el lenguaje Lean 4), confirmó que incluso en el caos, si esperamos al equilibrio y generamos suficiente entropía (desorden), dicha red puede calcular cualquier número real. Por ejemplo, la constante de Apéry ζ(3): no se obtiene con una fórmula simple, sino con una suma infinita. La sopa química la «cocinó» en un tubo de ensayo. A diferencia de los chips de silicio, este procesador funciona sin electricidad, solo con reactivos.

Además, durante la verificación formal, el programa Ripple detectó errores inadvertidos en viejas demostraciones, pasados por alto durante décadas. La química no solo calcula, sino que también revisa teoremas.

La constante de Apéry ζ(3) ≈ 1.2020569 se resistió durante décadas a una expresión exacta: solo se obtiene mediante una suma infinita. Las redes químicas hallaron un camino alternativo, «cocinando» el número en una solución en equilibrio.

Científicos
Ludwig BoltzmannJames Clerk MaxwellRudolf ClausiusErwin SchrödingerHugh Everett IIIJacob Bekenstein
Conceptos
código abierto red aleatoria transparencia tubería red neuronal de grafos reconocimiento de patrones ensayo clínico regresión lineal promedio inteligencia artificial marco punto de referencia bosque aleatorio procesamiento paralelo grupo procesamiento del lenguaje natural agrupamiento redes neuronales de aprendizaje predictivo Percentile modelo generativo