著名数学家陶哲轩近日在其博客中分享了如何借助现代“编程代理”类AI工具,以极高效率完成了一系列数学可视化小程序的更新与创建工作。他将自己早在1999年用Java 1.0编写的复分析和线性代数教学小程序,通过AI辅助成功...
Read More一项针对AI编程工具Claude Code与OpenCode的测评显示,在开始读取用户提示之前,Claude Code的系统级指令和工具定义等前置开销就已达到约33000个Token,而OpenCode仅为7000个Token,前者是后者的4.7倍。这一差异源于...
Read More知名AI编程工具Cursor发布的最新内部使用报告,揭示了人工智能在软件开发领域的深刻变革与巨大分化。数据显示,用户间的生产力鸿沟极为悬殊:前1%的重度用户平均每周可生成高达40,000行代码,而中位数用户仅为700行...
Read More在AI辅助软件开发快速演进的当下,本地运行的大语言模型正成为开发者关注的焦点。Martin Fowler官网近日发布了一篇来自ThoughtWorks同事的实践总结,详细记录了在编程智能体场景中使用本地模型的最新体验。该报告指...
Read More埃隆·马斯克旗下的人工智能公司SpaceXAI正式推出了新一代大语言模型Grok 4.5,将其定位为公司在编码、智能代理任务和知识工作领域的最强模型。官方披露,该模型在训练过程中与流行AI编程工具Cursor进行了深度协同优...
Read More近日,一个名为 Ornith-1.0 的开源模型在开发者社区引起了广泛关注。该项目由 deepreinforce-ai 团队在 GitHub 上发布,其核心亮点在于专为“Agentic Coding”(自主代理编程)场景设计,并具备自我改进的能力。基于特...
Read More随着AI编程工具如Claude Code和GitHub Codex的普及,开发者对自主可控、低成本且注重隐私的替代方案需求日益增长。近日,一篇详尽的教程指南提出,利用开源模型和工具搭建本地编码代理成为新趋势。该指南深入剖析了...
Read MoreDeepReinforce近日开源了其新一代编程模型家族Ornith-1.0,这一系列模型的最大亮点在于具备自我编写强化学习(RL)训练框架的能力,标志着AI模型在自我优化和自动化研究方向上迈出重要一步。Ornith-1.0家族基于预训...
Read More