“数学一小时”系列报告：AI for Mathematics 之数学的形式化
Time: 2023-04-25
Published By: Wenqiong Li
Speaker(s): Bin Dong (BICMR), Ruochuan Liu (BICMR)
Time: 17:30-18:15 March 7, 2023
Venue: Lecture Hall, Jiayibing Building, Jingchunyuan 82, BICMR
数学形式化是一种将数学语言转化为形式逻辑的方法，确保了数学推理的严谨性和精确性。本次通识报告旨在为同学们介绍人工智能在数学研究领域的最新进展，并了解数学形式化的重要性；同时，报告内容还会包括最新的AI技术在数学领域的应用及展望。
报告内容无需相关先验知识，欢迎广大本科生报名参加，了解AI for Math的前沿进展。报名方式：请点击网址（https://www.wjx.top/vm/eBmWhAf.aspx）或扫描海报上的报名二维码，填写报名信息。
