Химический суп как вычислитель: когда реакции становятся компьютером ✎ экспресс

Оригинал: "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 · собственный разбор · 1 мин
Математики доказали с помощью компьютерной программы, что беспорядочные химические реакции способны вычислить любое число — даже неуловимую постоянную Апери.

В кипящем супе молекулы хаотично сталкиваются и вступают в реакции. Но если измерить, как меняются их концентрации, проступают закономерности. На этом принципе работают углеродные химические сети — смеси молекул, которые самопроизвольно «варят» информацию, превращая каждую реакцию в элементарное вычисление. Раньше их применяли лишь для моделирования природы.

Столкновение молекул становится аналогом щелчка механического счётчика: в сумме рождается точное число. Эта аналогия упрощает: на деле каждая реакция — не просто «щелчок», а изменение концентраций, которое можно трактовать как шаг вычисления.

Математический проект Ripple с помощью строгих компьютерных доказательств (на языке Lean 4) подтвердил: даже в хаосе, если дождаться равновесия и породить достаточно энтропии (меры беспорядка в системе), такая сеть вычислит любое действительное число. Например, постоянную Апери ζ(3) — её не получить простой формулой, только бесконечной суммой. Химический суп «сварил» её в пробирке. В отличие от кремниевых чипов, такой процессор работает без электричества — на одних реагентах.

Более того, при формальной проверке программа Ripple обнаружила незаметные ошибки в старых доказательствах, на которые никто не обращал внимания десятки лет. Химия не только считает, но и перепроверяет теоремы.

Постоянная Апери ζ(3) ≈ 1.2020569 десятилетиями не поддавалась точному выражению: её можно получить только бесконечной суммой. Химические сети нашли обходной путь, «сварив» число в равновесном растворе.

Учёные
Ludwig BoltzmannRudolf ClausiusErwin SchrödingerHugh Everett IIIJacob BekensteinStephen Hawking
Понятия
открытый исходный код случайная сеть прозрачность трубопровод графовая нейронная сеть распознавание образов клиническое испытание линейная регрессия среднее искусственный интеллект система отсчёта эталон случайный лес параллельная обработка группа обработка естественного языка кластеризация нейронные сети прогностического обучения процентиль генеративная модель