2月19日 社区动态速览

2月19日 社区动态速览 💬 2月19日 社区动态速览 Modified February 19, 2025 2 月 18 日 ◦ 《AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆》在五源小酒馆的闭门活动中，多位行业创业者探讨了 AI 如何重塑内容创作、游戏和娱乐。AI 能够发现远距离的信息联系和戏剧冲突，推动创作的边界。正如胡修涵所说：“创作者的灵感部分是 AI 难以取代的。” 未来的游戏和内容将通过 AI 的创新，构建更高效的用户体验，UGC 生态将重构权力结构，实现共赢。 ◦ 《对谈张亚勤：或许只需30年，新物种比人类聪慧得多》张亚勤认为，未来 30 年内，人工智能（AGI）将实现信息智能、物理智能和生物智能的融合，可能会超越人类的智力。他强调，未来的机器人将分为家庭、工业和社会三大场景，特别是家庭机器人需具有人形特征以提升自然互动。张亚勤提到：“10 年内，机器人的数量可能超过人类”，这预示着一个全新物种的诞生。 ◦ 《对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？》在 DeepSeek R1 的引领下，AI 应用正迎来新潮流。与传统模型相比，DeepSeek 的文笔和思考过程更加灵活且富有创意，成为 AI 产品的标配。吴翼指出，过度对齐限制了模型的创造力，而闵可锐认为 R1 的成功源于高质量的数据和更大的模型容量。 ◦ 浙商证券：《AI Agent元年，企业服务有望最先落地计算机》AI Agent自主性强，海外企业服务类SaaS公司兴起，市场规模预计到2033年超1300亿美元。其商业价值在于降本、增效和个性化服务，企业服务因具备数据优势等成为最佳落地场景之一。报告还介绍了ServiceNow等海外厂商的定价模式，以及金山办公、科大讯飞等国内外相关标的的AI业务进展。 ◦ 《世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起》微信 AI 搜索接入 DeepSeek，标志着 AI 应用新阶段的到来。用户体验决定产品竞争力，未来高频场景将主导市场。技术平权使得中小企业在细分领域找到机会，传统巨头的壁垒面临挑战。2024 年或许是 AI 大模型年，而 2025 年则是 AI 应用年，丰富的产品和竞争将层出不穷。正如张小龙所言：“未来的机会在于应用层的创新。” ◦ 清华大学沈少阳：《DeepSeek+DeepResearch应用报告》该文档主要围绕推理大模型展开，介绍了其与通用大模型的差异、应用及未来发展方向。推理大模型专注逻辑推理，如DeepSeek R1在数学等任务表现出色，且有清晰推理流程。同时，文中列举了多种相关应用工具，如Mermaid AI、Kimi等，可辅助生成图表、PPT等。 其它一些报告发布在研究报告板块和知识星球： ▪ 智灵动力：《DeepSeek行业应用实践报告》 ▪ 厦门大学：《2025年大模型概念、技术与应用实践》 ▪ 国海证券：《人工智能系列深度：DeepSeek十大关键问题解读》 ▪ 全球数据资产理事会：《DeepSeek使用教程蓝皮书 从入门到进阶完整指南》 ▪ 北航&清华大学：《DeepSeek+DeepResearch——让科研像聊天一样简单》 ▪ 中泰证券：《DeepSeek将如何改变AI应用？》 📝 欢迎投稿 ❗ 如果你也有不错的教程见解等欢迎投稿： 🔬 AI技术探讨与分析 💡 实践经验与案例分享 🚀 行业动态与趋势观察 💻 开发心得与技术教程 投稿要求： ✅ 原创、严谨、有深度 📊 配图说明更佳 🎯 观点明确，结构清晰 📏 建议字数1500 5000字 审核流程： 📬 提交后2 3工作日反馈 ✍ 必要时沟通修改建议 🤝 欢迎大家多多投稿 💫 优质内容将收录知识库 更多内容请前往 🌈 通往 AGI 之路 You don't have permission to access this synced block. Please log in and try again. Log In AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆 对谈张亚勤：或许只需30年，新物种比人类聪慧得多 对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？ AI Agent元年，企业服务有望最先落地计算机 世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起 DeepSeek+DeepResearch应用报告 研究报告板块 知识星球 DeepSeek行业应用实践报告 2025年大模型概念、技术与应用实践 人工智能系列深度：DeepSeek十大关键问题解读 DeepSeek使用教程蓝皮书 从入门到进阶完整指南 DeepSeek+DeepResearch——让科研像聊天一样简单 DeepSeek将如何改变AI应用？ 🌈 通往 AGI 之路 2 月 18 日 ◦ 《AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆》在五源小酒馆的闭门活动中，多位行业创业者探讨了 AI 如何重塑内容创作、游戏和娱乐。AI 能够发现远距离的信息联系和戏剧冲突，推动创作的边界。正如胡修涵所说：“创作者的灵感部分是 AI 难以取代的。” 未来的游戏和内容将通过 AI 的创新，构建更高效的用户体验，UGC 生态将重构权力结构，实现共赢。 ◦ 《对谈张亚勤：或许只需30年，新物种比人类聪慧得多》张亚勤认为，未来 30 年内，人工智能（AGI）将实现信息智能、物理智能和生物智能的融合，可能会超越人类的智力。他强调，未来的机器人将分为家庭、工业和社会三大场景，特别是家庭机器人需具有人形特征以提升自然互动。张亚勤提到：“10 年内，机器人的数量可能超过人类”，这预示着一个全新物种的诞生。 ◦ 《对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？》在 DeepSeek R1 的引领下，AI 应用正迎来新潮流。与传统模型相比，DeepSeek 的文笔和思考过程更加灵活且富有创意，成为 AI 产品的标配。吴翼指出，过度对齐限制了模型的创造力，而闵可锐认为 R1 的成功源于高质量的数据和更大的模型容量。 ◦ 浙商证券：《AI Agent元年，企业服务有望最先落地计算机》AI Agent自主性强，海外企业服务类SaaS公司兴起，市场规模预计到2033年超1300亿美元。其商业价值在于降本、增效和个性化服务，企业服务因具备数据优势等成为最佳落地场景之一。报告还介绍了ServiceNow等海外厂商的定价模式，以及金山办公、科大讯飞等国内外相关标的的AI业务进展。 ◦ 《世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起》微信 AI 搜索接入 DeepSeek，标志着 AI 应用新阶段的到来。用户体验决定产品竞争力，未来高频场景将主导市场。技术平权使得中小企业在细分领域找到机会，传统巨头的壁垒面临挑战。2024 年或许是 AI 大模型年，而 2025 年则是 AI 应用年，丰富的产品和竞争将层出不穷。正如张小龙所言：“未来的机会在于应用层的创新。” ◦ 清华大学沈少阳：《DeepSeek+DeepResearch应用报告》该文档主要围绕推理大模型展开，介绍了其与通用大模型的差异、应用及未来发展方向。推理大模型专注逻辑推理，如DeepSeek R1在数学等任务表现出色，且有清晰推理流程。同时，文中列举了多种相关应用工具，如Mermaid AI、Kimi等，可辅助生成图表、PPT等。 其它一些报告发布在研究报告板块和知识星球： ▪ 智灵动力：《DeepSeek行业应用实践报告》 ▪ 厦门大学：《2025年大模型概念、技术与应用实践》 ▪ 国海证券：《人工智能系列深度：DeepSeek十大关键问题解读》 ▪ 全球数据资产理事会：《DeepSeek使用教程蓝皮书 从入门到进阶完整指南》 ▪ 北航&清华大学：《DeepSeek+DeepResearch——让科研像聊天一样简单》 ▪ 中泰证券：《DeepSeek将如何改变AI应用？》 AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆 对谈张亚勤：或许只需30年，新物种比人类聪慧得多 对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？ AI Agent元年，企业服务有望最先落地计算机 世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起 DeepSeek+DeepResearch应用报告 研究报告板块 知识星球 DeepSeek行业应用实践报告 2025年大模型概念、技术与应用实践 人工智能系列深度：DeepSeek十大关键问题解读 DeepSeek使用教程蓝皮书 从入门到进阶完整指南 DeepSeek+DeepResearch——让科研像聊天一样简单 DeepSeek将如何改变AI应用？ ◦ 《AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆》在五源小酒馆的闭门活动中，多位行业创业者探讨了 AI 如何重塑内容创作、游戏和娱乐。AI 能够发现远距离的信息联系和戏剧冲突，推动创作的边界。正如胡修涵所说：“创作者的灵感部分是 AI 难以取代的。” 未来的游戏和内容将通过 AI 的创新，构建更高效的用户体验，UGC 生态将重构权力结构，实现共赢。 AI如何重塑游戏与创作？我们和十几位行业创业者聊了聊｜五源小酒馆 ◦ 《对谈张亚勤：或许只需30年，新物种比人类聪慧得多》张亚勤认为，未来 30 年内，人工智能（AGI）将实现信息智能、物理智能和生物智能的融合，可能会超越人类的智力。他强调，未来的机器人将分为家庭、工业和社会三大场景，特别是家庭机器人需具有人形特征以提升自然互动。张亚勤提到：“10 年内，机器人的数量可能超过人类”，这预示着一个全新物种的诞生。 对谈张亚勤：或许只需30年，新物种比人类聪慧得多 ◦ 《对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？》在 DeepSeek R1 的引领下，AI 应用正迎来新潮流。与传统模型相比，DeepSeek 的文笔和思考过程更加灵活且富有创意，成为 AI 产品的标配。吴翼指出，过度对齐限制了模型的创造力，而闵可锐认为 R1 的成功源于高质量的数据和更大的模型容量。 对谈闵可锐、方汉和吴翼：DeepSeek R1 之后，AI 应用更好做了吗？ ◦ 浙商证券：《AI Agent元年，企业服务有望最先落地计算机》AI Agent自主性强，海外企业服务类SaaS公司兴起，市场规模预计到2033年超1300亿美元。其商业价值在于降本、增效和个性化服务，企业服务因具备数据优势等成为最佳落地场景之一。报告还介绍了ServiceNow等海外厂商的定价模式，以及金山办公、科大讯飞等国内外相关标的的AI业务进展。 AI Agent元年，企业服务有望最先落地计算机 ◦ 《世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起》微信 AI 搜索接入 DeepSeek，标志着 AI 应用新阶段的到来。用户体验决定产品竞争力，未来高频场景将主导市场。技术平权使得中小企业在细分领域找到机会，传统巨头的壁垒面临挑战。2024 年或许是 AI 大模型年，而 2025 年则是 AI 应用年，丰富的产品和竞争将层出不穷。正如张小龙所言：“未来的机会在于应用层的创新。” 世界会是新的：从微信 AI 搜索接入 DeepSeek 聊起 ◦ 清华大学沈少阳：《DeepSeek+DeepResearch应用报告》该文档主要围绕推理大模型展开，介绍了其与通用大模型的差异、应用及未来发展方向。推理大模型专注逻辑推理，如DeepSeek R1在数学等任务表现出色，且有清晰推理流程。同时，文中列举了多种相关应用工具，如Mermaid AI、Kimi等，可辅助生成图表、PPT等。 其它一些报告发布在研究报告板块和知识星球： ▪ 智灵动力：《DeepSeek行业应用实践报告》 ▪ 厦门大学：《2025年大模型概念、技术与应用实践》 ▪ 国海证券：《人工智能系列深度：DeepSeek十大关键问题解读》 ▪ 全球数据资产理事会：《DeepSeek使用教程蓝皮书 从入门到进阶完整指南》 ▪ 北航&清华大学：《DeepSeek+DeepResearch——让科研像聊天一样简单》 ▪ 中泰证券：《DeepSeek将如何改变AI应用？》 DeepSeek+DeepResearch应用报告 研究报告板块 知识星球 DeepSeek行业应用实践报告 2025年大模型概念、技术与应用实践 人工智能系列深度：DeepSeek十大关键问题解读 DeepSeek使用教程蓝皮书 从入门到进阶完整指南 DeepSeek+DeepResearch——让科研像聊天一样简单 DeepSeek将如何改变AI应用？ 其它一些报告发布在研究报告板块和知识星球： 研究报告板块 知识星球 ▪ 智灵动力：《DeepSeek行业应用实践报告》 DeepSeek行业应用实践报告 ▪ 厦门大学：《2025年大模型概念、技术与应用实践》 2025年大模型概念、技术与应用实践 ▪ 国海证券：《人工智能系列深度：DeepSeek十大关键问题解读》 人工智能系列深度：DeepSeek十大关键问题解读 ▪ 全球数据资产理事会：《DeepSeek使用教程蓝皮书 从入门到进阶完整指南》 DeepSeek使用教程蓝皮书 从入门到进阶完整指南 ▪ 北航&清华大学：《DeepSeek+DeepResearch——让科研像聊天一样简单》 DeepSeek+DeepResearch——让科研像聊天一样简单 ▪ 中泰证券：《DeepSeek将如何改变AI应用？》 DeepSeek将如何改变AI应用？ 📝 欢迎投稿 ❗ 如果你也有不错的教程见解等欢迎投稿： 🔬 AI技术探讨与分析 💡 实践经验与案例分享 🚀 行业动态与趋势观察 💻 开发心得与技术教程 投稿要求： ✅ 原创、严谨、有深度 📊 配图说明更佳 🎯 观点明确，结构清晰 📏 建议字数1500 5000字 审核流程： 📬 提交后2 3工作日反馈 ✍ 必要时沟通修改建议 🤝 欢迎大家多多投稿 💫 优质内容将收录知识库 如果你也有不错的教程见解等欢迎投稿： 🔬 AI技术探讨与分析 💡 实践经验与案例分享 🚀 行业动态与趋势观察 💻 开发心得与技术教程 投稿要求： ✅ 原创、严谨、有深度 📊 配图说明更佳 🎯 观点明确，结构清晰 📏 建议字数1500 5000字 审核流程： 📬 提交后2 3工作日反馈 ✍ 必要时沟通修改建议 🤝 欢迎大家多多投稿 💫 优质内容将收录知识库 更多内容请前往 🌈 通往 AGI 之路 🌈 通往 AGI 之路 You don't have permission to access this synced block. Please log in and try again. Log In 今日日历封面介绍 作者：根根 我的创作画面是一次摇滚乐现场。人们喜爱摇滚乐，因为它的苦闷、狂喜、愤怒、宏大或是虚张声势，因为它唤醒了独立意识与自由精神，因为它让人感到重获新生。 遗憾的是没有人永远年轻，我听到许多说人随着年龄增长他们的反叛已经模糊。但情怀可以支撑我们在困难的时候努力生活下去。这就是寄语“因为你永远是我的英雄，即使我再也见不到你”所指的。 也可以解读“你”为现实生活中已经离开但仍然对你有重要意义的人，无论你们有没有机会见面，曾经的精神共鸣与真实连接依旧存在。 我希望你们今天可以找来一首过去喜欢的歌曲听听，祝你在里面寻找到美好的记忆。 今日日历封面介绍 作者：根根 我的创作画面是一次摇滚乐现场。人们喜爱摇滚乐，因为它的苦闷、狂喜、愤怒、宏大或是虚张声势，因为它唤醒了独立意识与自由精神，因为它让人感到重获新生。 遗憾的是没有人永远年轻，我听到许多说人随着年龄增长他们的反叛已经模糊。但情怀可以支撑我们在困难的时候努力生活下去。这就是寄语“因为你永远是我的英雄，即使我再也见不到你”所指的。 也可以解读“你”为现实生活中已经离开但仍然对你有重要意义的人，无论你们有没有机会见面，曾经的精神共鸣与真实连接依旧存在。 我希望你们今天可以找来一首过去喜欢的歌曲听听，祝你在里面寻找到美好的记忆。 今日日历封面介绍 作者：根根 我的创作画面是一次摇滚乐现场。人们喜爱摇滚乐，因为它的苦闷、狂喜、愤怒、宏大或是虚张声势，因为它唤醒了独立意识与自由精神，因为它让人感到重获新生。 遗憾的是没有人永远年轻，我听到许多说人随着年龄增长他们的反叛已经模糊。但情怀可以支撑我们在困难的时候努力生活下去。这就是寄语“因为你永远是我的英雄，即使我再也见不到你”所指的。 也可以解读“你”为现实生活中已经离开但仍然对你有重要意义的人，无论你们有没有机会见面，曾经的精神共鸣与真实连接依旧存在。 我希望你们今天可以找来一首过去喜欢的歌曲听听，祝你在里面寻找到美好的记忆。 最新模型发布 xAI发布Grok 3 http://grok.com 社区日报更新📅 @小互（@imxiaohu）日报 @小互（@imxiaohu） ✒️ 1⃣️ 🎙️ Step Audio：130B语音 文本多模态模型开源 • 集成语音识别、语义理解、对话生成等功能，支持语音克隆、情绪控制等。 🔗 了解更多丨 🔗 GitHub 2⃣️ 🤖 Tanka AI：具有长期记忆的团队IM产品 • 提升团队效率，内置翻译功能支持全球沟通，提供员工培训、简历筛选等。 🔗 了解更多丨 🔗 官网 3⃣️ 🤖 宇树G1机器人跳舞抗干扰测试 • 完美表现，进行干扰与击打测试，验证机器人的抗干扰能力。 🔗 链接 4⃣️ 📚 晋江文学：AI辅助写作新规 • 设定AI使用边界，保护原创性，违反者面临锁章、黄牌等处罚。 🔗 了解更多 5⃣️ ⚡ Deepseek完美平替 • 高速响应，完全免费，支持各种平台使用，最新版本支持文档与图片分析。 🔗 链接 6⃣️ 💻 xAI发布Grok 3 • 超越OpenAI的o3 mini high基准，提升10倍计算能力，支持DeepSearch与Big Brain功能。 🔗 了解更多 丨 🔗 官网 更多详细内容查看 XiaoHu.AI日报 了解更多 GitHub 了解更多 官网 链接 了解更多 链接 了解更多 官网 ​ XiaoHu.AI日报 1⃣️ 🎙️ Step Audio：130B语音 文本多模态模型开源 • 集成语音识别、语义理解、对话生成等功能，支持语音克隆、情绪控制等。 🔗 了解更多丨 🔗 GitHub 了解更多 GitHub 2⃣️ 🤖 Tanka AI：具有长期记忆的团队IM产品 • 提升团队效率，内置翻译功能支持全球沟通，提供员工培训、简历筛选等。 🔗 了解更多丨 🔗 官网 了解更多 官网 3⃣️ 🤖 宇树G1机器人跳舞抗干扰测试 • 完美表现，进行干扰与击打测试，验证机器人的抗干扰能力。 🔗 链接 链接 4⃣️ 📚 晋江文学：AI辅助写作新规 • 设定AI使用边界，保护原创性，违反者面临锁章、黄牌等处罚。 🔗 了解更多 了解更多 5⃣️ ⚡ Deepseek完美平替 • 高速响应，完全免费，支持各种平台使用，最新版本支持文档与图片分析。 🔗 链接 链接 6⃣️ 💻 xAI发布Grok 3 • 超越OpenAI的o3 mini high基准，提升10倍计算能力，支持DeepSearch与Big Brain功能。 🔗 了解更多 丨 🔗 官网 了解更多 官网 更多详细内容查看 XiaoHu.AI日报 ​ XiaoHu.AI日报 @宝玉（@dotey）日报 @宝玉（@dotey） 🖌️ 1⃣️ 👁️ Grok 3 的评测 • 在基准测试中领先，但与竞争模型差距不大，整体表现高出1 2%。 🔗 评测详情 2⃣️ 🤖 Andrej Karpathy 对 Grok 3 的评价 • Grok 3 + Thinking 比 DeepSeek R1 强，接近 OpenAI 顶级模型，解决多个复杂问题。 🔗 评价详情 3⃣️ 🧠 自监督提示词优化方法（SPO） • AI 自动优化提示词，并通过生成结果进行迭代，逐步提高。 🔗 了解更多 4⃣️ 🧑‍💻 思维链可视化项目 • 将 DeepSeek R1 的思考过程转化为可视化动画，展示跳跃与稳定阶段。 🔗 项目链接丨 🔗 可视化详情 5⃣️ 🐞 Cursor Debug 提示词 • 使用“思考可能原因”并逐步验证假设来修复问题。 🔗 提示词详情丨 🔗 Git 调试指南 更多详细内容查看 宝玉 日报 评测详情 评价详情 了解更多 项目链接 可视化详情 提示词详情 Git 调试指南 ​ 宝玉 日报 1⃣️ 👁️ Grok 3 的评测 • 在基准测试中领先，但与竞争模型差距不大，整体表现高出1 2%。 🔗 评测详情 评测详情 2⃣️ 🤖 Andrej Karpathy 对 Grok 3 的评价 • Grok 3 + Thinking 比 DeepSeek R1 强，接近 OpenAI 顶级模型，解决多个复杂问题。 🔗 评价详情 评价详情 3⃣️ 🧠 自监督提示词优化方法（SPO） • AI 自动优化提示词，并通过生成结果进行迭代，逐步提高。 🔗 了解更多 了解更多 4⃣️ 🧑‍💻 思维链可视化项目 • 将 DeepSeek R1 的思考过程转化为可视化动画，展示跳跃与稳定阶段。 🔗 项目链接丨 🔗 可视化详情 项目链接 可视化详情 5⃣️ 🐞 Cursor Debug 提示词 • 使用“思考可能原因”并逐步验证假设来修复问题。 🔗 提示词详情丨 🔗 Git 调试指南 提示词详情 Git 调试指南 更多详细内容查看 宝玉 日报 ​ 宝玉 日报 今日活动推荐 🎼 🐈‍⬛ 羊毛快薅|字节火山上线了DeepSeek系列模型并悄悄更改了模型服务价格... 18日晚截止，50万额度免费领取可以尽快领取 🐈‍⬛ 羊毛快薅|字节火山上线了DeepSeek系列模型并悄悄更改了模型服务价格... 🐈‍⬛ 羊毛快薅|字节火山上线了DeepSeek系列模型并悄悄更改了模型服务价格... 🐈‍⬛ 羊毛快薅|字节火山上线了DeepSeek系列模型并悄悄更改了模型服务价格... 18日晚截止，50万额度免费领取可以尽快领取 🤖 🧚 全新AI整活计划第七期：一起来抓小精灵！ 可能会是新的流量爆款！（ins上已经火爆） 给大家准备好了海辛和阿文的教程！一起来抓小精灵吧 🧚 全新AI整活计划第七期：一起来抓小精灵！ 🧚 全新AI整活计划第七期：一起来抓小精灵！ 🧚 全新AI整活计划第七期：一起来抓小精灵！ 可能会是新的流量爆款！（ins上已经火爆） 给大家准备好了海辛和阿文的教程！一起来抓小精灵吧 🏫 DeepSeek+阿里云实训营全新升级上线！！ 用DeepSeek，就上阿里云！ 不用下载，教你稳定调用、开发满血版DeepSeek智能体！还有更多隐藏玩法，等你来解锁！ 2月20日周四下午2点开始，在线直播👇👇等你来发车～！！ 👉快来加入学习吧～限时免费开课 DeepSeek+阿里云实训营全新升级上线！！ 快来加入学习吧～限时免费开课 DeepSeek+阿里云实训营全新升级上线！！ DeepSeek+阿里云实训营全新升级上线！！ 用DeepSeek，就上阿里云！ 不用下载，教你稳定调用、开发满血版DeepSeek智能体！还有更多隐藏玩法，等你来解锁！ 2月20日周四下午2点开始，在线直播👇👇等你来发车～！！ 👉快来加入学习吧～限时免费开课 快来加入学习吧～限时免费开课 社区新闻速递 ◦ 《对话DeepSeek研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来》辛华剑，前 DeepSeek 团队成员，致力于利用大语言模型推动形式化数学的革命。他主导开发的 DeepSeek Prover V1.5，旨在帮助数学家从繁琐细节中解放出来。形式化数学强调精确的符号语言和逻辑推理，以解决现代数学证明的庞大和复杂问题。陶哲轩认为，结合 AI 的形式化数学将使数学研究更加高效、协作，未来数学家将能在 AI 辅助下轻松证明数百条定理。 对话DeepSeek研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来 ◦ 《DeepSeek Inside：彻底的技术开放，成就的商业奇观》梁文锋对 Open 的 AI 有多执着？一个小故事是，2023 下半年，硅基流动（SiliconFlow）筹备期间，梁文锋想要投资，但说 “如果 LLM 推理引擎不开源就没兴趣了”。硅基流动创始人袁进辉后来分享，当时他并没有想明白开源的商业模式，就没拿这笔钱。一位头部大模型公司人士最近看到这个故事感慨说：“梁文锋真是太疯了！” DeepSeek Inside：彻底的技术开放，成就的商业奇观