报告题目：基于VeryMath的人工智能赋能数学研究探讨
时 间：2026年 11月 3日（星期二）14：00
地 点： 科研楼18号楼1102
主 办：数学与统计学院、分析数学及应用教育部重点实验室、福建省分析数学及应用重点实验室、福建省应用数学中心（福建师范大学）、福建师范大学数学研究中心
参加对象：感兴趣的老师和研究生
报告摘要：本报告围绕VeryMath，探讨人工智能赋能数学研究的方法与路径，重点讨论其在文献分析、猜想生成、推理探索及形式化证明中的应用潜力，分析大模型与符号计算、证明验证相结合的研究思路，并讨论可靠性、可解释性与创新性等挑战，探索人机协同的数学研究新范式，为提升研究效率、拓展问题发现能力及推动数学智能化发展提供参考。
报告人简介：王祥丰，华东师范大学数学科学学院教授，深圳河套学院双聘教授，数学与工程应用教育部重点实验室副主任，研究方向是智能体（最优化、强化学习、大语言模型驱动智能体）及应用等。曾获中国工业与应用数学学会落地应用成果、中国运筹学会青年科技奖提名奖、IEEE信号处理学会最佳论文奖、华为云技术合作优秀合作伙伴奖、上海开源创新卓越成果奖特等奖等。已在IEEE TPAMI、JMLR、ICML、ICLR、NeurIPS、Mathematical Programming、Mathematics of Operations Research、INFORMS Journal on Computing等人工智能/运筹优化国际权威期刊/会议发表论文50余篇。目前担任上海市运筹学会副理事长、中国运筹学会算法软件与应用分会常务理事等。