跳到正文
  1. 雷峰网78

    MIT CSAIL 用 GPT-6 Astra 编辑 Qwen3.5-0.8B 权重,0.016% 参数改动让 MATH-500 从 7.9% 升至 48.1%

    MIT CSAIL 提出 Weight-Space Programming,让 GPT-6 Astra 只读取 Qwen3.5-0.8B 的权重并直接修改参数,改动约 0.016% 的权重后,MATH-500 从 7.9% 提升到 48.1%,GSM8K 从 13.8% 升到 67.1%。

    推荐理由:MIT CSAIL 的实验显示,权重编辑能定位并缓解 Qwen 的推理循环故障,为模型维护提供了一条不同于微调的思路。

  1. Microsoft Research78

    微软研究院等证明31年悬而未决的KLS猜想

    微软研究院张新志与Zhao Song证明1995年提出的KLS猜想,确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径,由研究者筛选方向并完成论证,另有独立团队同日给出完整证明,随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。

    推荐理由:这篇论文证明了一个悬置31年的高维几何猜想,并展示了研究者如何引导AI智能体筛选上百条路径。

  1. Berkeley AI Research60

    K-Search 从 CUDA 迁移到 MLX,为 Apple Silicon 优化内核

    Berkeley Sky Lab 与 IBM Research 将 K-Search 内核搜索框架扩展到 MLX,通过结构化 CUDA-to-MLX 翻译层让已有 CUDA 内核经验适配 Apple Silicon。

    推荐理由:读者可以看到 CUDA 内核经验如何被结构化迁移到 Apple Silicon,以及翻译层在性能提升中的具体作用。

已经到底了