报告题目1：AI 如何辅助数学研究

报告人：陈小杨教授，同济大学

报告时间：2025年9月18日（周四）12:40

报告地点：20-308

报告摘要：我们将综述深度学习技术在数学研究中的应用，分别从AI辅助发现数学规律，构造数学猜想反例，辅助数学定理证明等几个方面展开详细讨论。

报告人简介：陈小杨，同济大学特聘研究员。主要研究非负截面曲率流形的几何与拓扑，群作用相关问题。

报告题目2：Rational ellipticity of Riemannian manifolds

报告人：陈小杨教授，同济大学

报告时间：2025年9月18日（周四）14:00

报告地点：20-308

报告摘要：It was conjectured by Bott-Grove-Halperin that a compact simply connected Riemannian manifold with nonnegative sectional curvature is rationally elliptic, i.e., it has finite dimensional rational homotopy groups. We will discuss some recent progress on this conjecture. 

报告人简介：陈小杨，同济大学特聘研究员。主要研究非负截面曲率流形的几何与拓扑，群作用相关问题。