导语


为了探索数学与人工智能深度融合的可能性,集智俱乐部联合同济大学特聘研究员陈小杨、清华大学交叉信息学院助理教授袁洋、南洋理工大学副教授夏克林三位老师,共同发起“人工智能与数学”读书会,希望从 AI for Math,Math for AI 两个方面深入探讨人工智能与数学的密切联系。本读书会是“AI+Science”主题读书会的第三季。读书会自9月15日开始,每周五晚20:00-22:00,预计持续时间8~10周。欢迎感兴趣的朋友报名参与!




分享内容简介




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


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





分享内容大纲 




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

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

    • 处理简单的数学任务

    • 特定领域的人机协作

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

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




主要涉及到的知识概念 




智能体 AI Agent
形式证明 Formal Proof

代数编程 Computer Algebra System(CAS)





主讲人介绍




王至宏,华东师范大学计算机学院在读博士,本硕基础数学专业。本科获全国大学生数学竞赛决赛一等奖,全国高校数学密码挑战赛中南赛区二等奖等竞赛奖项,硕士自学 GAP,SageMath 等代数编程语言,探索 Programming For Math,当前方向为大语言模型与基础数学的融合研究。




主要涉及到的参考文献




智能体:
  • 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+Science社区的种子用户,与社区的一线科研工作者与企业实践者沟通交流,共同推动AI+Science社区的发展。


人工智能与数学读书会启动


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



详情请见:

人工智能与数学读书会启动:AI for Math,Math for AI



点击“阅读原文”,报名读书会