祖冲之
小行星1888是由南京紫金山天文台于1964年11月9日发现的主帶小行星，被命名为祖冲之。