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