Develata's Space

Appearance

2026-08-16 ​

SpaceX正式收购AI编程工具Cursor，将利用其大规模GPU集群构建更强且成本更低的模型，Grok 4.6为双方合作早期成果。 llama.cpp新增支持通过--models-dir加载MTP辅助模型，优化预设检查并清理eagle3，提升本地多模型推理体验。 llama.cpp 新增对 Kimi K3 文本模型的支持，包括混合注意力、潜在 MoE 等架…

Cursor 正式被 SpaceX 收购 85 ​

  • Tags: 公司动态 大模型 芯片算力

  • Source: AI HOT 精选 | 阅读原文

[摘要]
SpaceX正式收购AI编程工具Cursor，将利用其大规模GPU集群构建更强且成本更低的模型，Grok 4.6为双方合作早期成果。

b10444 65 ​

  • Tags: 开源生态 推理优化 模型加载

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp新增支持通过--models-dir加载MTP辅助模型，优化预设检查并清理eagle3，提升本地多模型推理体验。

b10448 65 ​

  • Tags: 开源生态 模型推理 大模型

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 新增对 Kimi K3 文本模型的支持，包括混合注意力、潜在 MoE 等架构特性及 MXFP4 量化权重的高效重打包，并支持其聊天格式与工具调用。

Variance Reduction Based Experience Replay for Policy Optimization 65 ​

  • Tags: 强化学习 研究 算法优化

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出基于方差缩减的经验回放框架VRER，可集成到现有策略优化算法中，通过选择性重用历史样本降低策略梯度方差，并提供理论收敛保证，实验显示能加速强化学习训练。

Optimizing Likelihoods via Mutual Information: Bridging Simulation-Based Inference and Bayesian Optimal Experimental Design 65 ​

  • Tags: 研究 推理优化 方法论

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
论文提出通过互信息界限将仿真推断与贝叶斯最优实验设计统一，实现设计与推理联合优化，并在流行病学和生物模拟中验证效果。

General Probabilities of Causation with Causal Knowledge 65 ​

  • Tags: 因果推断 研究

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
该研究扩展了多值概率因果关系（PoCs）的界，利用协变量和中介信息进一步收紧现有非二元界限，对因果推断理论有推进意义。

Wasserstein Filtering: A Sample Selection Method for Robust Distribution Learning 65 ​

  • Tags: 研究 鲁棒学习 样本选择 最优传输

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
论文提出Wasserstein Filtering样本选择框架，通过最大化与污染分布的距离剔除离群点，恢复干净分布，并证明其在有界协方差族上的极小化最优性，适用于扩散模型等生成建模的鲁棒预处理。

b10437 62 ​

  • Tags: 开源生态 模型推理 模型支持

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 新增 MiniMax-Text-01 与 MiniMax-M1 模型支持，包括转换脚本、推理优化与聊天模板，方便开发者在本地高效运行该类模型。

蚂蚁百灵与 ASystem 团队打通单机 Agentic RL 后训练闭环 62 ​

  • Tags: 智能体 训练方法 推理优化

  • Source: AI HOT 精选 | 阅读原文

[摘要]
蚂蚁百灵与ASystem团队在DGX Spark上打通单机Agentic RL后训练闭环，用Ling-3.0-tiny和AReno以井字棋验证，GSPO训练400步后奖励提升、响应更稳定，展示了轻量级可复现的智能体强化学习实践。

Functional Adjoint Sampler: Scalable Sampling on Infinite Dimensional Spaces 62 ​

  • Tags: 研究 扩散模型 采样方法

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出Functional Adjoint Sampler，将随机最优控制扩散采样器推广至无限维希尔伯特空间，可高效采样Gibbs分布，在分子路径采样任务中表现优异，扩展了扩散模型在函数空间的应用。

SSPO: Structure-Aware Similarity-Weighted Preference Optimization for Neural Combinatorial Optimization 62 ​

  • Tags: 研究 组合优化 偏好优化

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
新研究提出结构感知相似度加权偏好优化（SSPO），用于神经组合优化训练，改进基线加权方式提升TSP等任务性能，并已在京东生产系统部署。

Online Inference for Quantile Temporal Difference Learning in Distributional Reinforcement Learning 62 ​

  • Tags: 强化学习 研究

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
该论文提出针对分布式强化学习中分位数时序差分学习的在线统计推断方法，建立功能中心极限定理并降低内存需求，对强化学习研究有参考价值。

Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks 61 ​

  • Tags: 理论研究 神经网络优化

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出Training Under Challenge框架，通过可执行证书验证神经网络是否达到全局最优，区分局部陷阱与表示限制，并在ResNet-18实验验证效果，为训练诊断提供新工具。

b10434 60 ​

  • Tags: 开源生态 推理优化 llama.cpp

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp新增对OpenAI Chat Completions中reasoning_effort参数的支持，并将其暴露到聊天模板和生成参数中，方便开发者控制模型推理深度。

b10427 60 ​

  • Tags: 推理优化 开源生态

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 的 SYCL 后端对 q4_K 密集 FFN 融合 gate/up 与 GLU 操作，实现 2%-12% 的推理吞吐提升，覆盖多批次场景，利好 Intel 显卡用户。

CardioState-JEPA: Delay-Aware Cross-Modal Learning of a Shared Cardiac Representation 60 ​

  • Tags: 模型发布 医疗AI 跨模态学习

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出CardioState-JEPA，一种跨ECG、PPG、PCG三种心脏信号的共享基础模型，利用延迟对齐和掩码预测学习共享心脏表征，在25项下游任务中显著提升分类性能。

Black-Box Knowledge Transfer across Distinct Feature Sets 60 ​

  • Tags: AI研究 机器学习 知识迁移

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出一种在特征空间不同时从黑盒模型迁移预测知识的方法，通过分解可迁移与不可迁移成分并利用未标注配对数据，理论上有风险界改进，属于机器学习研究进展。

VALG: An Agentic System for ML Theory Research 60 ​

  • Tags: 智能体 AI研究

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
VALG是一个面向机器学习理论研究的自主智能体系统，结合多级验证、自适应问题表述和图结构证明开发，并在COLT 2026开放问题的子任务上取得部分候选定理成果，展示智能体在理论推导中的潜力。

b10431 58 ​

  • Tags: 开源生态 推理优化

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
ggml 合入 recurrent state rollback 支持，为 Nemotron 等 SSM 模型在 CPU/CUDA 后端提供状态回滚与多后端测试，优化推理兼容性。

Harmonizing Safety and Speed: A Human-Algorithm Approach to Enhance the FDA's Medical Device Clearance Policy 58 ​

  • Tags: AI应用 政策监管 医疗AI

  • Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
一项研究提出人机协同方法辅助FDA优化医疗器械510(k)审批流程，用机器学习预测召回风险并建议批准/拒绝/审查，可降低32.9%召回率并节省17亿美元，展示AI在监管政策中的价值。