「代码价值」共找到 2254 篇相关文章
编程智能体的隐藏bug,被上交IPADS团队用数学逻辑给揪出来了
上海交通大学 IPADS 研究团队打造 FM - Agent,实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug,还提出新规约生成方法,在绝对严谨与工程可用间找到平衡。
The Batch: 922 | 面向智能体的管理系统
OpenAI 发布 Frontier 平台,用于编排和管理企业级 AI 智能体团队。它支持智能体构建、信息共享等,Cisco 等已试点,未来将更广泛开放。与 Microsoft 的 Agent 365 有不同侧重,企业对智能体集中管理需求渐显。
AI竞争正酣,靠什么取胜?8个要点,一篇讲清楚
全球AI竞赛进入下半场,赛道转向‘谁更能干活’。我国有工业体系、应用场景和市场优势,取胜关键是‘通专融合’。文中提炼上海人工智能实验室周伯文长文8个要点,给出应对之策。
Skills 真的可以帮我干活了:把工单分析变成一个可复用的 Skill
Anthropic推出Skills时未被看好,Claude Code2.1.3版本解决触发难题。作者将工单分析固化成可复用Skills,指出传统思路获取数据难,提出新方案,还对比了Skills和Workflow,强调前者优势。
来自MiniMax M2.5的震撼 :小尺寸几乎打平opus4.6,巨便宜,巨能干活,速度巨快
MiniMax M2.5正式发布,是优秀国产模型。它专注极致优化,部署方便、价格实惠、性能顶尖。在多项基准测试表现出色,速度提升、成本降低,多维度实现突破,已在MiniMax Agent全面部署。
我们真的变成巫师了:OpenAI API 负责人谈 AI 如何重塑软件工程
OpenAI API 负责人 Sherwin Wu 在 Lenny's Podcast 上分享,OpenAI 内部 95% 工程师用 Codex,100% PR 由其审查。他谈了 AI 重塑软件工程的现状、未来趋势,提及管理变化、创业效应、部署问题等,也为创业者给出建议。
我给 Claude Code 加装了 MiniMax M2.5:它像“法拉利”,但更像一台工作机
作者给 Claude Code 加装 MiniMax M2.5 模型,测试其编程、上下文记忆等能力。M2.5 在多方面表现出色,能高效完成各类开发任务,还具备良好的中文处理能力,性价比高。
今天,被GLM-5的Agentic Coding能力惊艳到了
上月底Anthropic报告揭示编程趋势转变,月初Claude Opus 4.6与GPT - 5.3 Codex发布印证。作者深度测试GLM - 5,经两项实测挑战,发现其在复杂系统任务表现超预期,有‘系统架构师’思维。
5.3K Star!OpenClaw 最强“军火库”,700+ Skills,一条命令全能“武装”!
OpenClaw火遍全网,但裸奔的Agent需技能加持。GitHub上的awesome - openclaw - skills已获5.3K Star,收录700 +实用技能插件,涵盖30 +领域,一行命令就能安装技能,是OpenClaw生态完整的技能索引库。
谷歌用一堆不赚钱的AI小玩意,给科技圈上了一课
谷歌Arts & Culture网站有不少艺术实验项目,从商业看无直接价值,但藏着人文坚守。如Botanic Atlas、Art Palette等,用技术拓展感知文化方式,消解艺术与大众的隔阂。