伴随AI编程代理（如Devin、OpenHands等）在软件开发流程中的渗透，如何安全地运行这些具备执行代码能力的智能体成为开发者面临的关键挑战。GitHub新开源项目Clawk给出了一种硬核解决方案：它为AI代理创建可即时销毁...

OpenAI最新推出的GPT-5.6-Sol模型被视为一款成本效益极高且运行高效的AI系统，尤其适合日常编程与工程任务，堪称继前代版本之后更为稳定可靠的“主力军”。与此前动辄耗费大量算力的旗舰模型不同，Sol在保持强大代码理...

近期发布的Basecamp Bench基准测试，对GPT-5.6 Sol、Fable 5和Grok 4.5三款前沿大模型在复杂软件工程任务中的表现进行了横向比较。测试聚焦于全栈开发场景，从代理能力、生成成本与输出质量三个维度进行评测。结果显...

著名数学家陶哲轩近日在其博客中分享了如何借助现代“编程代理”类AI工具，以极高效率完成了一系列数学可视化小程序的更新与创建工作。他将自己早在1999年用Java 1.0编写的复分析和线性代数教学小程序，通过AI辅助成功...

一项针对AI编程工具Claude Code与OpenCode的测评显示，在开始读取用户提示之前，Claude Code的系统级指令和工具定义等前置开销就已达到约33000个Token，而OpenCode仅为7000个Token，前者是后者的4.7倍。这一差异源于...

知名AI编程工具Cursor发布的最新内部使用报告，揭示了人工智能在软件开发领域的深刻变革与巨大分化。数据显示，用户间的生产力鸿沟极为悬殊：前1%的重度用户平均每周可生成高达40,000行代码，而中位数用户仅为700行...

在AI辅助软件开发快速演进的当下，本地运行的大语言模型正成为开发者关注的焦点。Martin Fowler官网近日发布了一篇来自ThoughtWorks同事的实践总结，详细记录了在编程智能体场景中使用本地模型的最新体验。该报告指...

埃隆·马斯克旗下的人工智能公司SpaceXAI正式推出了新一代大语言模型Grok 4.5，将其定位为公司在编码、智能代理任务和知识工作领域的最强模型。官方披露，该模型在训练过程中与流行AI编程工具Cursor进行了深度协同优...