Local equations describe unreasonably efficient stochastic algorithms in random K-SAT

Proceedings of the National Academy of Sciences, Volume 122, Number 49, December 2025.
SignificanceThe difficulties of algorithmic dynamics in highly nonconvex landscapes are central to several areas of research, from hard combinatorial optimization to machine learning. However, it is unclear why and how certain particular algorithms find…