硅谷初创公司Axiom在成立仅一年、团队约20人规模之际，成功完成了由Menlo Ventures领投的2亿美元A轮融资，估值高达16亿美元。该公司致力于开发名为“Verified AI”的系统，其核心创新在于利用形式化验证技术，确保AI生...

智谱AI正式发布了其新一代开源大模型GLM-5，该模型以MIT许可证开源，参数量达到惊人的7540亿，是前代GLM-4.7（3680亿参数）规模的两倍以上。在技术性能上，GLM-5在广泛的学术基准测试中相比GLM-4.7实现了显著提升，...

人工智能研究公司Anthropic正式发布了其旗舰模型Claude Opus的最新版本——Claude Opus 4.6。此次升级标志着大语言模型在专业应用领域的能力边界再次被拓展。该模型在智能体编码、计算机使用、工具调用、信息检索及金...

人工智能安全与研究公司Anthropic近日公布了一项突破性的AI协作编程实验成果。该公司组建了一个由16个并行运行的Claude Opus 4.6智能体组成的“AI开发团队”，成功自主构建了一个基于Rust语言的C编译器。这个由AI团队...

阿里巴巴近日推出了专为编程智能体（Coding Agent）优化的开源模型Qwen3-Coder-Next。该模型基于创新的混合专家（Mixture of Experts， MoE）架构构建，旨在显著提升智能体在代码生成与执行环境交互方面的能力。其核...

近日，一项名为SWE-Universe的研究提出了一种革命性的可扩展框架，旨在从GitHub的拉取请求中自动构建真实世界的软件工程可验证环境。该研究成功解决了自动化构建中长期存在的三大挑战：构建成功率低、验证机制薄弱以...

OpenAI技术团队成员Michael Bolin近期发表了一篇题为《Unrolling the Codex agent loop》的技术文章，深入剖析了基于Codex模型的智能体（Agent）在执行复杂任务时的内部循环机制。该文章揭示了AI智能体如何通过“感知...

近日，Vercel在其技术博客中分享了一种构建AI智能体的创新架构思路，该方案摒弃了复杂的专用框架，转而采用标准的文件系统和Bash工具作为核心基础设施。文章指出，由于大型语言模型（LLM）天生具备对代码和Unix命令...