OpenAI收购AI编程助手Windsurf的谈判因微软知识产权担忧而告终，这起原本价值30亿美元的交易最 终被谷歌截胡。谷歌将雇佣Windsurf首席执行官Varun Mohan及部分员工，并获得该公司技术的非独家 许可。 历时数月的收购谈判在近日宣告破裂。7月12日，据科技媒体The Information报道，知情人士透露， Windsurf团队对其编程助手如何融入OpenAI与微软的现有协议表达担忧。根据该协议，OpenAI需要与 微软分享其技术，这成为交易失败的关键因素之一。 谷歌将为Windsurf技术许可支付费用，但不会持有该公司股份。这笔交易将为Windsurf的投资者带来回 报，员工也将获得现金收益。Windsurf将继续作为独立公司运营，约250名员工中的大部分将留在公司 继续开发面向大型企业的编程工具。 分析称，此次交易失败凸显了大科技公司在AI编程工具领域的激烈竞争，以及复杂的合作关系如何影 响行业整合。AI编程助手市场正成为科技巨头争夺的关键战场，相关工具能够显著提升软件开发效 率。 微软协议成交易"拦路虎" OpenAI与微软的现有协议成为此次收购失败的核心障碍。根据协议，微软拥有 ...

2025 年上半年，教育行业投融资市场持续活跃，AI 技术与教育深度融合成为主旋律。据不完全统计，2025 年上半年共发生超过 25 起投融资事件（名单 详见文末），其中多笔大额融资集中在 AI+教育、儿童教育、职业教育等细分领域；海外不完全统计有 9 起投融资事件，集中在 AI+教育、儿童硬件、职 业技能等细分方向。 虽然整体投融资数量未见井喷，但从项目质地、技术路径到应用落点，AI成为共识，技术逐步沉底，应用更加落地，服务更趋细化。 01 创新回暖，天使轮唱主角 2025 年上半年，国内一级市场教育行业共披露融资事件超过 25 起，融资金额数加总高达 12 亿元。 | | 2025年上半年国内一级市场教育行业融资事件 | | 多鲸 | | --- | --- | --- | --- | | 轮次 | 数量 | 占比 | | | 天使轮 | 18 | 72% | | | A轮 | 3 | 12% | | | Pre-A轮 | 2 | 8% | | | 收购 | N | 8% | | 从融资轮次分布来看，天使轮仍占据主导地位，占比超过 72%，表明行业仍处于早期创新活跃阶段。A轮及以上项目仍属稀缺，说明大部分 ...

证券代码：300520 证券简称：科大国创 科大国创软件股份有限公司 投资者关系活动记录表 编号：20250710 答：高可信软件是公司自主研发的面向程序分析和形式验证领 域的基础工具软件，主要采用符号执行、定理证明等形式化技术， 在代码级别或系统级别进行静态分析、动态分析和程序验证，以提 供准确而全面的软件评估，从而帮助程序研发与测试人员检测和纠 正潜在的错误、程序数据与信息的安全问题、潜在的逻辑漏洞和缺 陷，确保软件的质量和可靠性。目前公司高可信软件已在航天航空、 军工交通、汽车电子等领域实现应用，并持续为公司数字化新能源 产品的安全可靠保驾护航。 四、公司 AI 编程助手现在业务进展情况如何？ 投资者关系 活动类别 ☑特定对象调研 □分析师会议 □媒体采访 □业绩说明会 □新闻发布会 □路演活动 ☑现场参观 其他 （请文字说明其他活动内容） 参与单位名 称及人员姓 名 景顺长城基金、华泰证券、中金公司、方正证券、财通证券、平安 证券 时间 2025 年 7 月 10 日 10:00-11:30 地点 现场调研 上市公司接 待人员姓名 董事会秘书：杨涛先生 证券事务代表：赵淑君女士 投资者关系 活动主要内 ...

