Short··0:12·Partial differential equations
Fluid Computation: A Fixed-Particle Test
Watch on YouTubeAbout the problem →
About this video
Can a fluid answer a computation question? OpenAI's manuscript, A Fixed Particle Test for Computation in a Forced Viscous Flow, reports a construction where one exact particle enters a fixed detector if and only if a chosen machine halts. The setup uses a fixed three-dimensional torus, positive computable viscosity, initial rest and specially prescribed smooth external forcing. It does not claim efficient or finite-precision computation.
About the animation: A bright particle passes three gates and reaches a detector, then resets for the loop. The route is a finite schematic of the paper's reachability criterion. It does not implement the prescribed force, history-coordinate encoding, a Turing machine, or a Navier-Stokes simulation. The reset is an editorial device.
Paper: github.com/openai/math/blob/main/preprints/A-Fixed-Particle-T…
GitHub materials: github.com/openai/math/blob/main/lean/docs/376.md
Repository: github.com/openai/math
Source-reported result. This visual explanation is not an independent proof audit or a verification of the formalization.
'Legionnaire (Original)' by Scott Buckley - released under CC-BY 4.0. www.scottbuckley.com.au
scottbuckley.com.au/library/legionnaire/
Licence: creativecommons.org/licenses/by/4.0/
Music edits: Excerpted, crossfaded to loop, volume adjusted.
About the problem
Partial differential equations·OpenAI Math·Result 376
Universal computation in forced Navier–Stokes flows
Constructs viscous incompressible flows starting from rest on a fixed flat three-dimensional domain that perform universal computation under smooth external forcing. A terminating compiler turns a Turing machine and input into a finite program for the force, so a designated particle reaches a fixed region exactly when the machine halts. The viscosity is fixed, positive and computable. (Lean)
Topics
A Fixed Particle Test for Computation in a Forced Viscous FlowNavier-Stokesforced viscous flowuniversal computationhalting problemTuring machinefluid computationcomputer scienceOpenAI math3D math animation
