专栏名称: 图灵人工智能
人工智能及其他科技学术前沿、机器学习、图像识别、语音识别、自动驾驶、自然语言处理、脑机接口、云计算、大数据、物联网、机器人、天文物理、生物科学、数学、区块链、比特币、计算机等学术前沿知识、报告、讲座等介绍。
今天看啥  ›  专栏  ›  图灵人工智能

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

图灵人工智能  · 公众号  ·  · 2025-03-09 07:24
    

文章预览

点击上方“ 图灵人工智能 ”,选择“星标”公众号 您想知道的人工智能干货,第一时间送达                           版权声明 版权属于原作者,仅用于学术分享,如有侵权留言删除  大语言模型时代的形式化数学革命。 “DeepSeek许多重要创新出自实习生之手。” 这是前段时间社交网络上盛传的信息,不过这条信息并不夸张,因为 辛华剑就是在DeepSeek实习期间主导开发了专注于数学证明DeepSeek-Prover系列模型,他也是DeepSeek-Prover-V1.5论文的一作。 图片来源:DeepSeek-Prover-V1.5论文 辛华剑于2023年本科毕业于中山大学逻辑学专业,现在是爱丁堡大学人工智能方向的一年级博士生,专注于大模型在数学定理证明中的创新应用。 去年8月发布的DeepSeek-Prover-V1.5可以被看作是DeepSeek在数学证明领域的早期探索和技术积累,推动了大模型更好地解决形式化定理 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照
总结与预览地址:访问总结与预览