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