爱立信 Code Comprehensor 将 500 万行代码文档化为毫秒级检索引擎
爱立信研究院的 Code Comprehensor 通过离线 LLM 文档化调用图,再将文档转换为语义检索索引,为大规模代码仓库提供在线问答。OpenCV 和 500 万行电信私有 C 代码库测试中,文本到代码 Top-1 分别达到 80.64% 和 76.18%,检索耗时 50 毫秒,完整回答需 3-5 秒。
爱立信研究院的 Code Comprehensor 通过离线 LLM 文档化调用图,再将文档转换为语义检索索引,为大规模代码仓库提供在线问答。OpenCV 和 500 万行电信私有 C 代码库测试中,文本到代码 Top-1 分别达到 80.64% 和 76.18%,检索耗时 50 毫秒,完整回答需 3-5 秒。
腾讯 D-Quant 利用熵编码将 KV 缓存压至每元素 2.26 比特,性能接近 BF16。该方法无需校准数据,以固定大小容器容纳变长码流,支持并行反量化。KV 内存最多降低 7×,解码吞吐提升 3.5×,但熵编解码存在计算开销,注意力算子的定制集成仍有工程门槛。
Dharma-AI 预览 VocabX 研究,在基于 Qwen3-4B 的葡萄牙语作文评分系统中,保持基础模型、数据和训练方案不变,将实测推理成本降低 77.0%。
Microsoft Research 的 Magnetar 在通用程序零知识证明上取得进展,平均速度比此前最快的同类系统快 10 至 39 倍。它可为 Rust、Go 或 C 程序生成执行正确性证明,安全性仅依赖标准哈希函数。验证者可在毫秒内检查证明,无需重新运行程序,也无需获取程序输入数据。

Import AI 第476期聚焦 AI 的科研创造力与递归自我改进、视觉推理短板,以及太空工业化可能带来的先发优势。Humanity’s Sixth Sense 基准中,GPT 6 Astra 的 pass@1 为53.6,人类为93.1。TasteVal 则以8项前沿 AI 研发任务,评估模型选择研究问题、设计实验和解读结果的能力。
Import AI 第 474 期梳理心智研究、Google 太空计算与智谱利用自身模型优化基础设施的进展。Michael Levin 的论文提出将心智理解为借身体进入物理世界的非物理模式;Google 正与 Planet 准备通过 SpaceX Transporter-18 任务将芯片送入太空,散热仍是挑战。

K-Search 通过 MLX 后端和结构化转换层,将 CUDA 内核优化经验迁移至 Apple Silicon,避免从头优化。其 Attention 内核性能为原生 MLX 的 0.97x,Mamba SSM 内核的预填充速度较社区 mlx-lm 实现最高提升 20x。