WolframAlpha computational knowledge AI
2pi*8000*(1 AU)^2