But a new proof shows that for the quintessential path-finding problem, one algorithm is close to ideal ... New analysis suggests collision with a neutron star may have caused it.