5月4日,中国科学技术部在北京举行小行星命名仪式,全国政协副主席、科技部部长万钢和中科院副院长詹文龙,分别向中科院数学院吴文俊院士等4位科学家颁发小行星命名证书和小行星运行轨道铜牌。
经国际天文学联合会小天体命名委员会批准,中国科学院国家天文台施密特CCD小行星项目组发现并获得国际永久编号的4颗小行星,分别以4位中国国家最高科学技术奖得主——数学家吴文俊、高性能计算机专家金怡濂、航天专家王永志和气象学家叶笃正的名字命名。其中,编号第7683号小行星永久命名为“吴文俊星”。
小行星是目前各类天体中唯一可以根据发现者意愿进行提名,并经国际组织审核批准从而得到国际公认的天体。由于小行星命名的严肃性、唯一性和永久不可更改性,使得能够获得小行星命名成为世界公认的一项殊荣。1999年10月,数学院陈景润院士也曾获小行星命名的荣誉。
吴文俊院士的研究工作涉及代数拓扑学及微分拓扑学,特别是发展示性类、示嵌类理论,代数几何学、对策论、数学史等分支。尤其是率先提出新颖的数学机械化证明方法,开创机械化数学新领域。曾获首届国家自然科学一等奖、首届中国国家科技最高奖、邵逸夫数学科学奖,以及第三世界科学院数学奖,陈嘉庚数理科学奖,首届香港求是杰出科学家奖,国际自动推理最高奖Herbrand自动推理杰出成就奖等。