学术报告
人工智能与数学
作者：
时间： 2024-05-30
阅读：
人工智能与数学
报告人：王善文 （中国人民大学）
摘要：在本报告中, 我们将介绍和展示求解平面几何题的alpha-geometry的使用, 介绍数学形式化的历史、发展和趋势, 介绍定理证明的两个流派, 最后我们将探讨数学形式化在教学科研中的一些应用。
报告时间：2024年5月30日下午14：00-15：00
报告地点：教二楼 217
联系人：童纪龙
