「AI编程产品」共找到 10453 篇相关文章
Karpathy：IDE没有消亡，我们需要的是更大的IDE
AI时代有人认为IDE要消亡，Andrej Karpathy却觉得IDE不会消亡，只是形态要变，需更大的IDE。他认为编程基本单元变了，还提出智能体组织可被fork，指出人类组织不透明等观点。
北大ChatExcel，获得千万级新投资
北大团队研发的ChatExcel完成天使轮融资，获近千万支持。资金用于产品研发和全球化推广。它是中国首个生成式AI Excel与数据分析智能体，已服务超百万用户，还启动了PreA轮融资。
北京芯片巨头，吸金50亿加速狂奔
AI算力需求爆发，4月30日寒武纪抛出近50亿定增计划。其此前多次募资，虽长期亏损，但连续两季盈利，股价涨幅大。当下英伟达限售，政策支持，寒武纪有望抢占市场，此次募资将完善产品矩阵。
硅基公司裁员二三事
作者回顾2017年入职硅基智能（当时叫南京必拓狮）的经历，讲述公司转型AI赛道的过程、产品开发情况，以及老板司马华鹏的想法和管理方式，还总结了创业应注意的教训。
Boris Cherny：Claude Code 之后，写代码正在变成“管理 Agent”
这是对Anthropic内部Claude Code创建者Boris Cherny的访谈。他介绍了Claude Code从三人孵化项目发展的历程，分享工作流，探讨编程现状、SaaS未来、产品与模型关系等，还给出软件大众化等观点。
不玩Harness，卷Model，Meta说：模型即计算机
当下AI圈热捧Harness Engineering，Anthropic让Harness从概念成产品，众多企业纷纷入局。但Meta反其道而行，发布Muse Spark模型，还联合提出神经计算机领域，其论文对相关概念做了介绍并展示实验结果。
Auto Research时代，47个没有标准答案的任务成了Agent能力必测榜
Einsia AI旗下Navers lab发布Agent Benchmark——Frontier-Eng Bench，让AI在47个多学科交叉的硬核任务中做工程优化，测试其迭代优化能力。研究总结出AI进化规律，初步勾勒接近真实工程循环的AI系统。
从GLM-4.5到GLM-5，我见证了一个模型从码农晋升为架构师
智谱以匿名方式将GLM - 5放到OpenRouter公测，其表现亮眼。在AI编程从Vibe Coding转向Agentic Engineering的背景下，GLM - 5参数规模提升，成绩优异，实测决策有架构师思路，持久力强，不再只是‘平替’。
全球首款！高性能人形机器人跑跳进入万元机时代
全球首款万元以内高性能人形机器人Bumi登场，能跑会跳还能当编程老师。它由松延动力打造，团队成员多来自清华，此前已有多款硬核机器人产品，Bumi让具身智能走进日常生活。
面壁智能完成新一轮融资，26年累计融资超10亿，跻身基模独角兽行列
面壁智能宣布完成新一轮数亿元融资，由深创投和汇川产投领投。今年一季度累计融资超10亿，其获“2026年度中国独角兽企业”称号。各方看好端侧AI，面壁以‘密度法则’构建技术生态，产品应用广泛。