以下文章来源于caoz的梦呓 ，作者caoz caoz的梦呓 . caoz的心得与分享，只此一家，别无分号。 来源丨caoz的梦呓 （ID：caozsay） 作者丨caoz 图源丨Midjourney 上个月回国转了差不多20天，有一半时间属于自己闲逛以及看望父母，另一半时间也约了不少老朋友喝 茶吃饭聊天。 说实话每次回国和国内创业者沟通，都能带来不少新的想法，新的认知。现在AI时代更是一日千里的感 觉，稍微放松一下就感觉自己落伍很多。 我不是最近一直在用AI 进行零代码编程么，最近也是受我的读者建议启发，开始尝试使用Vscode + Augment组合，第一感非常惊艳，agent模式相当给力，感觉还是能帮助零基础，或者弱基础者做不少事 情。 不过今天也遇到有一次编译出错的问题，Augment翻来覆去无法解决，并建议我彻底重构，然后我直接换 用copilot editor （claude 3.7+） 一遍就解决。所以，嗯，也还不够完美。很多读者反馈最近cursor非常不 稳定，以及一些额度限制问题，vscode + augment似乎真的可以替代 cursor，当然遇到一些疑难问题，可 能还是需要copilo ...

图片来源： Cursor AI Anysphere 成立于 2022 年，由四位20多岁的 MIT 数学与计算机科学专业学生共同创办。今年1月，公司曾以 25亿美元估值 完成1.05亿美元融资，当时投资 方亦包括 Thrive 和 Andreessen Horowitz。 此次估值大幅提升，主要得益于其年度经常性收入（ARR）的快速增长：截至4月，ARR 已达到 2亿美元 ，使其成为软件行业增长最快的公司之一。 不过，如此激进的估值提升也再度引发部分投资者对 AI 公司估值可持续性的担忧，尤其是在近期二级市场波动背景下。 此前 OpenAI 的估值在3月飙升至 2600 亿美元 ，软银还承诺将牵头对其进行 400 亿美元 投资。 与此同时，两家由 OpenAI 前高管创立的初创公司也在筹备大额融资：Ilya Sutskever 创办的 Safe Superintelligence（SSI）已获得 300 亿美元估值。 Mira Murati 创立的 Thinking Machines Lab 正计划以 100 亿美元估值 融资 20 亿美元 。 两家公司目前尚未推出正式产品。 Cursor 因其 AI 编程工 ...

图片来源： Anthropic 据彭博社报道，苹果与 Anthropic 正联手打造一款"氛围编程"软件平台，该平台将利用生成式 AI 为 程序员编写、编辑和测试代码。 为加速 AI 布局，苹果似乎正在构建合作伙伴网络。 OpenAI 的 ChatGPT 已为其 Apple Intelligence 功能提供支持，苹果表示未来可能加入谷歌 Gemini 作为备选方案。 如今 Anthropic 或将协助苹果内 部代码编写。 在开发者群体中， Anthropic 公司最新的 Claude 模型尤其受到编程任务的青睐，特别是在 Cursor 和 Windsurf 这类氛围编程平台上。 参考资料 https://techcrunch.com/2025/05/02/apple-and-anthropic-reportedly-partner-to-build-an-ai-coding-platform/ 我们正在招募新一期的实习生 -----------END----------- 报道指出， iPhone 制造商计划内部推出该软件，但尚未决定是否公开上市 。该系统是苹果编程软件 Xcode 的新版本，并依赖于 An ...

机器之心报道 编辑：大盘鸡、泽南 DeepSeek R2 的前奏？ 五一劳动节到了，DeepSeek 的新消息可没停下来。 前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSeek 确实有新动作，不过大家没等来 R2，等来的是 DeepSeek-Prover-V2，它当然也是 开源的。 Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了 88.9% 的通过率，在 AIME 24、25 上也有不错的分数。 在 4 月 30 日晚，机器学习协作平台 HuggingFace 上就更新了 DeepSeek-Prover-V2 的一些技术细节。 | Models | | --- | 其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5- Base 构建，并支持最长 32K tokens 的上下文长度扩展。 要一句话总结 DeepSeek-Prover-V2 到底是什么？ 它是一款专为「数学 AI 编程语言」L ...

证券研究报告|公司点评报告 复旦微电发布 2025 年一季报，25Q1 实现营业收入 8.88 亿元 （同比-0.54%），实现归属于上市公司股东的净利润 1.36 亿元 （同比-15.55%），实现归属于上市公司股东的扣除非经常性损 益的净利润 1.33 亿元（同比-14.21%，环比+67.28%）。综合毛 利率为 58.14%。整体来看，公司 FPGA 及智能电表业务保持增 长，但受非挥发存储器业务下滑及减值损失增加影响，整体业 绩同比承压，但扣非净利润环比显著改善。 ► 毛利率同比提升，研发投入保持高位 期间费用：25Q1 公司期间费用率为 39.86%，同比+0.67pct。 其中，销售、管理、研发、财务费率分别为 6.76%、4.27%、 27.92%、0.85% ，同比 基本 持平、+0.25pct、+0.44pct、- 0.18pct。公司研发投入占营收比例为 30.09%，虽比例同比略 有下降（-2.19pct），但仍维持较高水平，持续高强度的研发投 入有助于保持公司在产品和技术上的先发优势与创新能力。 [Table_Date] 2025 年 04 月 29 日 [Table_Title] ...

Group 1 - The core viewpoint of the article is the strategic partnership between SenseTime and Coding Cat to promote the integration of AI and programming education [1] - The collaboration will focus on course development, teaching software, and teacher training [1] - Both companies will explore multiple applications of AI in the education sector [1]

