Published on:2021-07-13 hits:2385
近日，公司首席科學(xué)家、中國科學(xué)院院士、著名計(jì)算機(jī)科學(xué)家、數(shù)學(xué)家、科普專家張景中教授在廣東科學(xué)館做客廣東科協(xié)論壇第77期報(bào)告會(huì)并作了“教育與人工智能漫談”專題報(bào)告。
張景中院士的報(bào)告從教育與人工智能出發(fā)，闡述了人工智能在現(xiàn)代信息化教育的作用和應(yīng)用，以及暢談智能機(jī)器人在未來信息化教育中的發(fā)展應(yīng)用和廣闊前景。語言通俗易懂、表達(dá)風(fēng)趣幽默，深入淺出地闡述了人工智能對(duì)現(xiàn)代信息化教育的重要性，闡述我國人工智能的中國夢(mèng)。
公司具有雄厚的研發(fā)實(shí)力，擁有以張景中院士領(lǐng)銜的一流應(yīng)用基礎(chǔ)研究團(tuán)隊(duì)，專注于人工智能、計(jì)算機(jī)自動(dòng)推理理論的研究。張景中與公司研究員楊路共同提出的定理機(jī)器證明的數(shù)值并行方法，在世界上首次用計(jì)算機(jī)實(shí)現(xiàn)了有嚴(yán)密理論依據(jù)的幾何定理例證法，被國際學(xué)術(shù)界稱為“張楊定理”。張景中及其研究團(tuán)隊(duì)還提出了幾何定理可讀證明自動(dòng)生成的理論、算法和方法，先后獲得中國科學(xué)院自然科學(xué)一等獎(jiǎng)，國家自然科學(xué)二等獎(jiǎng)。
本次論壇由廣東省計(jì)算機(jī)學(xué)會(huì)秘書長黃軒主持，黃秘書長向?qū)３糖皝韰?huì)代表表示熱烈的歡迎和衷心的感謝，并希望大家通過聆聽張景中院士的報(bào)告能對(duì)我國人工智能與教育方面有更全面的了解，共同推進(jìn)我國信息產(chǎn)業(yè)的發(fā)展。本期論壇由廣東省科學(xué)技術(shù)協(xié)會(huì)主辦，廣東省計(jì)算機(jī)學(xué)會(huì)承辦。廣東省科協(xié)黨組副書記、副主席唐毅同志等領(lǐng)導(dǎo)、專家學(xué)者、企業(yè)以及新聞界的媒體等250多人參加了報(bào)告會(huì)。