Ramp Labs近日正式开源了PorTAL框架，这是一个面向共享任务表示与跨模型LoRA适配的前沿工具。PorTAL的核心思路在于将任务知识与基座模型解耦：它首先学习一个与模型架构无关的“任务隐变量”，再通过轻量级的逐模型对...

Anthropic正式发布了新一代AI模型Claude Opus 5，作为Opus系列的重大迭代，该模型被定位为“面向长时间运行智能体的阶跃式改进”。相比前代Opus 4.8，Opus 5在性能与成本效益之间实现了更优平衡，尤其在软件工程和科学...

在依赖类型语言的世界里，强大的类型系统往往意味着沉重的证明负担——开发者可能需要花费数小时才能发现要证明的命题根本就是错误的。这种高昂的认知开销使依赖类型编程长期停留在小众领域。如今，这一局面正在被打破...

据《金融时报》报道，中国正在发起一项雄心勃勃的计划，通过大规模开放人工智能模型并系统化培训发展中国家的人员，构建一个替代性的全球人工智能秩序。此举被视为北京迄今为止在经济与科技地缘格局中最具魄力的布局...

英伟达与韩国SK集团近日公布了一项总规模超过5000亿美元的超级人工智能合作倡议，震动全球半导体与数据中心产业。该计划的核心是双方将围绕大规模AI数据中心展开全面协作，尤其引人注目的是，英伟达将与SK集团旗下存...

随着大模型和AI代理日益广泛地集成到各类业务系统中，如何安全管理API密钥、数据库密码等敏感凭证成为开发者面临的一大痛点。近日开源的OneCLI提供了一个精巧的解决方案：它以凭证网关的形式，在AI代理与服务之间构...

随着Kimi K3等开源模型的发布，围绕开源人工智能的争论再度升温。部分记者、商界领袖和政治人物持续鼓吹，开源AI因其潜在风险应被严格管控，仅允许由“负责任的把关人”按需开放。然而，这一论点与软件历史的现实严重...

Agent Client Protocol（ACP）旨在标准化代码编辑器与编码代理（Coding Agents）之间的通信方式，定义了双方可互相调用的方法及事件通知机制。近日，ACP v2 草案正式对外公开，正邀请社区进行审查和测试。新版本在过...