Aliens vs math