吳文俊星

2010年5月4日，經國際天文學聯合會小天體命名委員會批准，由中國科學院國家天文台施密特CCD小行星項目組發現的國際永久編號第7683號小行星被正式命名為"吳文俊星"。該命名是對吳文俊院士在拓撲學示性類理論、數學機械化研究（吳方法）等領域開創性貢獻的永久性紀念，其數學機械化理論為定理自動證明奠定基礎，並影響了人工智慧等新興領域發展。命名證書及軌道銅牌由科技部和中科院聯合頒發。

基本介紹

• 命名時間：2010年5月4日 
• 命名機構：國際天文學聯合會小天體命名委員會 
• 國際編號：7683 
• 命名依據：數學機械化理論與拓撲學貢獻  
• 所屬項目：施密特CCD小行星項目 
• 命名類型：永久性命名  

命名背景與過程

該小行星由中國科學院國家天文台施密特CCD小行星項目組於1997年10月16日發現，後經國際天文學聯合會審核確認為國際永久編號7683號。2010年5月4日在北京舉行的命名儀式上，正式公布將這顆小行星永久命名為"吳文俊星"，成為繼華羅庚、陳景潤之後第三位獲此殊榮的中國數學家。

學術貢獻基礎

吳文俊院士在20世紀70年代創立"吳方法"理論，推動了數學機械化領域的發展。20世紀70年代開創數學機械化研究領域，提出用計算機證明幾何定理的"吳方法"，該成果於1997年獲得國際自動推理領域最高獎Herbrand獎。其建立的數學機械化理論被套用於機器人、計算機視覺等人工智慧領域。

命名儀式與紀念意義

2010年5月4日的命名儀式由科技部和中科院聯合主辦，現場頒發刻有小行星軌道參數的銅牌。此項命名具有國際公認的嚴肅性、唯一性和永久性，體現國際學術界對吳文俊的崇高敬意。吳文俊院士於2017年5月7日逝世後，該小行星的命名成為緬懷其科學遺產的重要載體。

相關榮譽與影響

吳文俊院士曾獲2000年度首屆國家最高科學技術獎，2019年被追授"人民科學家"國家榮譽稱號。其學術成就使中國在定理機器證明領域達到國際領先水平，"吳氏方法"被寫入多部國際權威數學著作。該小行星的命名標誌著中國數學家的貢獻獲得國際永久性認可。