人工智能与定理证明

发布时间：2025-06-16 作者：浏览次数：

Speaker:	王善文	DateTime:	2025年6月19日（周四）晚上19:00-20:00
Brief Introduction to Speaker: 王善文，副教授，中国人民大学		Place:	国交2号楼315会议室
Abstract:在本报告中, 我们将从数学研究的主要逻辑范式来分析当前人工智能在定理证明方面的进展, 并介绍交互式定理证明助手Lean.