知识库精选- 2025 年 2 月 18 日
type
status
summary
date
slug
tags
category
password
icon
- 《对话DeepSeek研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来》辛华剑，前 DeepSeek 团队成员，致力于利用大语言模型推动形式化数学的革命。他主导开发的 DeepSeek-Prover-V1.5，旨在帮助数学家从繁琐细节中解放出来。形式化数学强调精确的符号语言和逻辑推理，以解决现代数学证明的庞大和复杂问题。陶哲轩认为，结合 AI 的形式化数学将使数学研究更加高效、协作，未来数学家将能在 AI 辅助下轻松证明数百条定理。
- 《DeepSeek Inside：彻底的技术开放，成就的商业奇观》梁文锋对 Open 的 AI 有多执着？一个小故事是，2023 下半年，硅基流动（SiliconFlow）筹备期间，梁文锋想要投资，但说 “如果 LLM 推理引擎不开源就没兴趣了”。硅基流动创始人袁进辉后来分享，当时他并没有想明白开源的商业模式，就没拿这笔钱。一位头部大模型公司人士最近看到这个故事感慨说：“梁文锋真是太疯了！”
- 《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应用？》
- 《五津: deepseek+扣子：1分钟生成小红书爆款单词视频》五津介绍了如何使用 DeepSeek 和扣子快速生成小红书爆款单词视频。制作流程包括创建生图和单词工作流，涉及生成图片、单词数组、视频合成等步骤。文中提到制作规律性视频的思路，并提供了具体的制作元素，如背景图、音频和转场效果等。
- 《AI 无法替代的工作们｜见知录 Vol.003 》来自一泽的投稿，探讨了在 AI 迅速发展的背景下，人类工作面临的挑战与机遇。尽管 AI 展现出超越人类的潜力，但我们依然可以通过思考如何利用 AI 来扩展人类的主体性，找到不可替代的价值。正如文中所言：“世界本就是流动的，别怕”，未来的工作将依赖于人类独有的创造力与情感智慧。适应变化，抓住 AI 带来的新机遇，才是应对未来的关键。
