天天看點

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

作者:馬廬山高速交警大隊

科技日報實習生記者 王碩

我的童年是在抗日戰争中度過的。民族的苦難和家庭的起起落落,在年輕人的心中播下了愛國主義的種子。誰能上司中國,讓中華民族走上繁榮昌盛之路?這是我一直在尋找的問題...他知道隻有共産黨才能拯救中國,他決心與共産黨一起去。

——摘自張敬忠1986年11月《入黨義工志書》

視訊加載...

視訊來源:科技日報,制作:李忠明、趙偉華、何培軒、馬豔梅、齊偉

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

1954

張景忠來到北京大學數學力學系

他很清楚這一點

"作出貢獻

需要作出特别努力。

雖然清楚純數學專業的困難

未命名的湖畔

他仍然站着

作為數學家的志願者

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

中國科學院院士在張靜的肖像

20 世紀 80 年代

計算機研究正在迅速發展

1985

張景忠開始接觸

定理機器證明研究

本計算機科學與數學

跨代研究領域

進一步機械化一些進階腦力勞動

解放人腦是目标

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

他與合作者一起開發

一種新的幾何方法

給予世界第一

可自動生成

幾何定理的可讀證明

算法和程式

人工智能進展緩慢是一個重要問題

有一個突破

是他寫的

幾何形狀中的機器驗證

"是計算機處理幾何問題道路上的一個裡程碑"

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

2012年,張景忠給孩子們發了一條資訊

他使科學研究與科學齊頭并進

建立教育數學流派

數學王子

數學家的願景

少年數學實驗

從動畫到閱讀

他的創作

将抽象數學帶入生活

張景中:他用數學給人工智能帶來突破性進展丨百名院士的入黨心聲

"向華夏彙報工作真是太可惜了

昆侖山已經不勝枚舉了。

他是我國著名的數學家

數學教育家

中國科學院院士

張景忠

1986年加入中國共産黨。

引用:

1.羅彥明,梁明軒:"億愛華,真心攀登昆侖——緬懷著名科學家張景忠"

2.彭玉成:"科技兩階段成功,創意教學攀登巅峰——張靜的科學人生"

3.于傳紅:"數學家的眼睛——造訪張景忠"

編輯:黃磊

評論:王小龍

繼續閱讀