New proof finds the ‘ultimate instability’ in a solar system model | Hacker News Reader