​对话 DeepSeek 研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来

文章预览

好消息： 哲学园推出自己的智能体啦，只要在哲学园主页点击“ 发消息 ”，进入对话页面，就可以向哲学园提问对话，哲学园会用自己的资料库结合大模型进化回复。哲友们都说哲学园资料库啥都有，以前是用搜索，现在升级为智能体还可以回答你的高深问题啦，赶快试试吧。 另，哲学园网站也开通了： http://www.zhexueyuan.com/ 转自：甲子光年 如涉版权请加编辑微信iwish89联系 哲学园鸣谢 大语言模型时代的形式化数学革命。 作者｜王艺 编辑｜王博 “DeepSeek许多重要创新出自实习生之手。” 这是前段时间社交网络上盛传的信息，不过这条信息并不夸张，因为 辛华剑 就是在DeepSeek实习期间主导开发了专注于数学证明DeepSeek-Prover系列模型，他也是DeepSeek-Prover-V1.5论文的一作。 图片来源：DeepSeek-Prover-V1.5论文 辛华剑本科毕业于中山大学逻辑学专业，现在 ………………………………