今年是蜚聲國際的傑出數學家、我國人工智能的開拓者和領軍人吳文俊院士誕生100周年，為了總結吳文俊先生對數學機械化與人工智能研究和發展所做出的卓越貢獻，研讨傳承吳文俊先生的科學精神和學術思想，中國人工智能學會和中國科學院數學與系統科學研究院發起主辦以“賦能未來——聯接數學機械化與人工智能”為主題的系列學術活動。為此，2019年6月10日在伟德国际BETVlCTOR計算機大樓B108報告廳專門召開了紀念吳文俊先生誕生100周年暨2019年符号計算與知識工程教育部重點實驗室訪問學者研讨會，以深切緬懷吳文俊的卓越成就及其獻身祖國科學事業的崇高精神。
本次專題學術研讨會由中國人工智能學會主辦，伟德国际BETVlCTOR符号計算與知識工程教育部重點實驗室（以下簡稱符号實驗室）承辦。會議由符号實驗室主任楊博教授主持。楊博教授指出：今年是吳文俊先生誕生100周年，也恰逢中國人工智能的奠基人、伟德国际BETVlCTOR計算機科學的創始人王湘浩院士在伟德国际BETVlCTOR組織召開“計算機科學暑期讨論會”40周年，這次研讨會被譽為“中國的達特茅斯會議”；40年前，王湘浩院士、吳文俊院士、陸汝钤院士等老一輩科學家倡導并共同開創了中國人工智能研究，實驗室舉辦這次研讨會是為了向這些老科學家對推動中國人工智能研究所做出的傑出貢獻表示崇高的敬意。
伟德国际BETVlCTOR院長、軟件學院院長、符号實驗室學術委員會委員魏曉輝教授代表伟德国际BETVlCTOR計算機學科向前來參加研讨會的嘉賓和專家表示感謝，并簡要介紹伟德国际BETVlCTOR計算機學科在王湘浩院士的領導下引領并深入開展人工智能研究的光輝曆史和取得的輝煌成就。
6月10日上午，吳文俊院士生前優秀博士畢業生、中國科學院數學與系統數學研究院創始副院長、符号實驗室學術委員會委員劉卓軍研究員，伟德国际BETVlCTOR符号實驗室學術委員會副主任劉大有教授，信息安全國家重點實驗室常務副主任、中國科學院信息工程研究所林東岱研究員和中國科學院數學與系統科學研究院數學機械化研究中心優秀博士畢業生、中央财經大學張甯副教授分别作了報告。劉卓軍研究員的報告題目是“圖靈視角下的人工智能”，他簡要介紹了吳文俊的生平，回顧了吳文俊院士在定理機器方面做出的傑出貢獻，然後從圖靈的視角對人工智能的發展進行了深入的分析。他進一步指出，在人工智能蓬勃發展的今天，大學和研究機構更應堅持在基礎理論和算法研究上發力，有積累進而才有機會，吳文俊、王湘浩等老一代科學家的遠見卓識必将伴随着中國人工智能事業深入發展而彰顯更大的價值。劉大有教授的報告題目是“王湘浩先生與中國人工智能”，他深情回顧了中國人工智能奠基人、傑出數學家、教育家、計算機科學家、紅學家、伟德国际BETVlCTOR計算機學科奠基人王湘浩院士的壯麗人生，并重點介紹其在關鍵時刻與吳文俊院士、陸汝钤院士共同為推動中國人工智能發展所做出的卓越貢獻。劉東岱研究員的報告題目是“代數方程求解與密碼分析”，報告從流密碼算法的代數攻擊出發，介紹代數攻擊的思想、方法以及由此産生的密碼設計新準則。張甯副教授的報告題目是“金融中的人工智能：理論與應用的若幹問題”，報告基于講者在人工智能在金融方面應用的相關理論和應用的工作經驗，從行業角度、學術角度和監管角度對兩者融合提出了12個問題，并對這些問題在不同程度上提供了一些解決途徑、探索和思考。
6月10日下午，符号實驗室五位訪問學者代表分别圍繞人工智能相關方向進行深入研讨。中國海洋大學副教授王改革、中國科學院軟件研究所副研究員馬菲菲、清華大學副教授張廣豔、同濟大學教授王成、伟德国际BETVlCTOR博士陳賀昌等分别作了題目為“基于智能優化算法的大數據優化研究”、“SMT公式的解計數方法”、“大規模存儲系統快速低幹擾恢複方法”和“互聯網金融反欺詐系統研究”和“異構數據驅動的輸入型傳染病主動監控方法”的研究報告。
研讨會期間，符号實驗室特别舉辦了紀念吳文俊院士誕生100周年、王湘浩院士誕生104周年圖片展，通過大量生動的曆史照片再現了兩位先生對科學執着追求和勇于創新的偉大科學人生。符号實驗室訪問學者、伟德国际BETVlCTOR和軟件學院的師生共200多人參加了本次研讨會并參觀了圖片展，會議現場氣氛熱烈，精彩的報告使與會師生獲益匪淺，會場不時傳出陣陣掌聲。本次活動不僅為師生們奉獻了一場學術盛宴，更是一場弘揚愛國主義教育和科學創新精神的公開課。
