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