「智能代码助手」共找到 5047 篇相关文章
豆包 1.6发布后，我用火山引擎Trae + MCP，仅半天做了一个“秒懂科研”的PaperAgent!
文章介绍用火山引擎Trae + MCP和豆包1.6构建“秒懂科研”的PaperAgent。对比其与传统开发范式，突出前者高效、低成本优势，还展示了PaperAgent技术栈及开发过程，体现AI云原生开发魅力。
无需人类插手！AI战队自主进化，人类玩家瑟瑟发抖
论文《Agents of Change: Self - Evolving LLM Agents for Strategic Planning》以桌游《卡坦岛》为“考场”测试AI战略能力。研究团队设计四代AI特工，实验显示能自我进化的AI完爆静态AI，不过也存在计算成本高、依赖基础模型等问题。
面壁MiniCPM4端侧模型发布：长文本推理 5 倍提速，0.5B 模型拿下新SOTA
2025智源大会，面壁发布MiniCPM4.0端侧模型，含8B稀疏闪电版与0.5B款。其采用InfLLM架构，实现长文本推理5倍提速、最高220倍加速，还在性能、部署等方面优化，适配多芯片与框架。
OpenAI新模型，被曝秘密训练中！万字硬核长文直指o4核心秘密
SemiAnalysis爆料，OpenAI正训练规模介于GPT - 4.1和GPT - 4.5间的新模型，下一代推理模型o4基于GPT - 4.1训练。强化学习成推理模型进步功臣，但面临基础设施瓶颈，奖励函数难定等问题。
苹果OS全家桶12年最狠升级！AI入侵一切，唯独Siri没更
春季WWDC开幕，苹果OS全家桶迎十多年最大版本升级，统称OS 26。苹果AI进化，支持实时翻译、看屏搜物等。开发者工具升级，三行代码可调用苹果AI。各系统在设计、功能上均有革新。
4位图灵奖得主布道，2大冠军机器人登台，“AI春晚”果然又高又硬
智源大会堪称“AI春晚”，规格高看点多。4位图灵奖得主分享观点，长跑冠军天工和拳击冠军宇树G1机器人秀技能。大会还发布“悟界”系列大模型，RoboOS 2.0与RoboBrain 2.0开源，多方探讨下一代AI发展路径。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
营收造假、虚假宣传，10年AI平台申请破产
英国低代码AI开发平台Builder.ai因营收造假申请破产保护。此前其收入预估大幅缩水，且早有宣传与实际不符问题。回顾其发展，多次融资却因财务问题、管理不善等走向破产。
claude 4摔碎了码农的饭碗~
昨晚Anthropic发布Claude 4系列模型，Opus 4编码能力强，SWE - bench测试成绩优，能完成7小时代码重构。Claude 4让完成日级任务的时间提前，各应用纷纷接入，部分产品有应对策略。
靠"氛围编程"狂揽 2 亿美金，Supabase 成 AI 时代最性感的开源数据库
本周，开源数据库 Supabase 宣布完成 2 亿美元 D 轮融资，投后估值 20 亿美元。它以“开箱即用”体验降低 SQL 接入门槛，适配“氛围编程”工作流，还不断集成 AI 能力，开源模式也很有吸引力。