北京
探源溯流 拓基鑄鏡
基礎研究是科技創新的總源頭，前沿探索是引領未來的制高點。
面向世界科技前沿，是新時代科技事業發展的總體方向，更是掌握全球科技競爭戰略主動的長遠大計。他們默默耕耘、久久為功，以畢生心血攻克理論難題，以執著堅守實現原創突破，推動中國基礎科研邁向世界舞臺，為國家科技創新筑牢堅實底座，用智慧與堅守書寫了中國基礎科學的奮進篇章。
吳文俊：數學機械開新宗
“我不想跟著別人走，我想走自己的路。”
在法國留學工作期間，吳文俊已在拓撲學領域取得重大突破性成果，躋身國際頂尖數學家行列，但他毅然放棄海外優渥條件，1951年義無反顧回到祖國，投身國家基礎科研事業。此后，他跳出學術舒適區，大膽跨界深耕中國古代數學領域，從傳統智慧中提煉創新思路，最終攻克機器證明難題，走出了一條屬于中國科學家的自主科研之路，彰顯了深厚的民族自信與學術擔當。
“做研究不要自以為聰明，總是想些怪招，要實事求是，踏踏實實。功夫不到，哪里會有什么靈感？”
年近花甲之際，吳文俊從零開始學習計算機編程，甘當“老年程序員”。在中國科學院的機房里，他常年不分晝夜忘我工作，連續數年都是研究所上機時長最長的科研人員。王選院士曾回憶，除夕夜晚8點多，仍能看到吳文俊在機房堅守編程。正是靠著這份腳踏實地、廢寢忘食的“笨功夫”，他才在世界級數學難題的研究中實現突破，用實際行動詮釋了基礎科研工作者求實奉獻的精神內核。
吳文俊在講解數學機械化定理解方程。
2000年，吳文俊出席在瑞士蘇黎世舉行的第三屆幾何自動推理研討班。
人物小傳
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
