人工智能研究公司Pathway近日获得3000万美元种子轮融资，投后估值达到5亿美元。该公司正在开发基于其称为“Post-Transformer”（后Transformer）的BDH架构AI模型，这一路线被外界视为对当前主流Transformer架构的探索...

Specula 是一个智能体式系统，目标是自动化软件缺陷发现流程。它能够从代码中自动推导 TLA+ 规范，通过轨迹验证检查代码与规范之间的一致性，并对规范进行模型检查以发现并发缺陷；随后，它还会编写具有精确时序的集...

知名AI编程工具Cursor正在加紧准备推出其代码审查平台Origin，内部代号为“Cursor Review”，该平台将在前期封闭合作测试的基础上正式对外开放。据悉，Cursor Review将新增两个核心功能页面：一是“Codebase”页面，负责...

Ruby核心团队持续致力于内存优化，最新研究聚焦于应用程序中最常用的对象之一——哈希表（Hash）。尽管近期已通过为小型哈希表引入基于数组的结构以及实施可变宽度分配等措施显著提升了效率，但在压缩内存占用方面仍有...

人工智能公司Anthropic被曝与比特币挖矿巨头Riot Platforms签署了一份长达20年、总额91亿美元的算力供应协议。根据协议，Riot将为其在得克萨斯州Rockdale园区提供191兆瓦的数据中心容量，专用于AI计算负载。这一合作...

据科技媒体The Information援引知情人士消息，英伟达已同意向Lancium投资20亿美元，后者正是德克萨斯州Stargate AI超大园区的电力基础设施开发商。Stargate园区由OpenAI与甲骨文等联合推动，被视为全球最具野心的AI...

OpenAI 宣布对旗下 GPT-5.6 系列模型进行新一轮价格调整，进一步推动企业级 AI 应用的价格性能比前沿。其中，轻量版 GPT-5.6 Luna 输入价格降至每百万 token 0.20 美元，输出降至 1.20 美元，降幅高达 80%；均衡版 T...

谷歌云在Gemini企业智能体平台上正式推出Gemini蒸馏服务（Gemini Distillation Service），旨在通过大型“教师”模型的输出和推理路径，训练出更小、更高效的“学生”模型。该服务专门针对高吞吐量、低延迟严苛要求的应...