WolframAlpha computational knowledge AI
4000 miles * (orbit radius of Mars / distance to Proxima Centauri)