“数学一小时”系列报告：AI for Mathematics 之数学的形式化
发布时间：2023年04月25日
浏览次数：2742
发布者: Wenqiong Li
主讲人： 董彬（北京国际数学研究中心）& 刘若川（北京国际数学研究中心）
活动时间： 从 2023-03-07 17:30 到 18:15
场地： 北京国际数学研究中心，镜春园82号甲乙丙楼报告厅
数学形式化是一种将数学语言转化为形式逻辑的方法，确保了数学推理的严谨性和精确性。本次通识报告旨在为同学们介绍人工智能在数学研究领域的最新进展，并了解数学形式化的重要性；同时，报告内容还会包括最新的AI技术在数学领域的应用及展望。
报告内容无需相关先验知识，欢迎广大本科生报名参加，了解AI for Math的前沿进展。报名方式：请点击网址（https://www.wjx.top/vm/eBmWhAf.aspx）或扫描海报上的报名二维码，填写报名信息。