7月11日，科创芯片午后震荡走强，截至14:18，科创芯片50ETF(588750)上涨2%。资金持续布局高景气的科创芯片板块，科创芯片50ETF(588750) 连续2日获资金净流入超2000万元。 上证科创板芯片指数(000685)强势上涨2.06%，成分股寒武纪(688256)上涨6.06%，盛科通信(688702)上涨5.43%，峰岹科技(688279)上涨5.28%，华 虹公司(688347)，思瑞浦(688536)等个股跟涨。 【科创芯片50ETF(588750)标的指数前十大成分股】 | 序号 | 代码 | 名称 | 申万—级行业 | 涨跌幅 | 成交额 | 估算权重 ▼ | | --- | --- | --- | --- | --- | --- | --- | | 1 | 688981 | 中芯国际 | 甲子 | 3.46% | 35.30亿 | 10.27% | | 2 | 688041 | 海光信息 | 电子 | 2.19% | 24.95亿 | 9.89% | | 3 | ୧୫୫25୧ | 寒武纪-U | 电子 | 6.06% | 56.77 Z | 8.71% | | র্ব | 68 ...

买入 华南 K12 龙头，素质教育转型成功重回扩张 卓越教育集团(3978.HK) 2025-07-11 星期五 | 目标价： | | 6.89 | 港元 | | --- | --- | --- | --- | | 现 | 价： | 5.43 | 港元 | | 预计升幅： | | 26.9% | | | 重要数据 | | | --- | --- | | 日期 | 2025-07-10 | | 收盘价（港元） | 5.43 | | 总股本（亿股） | 8.47 | | 总市值（亿港元） | 46.0 | | 净资产（亿元） | 6.54 | | 总资产（亿元） | 18.37 | | 52 周高低（港元） | 5.94/2.31 | | 每股净资产（元） | 0.77 | 数据来源: Wind 、国元证券经纪(香港)整理 主要股东 | 唐俊京 | 20.38% | | --- | --- | | 唐俊膺 | 16.94% | | 周贵 | 16.90% | 相关报告 证 券 研 究 报 告 研究部 姓名：冯浩 SFC：BU780 电话：0755-2151 9167 Email：fenghao@gyzq.com. ...

竞争秩序场课题组 北京报道 2025年，被称为"智能体元年"。这是AI发展路径上的一次范式突变：从"我说AI答"到"我说AI做"，从对 话生成跃迁到自动执行，智能体正成为最重要的商业化锚点和下一代人机交互范式。 但越接近落地，风险也越有实感。 另外，随着智能体的产业生态和应用场景逐渐清晰，关于安全和技术发展的争端也再次袭来。业内哪一 方声音占主流？不同产业角色是如何考虑这一问题的？行业是否存在一些共识？亟需找出一条认知水位 线。 结合调查问卷和行业深入访谈，南财推出最新专题报告：《智能体体检报告——安全全景扫描》。从最 新发展状况、合规认知度、合规实际案例三个角度，扫描智能体的安全合规问题。 以下是八点核心发现，以及报告全文： 1、概念正热。垂直智能体领跑，编程场景已诞生ARR破5亿美元产品。 2、地图扩张中。从AI手机到AI浏览器，智能体正在接管日常入口。 3、谁更"能自理"谁能走得远。容错性与自主性，可以为智能体划分价值象限。 4、"安全重要，但不着急"。业内普遍认同智能体安全合规很重要，但优先级排不进TOP 3。 5、出错与泄露。业内最关心的智能体风险仍是AI幻觉和用户数据泄露。 6、下一代应用商店？智 ...

1、 "稚晖君"人形机器人即将规模化出货：明年底可达数千台 前华为天才少年、智元机器人联合创始人兼CTO稚晖君推出最新作品灵犀X2-N轮足机器人。它以中国神 话哪吒为灵感，是灵犀X2系列扩展形态。该机器人能在双足和双轮形态间自由切换，足式可盲走上台阶、 负重前行，轮式能高效应对复杂地形。此外，它情绪表达丰富，可满足情感需求。智元机器人规划，2025 年下半年灵犀X2开始规模化出货，2026年底达数千台规模。 2、 清华团队开发磁流体液滴机器人操控平台 现有磁驱动微型软体机器人存在变形受限、难以实时重构等问题。近期，清华大学深圳国际研究生院曲钧 天团队开发出基于电磁线圈阵列的可编程操控平台。该平台集成144个电磁线圈，能多点独立驱动液滴机 器人。团队探究了其运动规律与变形机理，提出协同路径跟踪控制策略。此外，还展示了平台在自主排 序、图案重构等复杂任务场景下的高效协同能力。相关成果6月30日发表于《IEEE机器人学汇刊》，获学 院海外科研合作基金资助。 3、 首程控股旗下基金追加投资星海图 7月9日早间，首程控股于港交所发布公告。据悉，集团所属首程资本旗下公司管理的北京机器人产业发展 投资基金（有限合伙），即" ...

