◯
Smale's 1998 list, Problem 5
The Three-Body Problem
Is there a closed-form, non-perturbative description of gravitational three-body motion in the general case?
Progress
75%Exact solution paper complete
Current approach
Latent tensor representation of the Hamiltonian; exact solution via grade-truncation of the interaction algebra.
Status notes
Zenodo DOI published. Solution excludes measure-zero triple collision. Lean formalization in progress.