WolframAlpha computational knowledge AI
how was CoRoT-1b discovered?