卓易信息（688258.SH）2025 年一季报点评 推荐 维持评级 当前价格： 44.79 元 [Table_Author] 扣非利润大幅增长，AI 编程龙头成长性不断提升 2025 年 04 月 29 日 ➢ 事件概述：2025 年 4 月 28 日公司发布 2025 年一季报，2025 年一季度公 司营收 0.85 亿元，同比增长 20.98%。2025 年一季度归母净利润 0.19 亿元，同 比增长 11.08%；扣非归母净利润 0.17 亿元，同比增长 581.73%。 ➢ 扣非归母净利润高速增长，毛利率大幅提升。扣非归母净利润增长原因：公 司营业收入及毛利润增加，带动公司扣非归母净利润快速增长。毛利率方面，公 司 2025Q1 毛利率达到 61.53%，较 2024Q1 增长约 18 个百分点。公司 2024 年完成对艾普阳的收购，艾普阳商业模式是 SaaS 模式，利润率较高，因此并表 后对公司毛利率提升有帮助。同时公司其他业务也在持续健康发展，共同推动公 司收入以及利润提升。 ➢ 国产 IDE 具有较高壁垒，顺应 AI 大趋势有望不断提升成长性。1）技术壁 垒：开发 IDE 软件是一项极具挑战性 ...

Core Insights - The article discusses the rise of "Vibecoding," a new AI programming approach that allows users to give instructions to coding agents and receive code based on natural language feedback, making programming accessible to both technical and non-technical users [2][3][4]. Group 1: Vibecoding Overview - Vibecoding enables users to guide coding agents using intuitive natural language feedback, allowing for a more interactive coding experience [2][3]. - Both technical experts and novices are utilizing Vibecoding, with many professionals shifting from traditional coding to leveraging large language models for code generation [2][3][4]. Group 2: User Segmentation and Tools - Different companies are catering to various user segments, with some focusing on integrated development environments (IDEs) for developers, while others target non-technical users with tools for creating web applications [3][4][5]. - Tools like Cursor are rapidly gaining popularity, with reports of significant growth in annual recurring revenue (ARR), indicating a strong market demand for user-friendly coding solutions [6][7]. Group 3: Application Development Trends - The concept of "personal software" is emerging, allowing users to create customized applications for individual needs, which was previously difficult for non-technical users [7][13]. - The tools are capable of generating dynamic web applications, surpassing the limitations of static websites, and enabling users to create interactive features [7][8]. Group 4: Technical Foundations and Challenges - The success of Vibecoding tools is attributed to advancements in foundational AI models and the availability of vast amounts of code data for training [9][10]. - Despite the impressive capabilities of these tools, challenges remain in handling complex applications and ensuring reliability in code generation [11][12]. Group 5: Market Dynamics and Future Trends - The market for AI programming tools is expected to evolve, with potential for differentiation based on user skill levels and specific functionalities [16][17]. - Pricing strategies are currently based on usage, but there is a call for more transparent and value-based pricing models to better serve different user segments [18][19]. Group 6: Future Innovations - The future of AI programming tools may include more integrated services and innovative interaction methods, such as visual design interfaces that appeal to younger generations [22][24]. - The development of Model Context Protocol (MCP) servers is anticipated to enhance the capabilities of coding agents, leading to a more robust plugin ecosystem [25].

AI 不会让开发者失业，而是促使他们进化，成为更有战略价值的技术决策者。 当 Anthropic CEO Dario Amodei 宣称 AI 将在 6 个月内编写 90% 的代码时，编程世界似乎即将面临程序 员岗位"大面积消失"的阶段。然而，在 Salesforce 内部，却出现了不一样的景象。 这种转变与其他技术颠覆如出一辙。比如：计算器取代人工计算后，数学家并没有消失，他们开始解决 更复杂的问题。数码相机淘汰暗房技术后，摄影反而得到了拓展，而不是萎缩。 Salesforce 认为，代码的命运也将如此。随着 AI 大幅削减软件创作成本，开发者获得了他们一直缺乏的 资源：时间。 "过去的 30 天，大概有 20% 的 APEX 代码来自 Agentforce。"Salesforce AI 高级副总裁 Jayesh Govindarajan 在最近的采访中表示。他的团队不仅追踪 AI 生成的代码，还追踪那些真正被部署到生产 环境中的代码。这里有一组数字展示了一场不容忽视的开发加速进程：每月活跃用户 3.5 万人，接受使 用的代码达 1000 万行，内部工具每月节省开发者 3 万小时的工作时间。 Apex 是一 ...

图片来源： a16z Z Highlights ： a16z (Andreessen Horowitz) 是一家风险投资公司，以其多元化的投资领域著称。其热衷于为其投资公司提供策略和资源协助进而帮助它们取得成功。被投 资公司包括 Airbnb 、 Meta 和 Twitter 等。 Yoko 和 Justine 为其投资合伙人。本次访谈两位合伙人分享了颠覆传统编程方式的 AI 编程 ——Vide Coding 编程 方式。 从技术极客到全民开发：解码 Vibecoding 浪潮下的 AI 编程生态演进 Steph Smith ： 欢迎来到本节目！什么是 Vibecoding ？为什么它席卷了互联网？ Yoko Li ： 我对 "Vibecoding" 的理解是：你给编码 Agent 一套指令后就放手让它自主运行。唯一需要做的就是通过自然语言反馈来引导，比如 " 我喜欢这 个 " 、 " 这个不太对 " 、 " 这个很合我胃口 " 、 " 这个感觉不对 "—— 通过这样直觉化的反馈来塑造代码，这就是所谓的 videcoding 。 Justine Moore ： 有趣的是，我们看到无论是技术人员还是非技术人员都 ...