「超级智能软件工程Agent」共找到 3031 篇相关文章
“憋屈” CEO出走GitHub！自曝在微软受限干不下去、被开发者骂蠢喊冤，或押宝Agent反攻老东家？
GitHub 首席执行官 Thomas Dohmke 宣布离职，之后将重新成为创始人。GitHub 将更全面融入微软组织架构，不再设单一领导者。Dohmke 任内升级 Copilot，但也面临功能被抱怨等问题，他还谈及 AI 发展方向。
GitHub上已突破5.1k stars！这是真正被开发者认可的 AI Agent平台，AI开发者必看，如何用它实现生产力逆袭？
TaskingAI是AI - native应用开发平台，整合多模块提供一站式BaaS体验，简化AI应用全流程。它支持多模型，有检索、工具插件等功能，适用于客服、销售等场景，还对比同类项目展现优势。
从被吐槽“套壳中国大模型”到自研封神！首次揭秘Cursor背后极速代码Agent如何对标GPT5.1 Codex，生成效率提4倍
10月29日，Cursor 2.0发布Composer大模型，效率约为其他模型四倍。开发者分享其成极速代码Agent方法，如强化学习、平衡训练与推理负载等，还提及未来方向及研发反思。
刚刚，奥特曼放出ChatGPT「统一智能体」！惊呼真AGI，最卷打工人来了
奥特曼带队直播发布ChatGPT agent，它融合三大技术优势，可自主工作，还能上网直出PPT、Excel。在多项测试中刷新SOTA，2025年将成全新AI杠杆，解锁「超级个体」模式。
直接免单！阿里千问30亿请客吃喝玩乐，春节AI大战彻底白热化
阿里千问APP官宣砸30亿开启「春节请客计划」，2月6日起以「免单」请全国人民吃喝玩乐，阿里生态「全家桶」加入。千问已接入阿里生态，借补贴加速AI Agent普及，有望凭「免单+服务」成「生活万事通」。
编程智能体的隐藏bug，被上交IPADS团队用数学逻辑给揪出来了
上海交通大学 IPADS 研究团队打造 FM - Agent，实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug，还提出新规约生成方法，在绝对严谨与工程可用间找到平衡。
从Prompt到Context：为什么Think Tool是形式化的必然？
文章从编译原理视角，为AI工程实践提供理论根基。分析了Prompt和Context Engineering的形式化程度，介绍Anthropic的Think Tool，指出其优势及对CoT的超越，还提及未来需为Agent System发展全面形式化理论。
刚刚，小扎砸143亿的「牛油果」来了！硬刚GPT-5.4，硅谷最贵华人首作
Meta超级智能实验室首个作品Muse Spark上线，跑分从18飙到52，盘中暴涨10%。它是「全能六边形战士」，有原生多模态感知等能力，上线「沉思模式」，功能先在美国铺开，未来接入社交平台，免费用但闭源。
Codex 大更新：一个 AI，接管你所有软件。
Codex 迎大更新，有望成 OpenAI 超级应用核心。它能与多工具协作，超 300 万开发者在用，近半使用场景非写代码。具备跨应用多 Agent、非编码任务处理等功能，还增添图像生成等特性。
扎克伯格看OpenAI直播挖人，北大校友孙之清加入Meta
本周五，前OpenAI研究科学家Hyung Won Chung晒照，显示他、孙之清与Jason Wei已加入Meta新成立的超级智能实验室。孙之清曾是ChatGPT Agent核心开发者，还和山姆・奥特曼直播发布该产品，一个月后跳槽。