剧情介绍：门徒娱乐早在1964年，由中国科学院紫金山天文台1964年发现的国际永久编号为1888的小行星便被命名为“1888祖冲之”；由中国科学院紫金山天文台发现的小行星中，还有“2012郭守敬”“1802张衡”“2051张钰哲”“2027沈括”“2899邵逸夫”“3763钱学森”等。此外，国家天文台还命名过“7681陈景润”“25240钱三强”“17606吴孟超”“148081孙家栋”“31230屠呦呦”“79694南仁东”“281880吴伟仁”“347336张弥曼”“3421杨振宁”“10930金庸”等小行星，北京天文台也曾将发现的一颗小行星命名为“8315巴金”。