是。老六liul也是数学科学系百年历史上以大一学生身份提前一年进实验室的极少数学生之一，后因在数学机械化领域的突出贡献，获得2008年求是杰出科学家奖，成为最年轻获奖者。