Discover the discovery of 715 planets outside the solar system