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