何積豐是中國(guó)科學(xué)院院士、著名計(jì)算機(jī)軟件科學(xué)家。他主要從事計(jì)算機(jī)軟件理論及應(yīng)用研究，針對(duì)軟件的復(fù)雜性、正確性和可靠性等問(wèn)題開(kāi)展系統(tǒng)性的研究。在8月25日播出的《未來(lái)說(shuō)·執(zhí)牛耳者》節(jié)目中，何積豐介紹他現(xiàn)在在研究的是安全可信人工智能。

二零一七年香山科學(xué)會(huì)議，何積豐在世界上首次提出“可信人工智能”，自此世界各地開(kāi)始廣泛關(guān)注人工智能的安全可信問(wèn)題。

四十年前何積豐就意識(shí)到，軟件不總是可以讓人信任的，他開(kāi)始用數(shù)學(xué)方法研究計(jì)算機(jī)可信。

何積豐介紹，那時(shí)候有一批教師，包括好幾個(gè)圖靈獎(jiǎng)獲得者都在做程序正確性的證明，就是程序是不是對(duì)，要用一些數(shù)學(xué)手段來(lái)證明它確實(shí)對(duì)，他就是那時(shí)候進(jìn)入到那個(gè)領(lǐng)域里面去的。

在牛津大學(xué)，何積豐曾與圖靈獎(jiǎng)獲得者Tony Hoare教授一起工作了很多年，并且提出了享譽(yù)世界的“程序統(tǒng)一理論”，這個(gè)理論今天一直被很多追隨者發(fā)展著。

如今，何積豐開(kāi)始將目光投向人工智能，如何讓人工智能安全準(zhǔn)確地完成任務(wù)是一項(xiàng)新挑戰(zhàn)。

點(diǎn)擊觀看完整版視頻

（素材來(lái)源：《未來(lái)說(shuō)·執(zhí)牛耳者》節(jié)目組）