【嘉宾】

陈小杨，同济大学数学科学学院特聘研究员，美国圣母大学数学博士。

【节目介绍】

探索数学新天地，启迪智慧新旅程！本期节目访谈了OPENAIGC的开发者大会获奖作品的作者陈小杨博士。陈博士介绍了他们的创业项目DeepMath，这是一个基于大型模型的数学人机交互学习和研究平台，研发该团队主要来自同济大学。DeepMath着重于提高数学研究和学习效率的平台建设，并可能在未来应用于更广泛的教育领域。不论您是数学研究者、教育工作者，还是对AI技术充满好奇的爱好者，这一期节目定能为您带来全新的启发和思考。

【时间线】

01:03 DeepMath基本情况介绍

07:09 如何克服大模型在数学计算上的缺陷

11:31 关于数学大模型的搭建

16:49 与专业数学插件的集成

24:33 与数字人的集成

29:07 大模型的基础能力对比

34:10 面向的用户群体

41:42 商业模式和下一步的工作

【名词解释】

LaTeX：是一种基于TeX的排版系统，利用这种格式生成复杂表格和数学公式。

符号回归：符号回归的基本任务是构造拟合已有数据集的精确数学表达式。与深度学习相结合，符号回归已被用于重新发现已知的基本物理定律。

反例构造：任何事物皆具有两面性，证明或证否则是数学研究的两个方面。构造数学猜想的反例通常并不容易。一个好的反例可能产生巨大的影响，甚至会开辟新的数学分支。

【延伸阅读】

www.deepmath.cn

【片头和片尾音乐】

没有理想的人不伤心 - 新裤子

【感谢】

欢迎订阅本播客节目，本节目在小宇宙、喜马拉雅、苹果播客、蜻蜓FM、网易云音乐、荔枝FM等平台均已上线。特别感谢[AIGC开放社区]和[AI重塑世界]的大力支持，请听友及时订阅微信公众号，查看本播客的文字版内容。