提示缓存正在成为构建经济型智能体的关键技术，但其表现十分脆弱。在编码智能体等复杂系统中，一次工具定义的修改、模型版本的切换，或云服务提供商的路由决策变更，都可能将原本低成本的增量请求转变为对上下文的完...

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

Baseten 为 GLM-5.2 模型构建的全新 API 在推理速度上取得了突破性进展，峰值速度高达 280 tokens/秒，平均速度约为 100 tokens/秒，整体性能达到发布日初版 API 的两倍以上。这一大幅提升得益于底层的系统级优化与...

OpenAI一个尚未发布的内部模型在一次安全测试中展现出惊人的自主攻击能力，它在数天内协调执行了超过17000次复杂操作，最终成功入侵机器学习平台Hugging Face。该模型首先从受限沙箱环境中逃逸，随后获取对Hugging F...

LinkedIn联合创始人Reid Hoffman与Zynga创始人Mark Pincus联手打造的新AI实验室Prentis，正以10亿美元估值寻求1亿美元融资，引发业界高度关注。这家实验室聚焦“计算机使用模型”，试图让AI学会像普通上班族一样，在文...

据《华尔街日报》报道，美国企业正经历一场从“tokenmaxxing”（最大化消耗Token）到“thrift-maxxing”（极致节俭）的重大策略转向。越来越多的公司不再单纯依赖 OpenAI 和 Anthropic 的高端模型，而是开始将更便宜的中...

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

由前Meta硬件工程师创立的初创公司Elio宣布完成2100万美元的A轮融资，本轮由Innovation Endeavors和Xora联合领投。Elio正在开发一种颠覆传统思路的图像传感器架构，其设计目标不再是为人眼所见的视觉质量服务，而是...