从自动定理证明到 AI发现数学规律,以及几何拓扑,动力系统等数学分支在AI的应用,人工智能与数学一直有着非常密切的联系。在即将召开的读书会中,我们将从AI for math,math for AI两个方面深入探讨人工智能与数学的密切联系。首先,我们将概述人工智能在数学的应用,并深入探讨大模型与数学推理,定理自动证明, AI发现数学规律,符号计算等方向的研究工作。随后,我们将转向大模型与神经网络的数学基础。最后,我们将深入探讨几何与拓扑在机器学习的应用。我们的目的是通过这样深入的探讨,与大家一起交流学习人工智能与数学的联系,同时揭示未来可能的研究发展方向。 | 从自动定理证明到 AI发现数学规律,以及几何拓扑,动力系统等数学分支在AI的应用,人工智能与数学一直有着非常密切的联系。在即将召开的读书会中,我们将从AI for math,math for AI两个方面深入探讨人工智能与数学的密切联系。首先,我们将概述人工智能在数学的应用,并深入探讨大模型与数学推理,定理自动证明, AI发现数学规律,符号计算等方向的研究工作。随后,我们将转向大模型与神经网络的数学基础。最后,我们将深入探讨几何与拓扑在机器学习的应用。我们的目的是通过这样深入的探讨,与大家一起交流学习人工智能与数学的联系,同时揭示未来可能的研究发展方向。 |