I find many numerical results on the three-body problem, but what is rigorously proved? Especially I would be interested for which parater domains we have rigours lower bounds on the topological entropy res. Lyapunov exponent of the system.