Investment Rating - The report maintains a positive outlook on the computer industry, recommending stocks such as Baidu, Huawei, and others, with an "Outperform" rating for the recommended targets [5][10][6]. Core Insights - Baidu and Huawei's open-source initiatives are expected to significantly promote the adoption of foundation models, lowering the barriers for R&D and application in AI technology [11][12]. - The State Administration for Market Regulation has approved 7 national standards aimed at standardizing AI and digital services, which will enhance competitiveness and market opportunities for companies in the computer industry [12][13]. - The China Internet Association has initiated standards for algorithm management, which will facilitate the governance of recommendation algorithms and promote compliance within internet platform enterprises [13]. Summary by Sections Open-Source Initiatives - On June 30, Baidu and Huawei announced the open-sourcing of various models, including Baidu's Wenxin 4.5 series and Huawei's Pangu models, which will lower the R&D and application thresholds for AI technologies [11][10]. National Standards - The report highlights the approval of 7 national standards by the State Administration for Market Regulation, which will support the digital economy and enhance the interconnectivity of the computer industry [12][10]. Algorithm Management Standards - The initiation of algorithm management standards by the China Internet Association is expected to advance platform algorithm governance, focusing on compliance and security measures [13][10].

Core Insights - The article emphasizes the importance of treating AI as a junior developer that requires clear guidance rather than a magical tool, highlighting the need for engineers to adapt their management style to effectively utilize programming agents [1][3][9] - Senior engineers are found to be the quickest adopters of these tools, which can save approximately 80% of time on medium to large tasks [1][8][24] Introduction - The article introduces a practical guide based on two years of experience building Devin, an autonomous programming agent, and aims to share valuable insights from customer feedback and internal practices [1][3] Getting Started: Basics and Daily Applications - Key principles for effective communication with agents include providing specific instructions, indicating starting points, anticipating potential errors, and establishing a feedback loop [10][11][13][15] - The guide suggests integrating agents into daily workflows to enhance personal efficiency, such as handling new requests without interrupting deep work and managing urgent issues on the go [17][19][20] Intermediate: Managing Complex Tasks - For complex tasks, the article recommends having agents draft initial versions and collaborating on implementation plans, while also setting checkpoints to ensure alignment with expectations [23][25][26] - It emphasizes the importance of teaching agents how to validate their work and increasing testing coverage in areas frequently modified by AI [28][29] Advanced: Automation and Customization - The article discusses creating automation templates for repetitive tasks and implementing intelligent code reviews using agents [30][33] - It highlights the need for a unified development environment to enhance agent performance and suggests building custom tools to empower agents [35][36] Practical Considerations: Embracing Change - The article outlines the limitations of autonomous agents, such as their debugging capabilities and knowledge cut-off dates, advising users to manage expectations and time effectively [39][42][43] - It concludes by asserting that the value of software engineers will not diminish, as deep technical knowledge and understanding of business codebases remain essential in the evolving landscape of software development [50]

整理 | 王启隆 出品 | CSDN（ID：CSDNnews） 投稿或寻求报道 | zhanghy@csdn.net AI 热潮的另一面是什么？ 在聚光灯无法照亮的角落，那些真正用代码、数据和不眠不休的夜晚构建着AI未来的"Builder"们，他们正在经历什么？他们的"Playbook"（战术手 册）上，写下的究竟是通往圣杯的地图，还是九死一生的航海日志？ 最近，硅谷顶级投资机构 ICONIQ Capital 发布了一份名为 《The Builder's Playbook》 的 2025 年度 AI 报告。他们没有采访那些在发布会上侃侃 而谈的 CEO，而是深入了战壕，对全球 300 家正在构建 AI 产品的软件公司（包括工程主管、AI 负责人和产品负责人）进行了对话。 这份长达 67 页的报告，描绘一个高歌猛进、势如破竹的黄金时代，而是用冷静到近乎残酷的数据，揭示了繁荣之下的真相： 每一步看似光明的进展，背后都标记着惊人的代价、艰难的权衡和巨大的不确定性。 报告将围绕构建者最关心的五个核心问题展开，这也是报告的五大支柱： 产品战略： 造什么？ 在 AI 领域，所有构建者首先面临一个根本性的身份选择题： 你是 ...