search for life on Mars https://cscourse.ustc.edu.cn/vdir/Gitlab/compiler_staff/jianmu-supplemental/-/issues/13038 Understand TRAPPIST-1 and new exoplanet discoveries.