分享内容简介

作为当下人工智能领域的发展热点，智能体不断拓展着人类智慧的边界。本次读书会将探讨智能体的发展与挑战，探索人工智能与数学深度融合的可能性与未来模式。

首先，我们将介绍智能体的概念、构成及协作模式；然后聚焦于其在数学中的应用：从处理常规任务到特定领域的协作，比如形式化、代数编程、数学教育等，讨论智能体中融合统计方法与符号主义的模式。最后，探讨智能体未来可能的发展变化。

分享内容大纲 

• 智能体的概念与构成，发展现状及挑战

• 智能体在数学领域的应用

• 处理简单的数学任务

• 特定领域的人机协作

• 统计方法与符号主义的融合

• 延伸杂谈：智能体的未来模式

主要涉及到的知识概念 

代数编程 Computer Algebra System(CAS)

主讲人介绍

主要涉及到的参考文献

• Zhiheng Xi, Wenxiang Chen, Xin Guo, et al. The Rise and Potential of Large Language Model Based Agents: A Survey. arXiv:2309.07864, 2023
• Zhiheng Xi, Wenxiang Chen, Xin Guo, et al. Lemur: Harmonizing Natural Language and Code for Language Agents. arXiv:2310.06830, 2023

• Zhiheng Xi, Wenxiang Chen, Xin Guo, et al. OpenAgents: An Open Platform for Language Agents in the Wild. arXiv:2310.10634, 2023

• Zhiheng Xi, Wenxiang Chen, Xin Guo, et al. Llemma: An Open Language Model For Mathematics. arXiv:2310.10631, 2023

• Zhiheng Xi, Wenxiang Chen, Xin Guo, et al. SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models. arXiv:2307.10635, 2023

本次分享与读书会主题之间的关系

与读书会之间的关系：此次分享中，我们以智能体在数学领域的应用为出发点，探讨它们如何推动数学的创新，未来如何进一步与数学融合。这为参与读书会的听众提供了一个理解人工智能在数学领域作用的新视角，并激发他们对两个领域未来发展可能性的思考。

与复杂系统之间的关系：智能体在解决数学问题，特别是需要高级推理和创造性思维的问题时，展现了处理复杂系统的能力。通过智能体与数学的结合，理解它们在复杂系统中的潜在价值。

直播信息

2023年12月15日（本周五）晚上20:00-23:00

人工智能与数学读书会主要围绕AI　for　math，math　for　AI两个方面深入探讨人工智能与数学的密切联系。首先，我们将概述人工智能在数学的应用，并深入探讨大模型与数学推理，定理自动证明， AI发现数学规律，符号计算等方向的研究工作。随后，我们将转向大模型与神经网络的数学基础。最后，我们将深入探讨几何与拓扑在机器学习的应用。人工智能与数学读书会自2023年9月15日开始，每周五晚上20:00-22:00举办，持续时间预计 8 周。欢迎对本话题感兴趣的朋友报名参加！

详情请见：

人工智能与数学读书会启动：AI for Math，Math for AI