AI News HubLIVE

模型动态

Show HN: AI-CLI – 基于本地LLM的微型C语言终端助手

AI-CLI是一个用单一C文件实现的命令行助手,可将用户请求直接转换为shell命令并执行。它支持多种本地LLM引擎,如llama.cpp、Ollama等,并允许用户在执行前编辑或拒绝生成的命令。该项目提供了丰富的示例和广泛的平台兼容性。

  • 仅需一个C文件,即可将自然语言请求转化为可执行的shell命令。
  • 支持llama.cpp、Ollama、vLLM等多种本地LLM引擎。
站内正文

我们再次被告知人工智能可能有意识——我研究意识,但我持怀疑态度 | 阿尼尔·塞思

尽管Anthropic声称其模型Claude内部出现意识迹象,但神经科学家阿尼尔·塞思认为,这不过是模拟,就像天气预报系统不会产生真实飓风一样。

  • Anthropic研究称在其语言模型Claude中发现意识迹象,但未宣称其与人类意识相同。
  • 塞思教授指出,意识需要生物学基础和因果作用,而AI只是统计模式。
站内正文

将临床决策权从LLM中剥离

本文介绍了一种用于AI治疗的系统设计,该系统通过确定性管道决定临床行动,不让LLM自行决策。系统包括评分、状态桶、准入表、动作选择、微实践和危机预筛查等步骤,仅在评分和生成阶段使用LLM。文章还讨论了该方法的成本与局限性。

    站内正文

    DiffRadar:基于高斯场的可微物理感知雷达SLAM

    DiffRadar是一种实时雷达SLAM系统,将雷达观测建模为可微的物理感知高斯场,而非离散扫描。在公共基准测试中大幅降低轨迹误差,尤其在特征贫乏的走廊环境下,同时地图一致性提升一倍以上,并保持70 FPS的实时性能。

    • DiffRadar以各向异性高斯基元表示场景,通过可微雷达前向模型在距离-方位和多普勒-方位空间渲染测量值,实现位姿与场景结构的联合优化。
    • 在Radarize基准测试及针对常见故障模式(走廊退化、动态杂波等)的压力测试中,显著降低轨迹误差并提高地图一致性。
    站内正文

    基于契约的行为树合成:通过编码智能体

    本文提出一种基于契约的行为树合成架构,通过编码智能体查询机器人端的MCP服务器获取技能库和操作符,实现从自然语言到可执行行为树的可靠合成。实验表明该方法在模拟和实体机器人上均取得高成功率。

    • 提出契约接地架构,编码智能体通过MCP服务器获取机器人技能契约。
    • 非专家用户可用自然语言下达指令,无需了解机器人实现细节。
    站内正文

    协作单词联想游戏中人类与机器人相互注视和参照性注视的分析

    一项研究探讨了在协作单词联想游戏中,机器人的注视行为如何影响人类的视觉注意力,以及人类是否倾向于向机器人寻求确认性的注视。实验使用NAO机器人作为大语言模型驱动的对话伙伴,发现机器人注视方向不影响人类首次注视提议单词的时间,但参与者在对话中包含确认请求时会更频繁地注视机器人。结果表明,在认知要求高的任务中,语言方面可能压倒了机器人注视的影响。

    • 研究机器人注视在任务导向的人机交互中的作用。
    • 参与者与NAO机器人玩协作单词联想游戏,记录注视行为。
    站内正文

    GaitSpan:从行走到奔跑的人形机器人步态扩展

    GaitSpan是一种新颖的人形机器人步态扩展框架,它利用预训练的行走策略作为种子技能,通过节奏生成、步幅塑造和残差适应三个模块,将基本行走能力平滑扩展到奔跑,实现了连续速度范围、跨形态迁移和零样本部署。

    • GaitSpan将行走视为可重用的种子技能,避免从零学习。
    • 通过内部时钟调制冻结的行走策略,实现节奏生成。
    站内正文

    实现全天候农业机器人:用于夜间视觉导航的无监督昼夜跨模态图像翻译

    提出一种无监督图像翻译框架,将白天植物行RGB图像转换为近红外(NIR)夜间图像,无需逐像素监督,从而重用白天语义标签训练夜间感知模型。利用预训练CLIP模型保持语义一致性,并引入可见性掩码处理NIR照明有效范围有限的问题。在AgriNight数据集上评估,该数据集包含428张白天和549张夜间图像,是首个夜间农业视觉导航基准。实际机器人夜间导航实验验证了有效性。

    • 提出无监督昼夜图像翻译框架,利用CLIP保持语义一致性,实现白天语义标签在夜间的复用。
    • 引入可见性掩码以应对近红外照明在夜间场景的有限有效范围。
    站内正文

    EFLUX:基于智能大模型的弹性多机器人编队导航与自适应

    多机器人在受限环境中需要变形和重构两种行为。现有方法独立建模或依赖规则,易导致死锁。EFLUX提出几何基础的LLM智能体框架,联合推理变形和重构动作,通过闭环生成与验证实现安全导航。实验表明能减少死锁和导航失败。

    • EFLUX框架结合几何表示与大语言模型推理,实现多机器人编队的弹性导航。
    • 框架统一处理编队变形(缩放、剪切)和重构(分裂、合并)行为。
    站内正文

    无需训练的人工合成图像溯源中的表示与参考选择研究

    一项新研究探讨了无需训练的人工合成图像溯源方法中表示空间与参考选择之间的相互作用。通过分析CLIP和DINOv2不同层的表示,以及三种参考选择方法,发现中间层的表示在溯源准确率上表现最佳,且语义约束的参考能有效减少查询与参考之间的不匹配,提升溯源性能。

    • 溯源准确率在中间表示层达到峰值,表明源判别线索在强语义抽象之前更易获取。
    • 语义约束的参考(如语义对齐和重合成)能减少查询-参考不匹配,尤其在参考预算有限时效果显著。
    站内正文

    异构医学视觉问答中持续学习的实证分析

    本文系统评估了持续学习方法在异构医学视觉问答任务中的表现,涵盖分类、多标签分类、检测、细胞计数和报告生成等多样化临床目标。研究发现现有持续学习方法难以在不同目标与监督格式交织的任务中保持稳定性-可塑性平衡。

    • 首次系统评估持续学习在异构医学视觉问答中的应用。
    • 探索了任务顺序对性能保留和遗忘的影响。
    站内正文

    SymbOmni:通过符号概念学习实现智能全知模型的进化

    SymbOmni是一种新型AI模型,旨在解决当前模型“永恒新手”的问题——即无法积累经验并自主进化。它通过符号概念学习,利用可优化的记忆模块将低级操作抽象为可重用的符号工作流指令,并通过归纳-转导循环实现持续自我改进。实验表明,SymbOmni在图像质量和任务成功率上超越现有代理系统及闭源模型,同时减少40%以上的令牌消耗,并在持续学习基准上取得新成果。

    • SymbOmni引入符号概念盒(Symbolic Concept Box)作为可优化记忆模块,将经验抽象为可重用的符号工作流指令。
    • 采用归纳-转导循环:将经验归纳为符号概念,再自适应组合解决新任务。
    站内正文

    MetaView:具有尺度感知隐式几何先验的单目新视角合成

    本文提出MetaView,一种基于扩散模型的单目新视角合成框架,能够从单张图像实现大视角变化下的渲染。通过结合隐式几何建模与度量深度,MetaView在保持几何一致性的同时提供了精确可控性。实验表明,在挑战性大视角变化场景下,MetaView显著优于现有方法。

    • 结合隐式几何先验与度量深度,实现几何一致性与精确控制
    • 基于扩散模型,支持大视角变化下的单图新视角合成
    站内正文

    SpikeDS:用于3D MRI中神经侵犯预测的双稀疏性Spikformer

    SpikeDS是一种新型脉冲神经网络架构,通过结合激活稀疏性和空间稀疏性,高效地从3D MRI中预测胆管癌的神经侵犯,在139名患者的队列中实现了0.753的AUC,能耗仅14.4 mJ。

    • 神经侵犯(PNI)是胆管癌预后不良的标志,但3D MRI检测存在挑战。
    • SpikeDS利用脉冲通信的激活稀疏性和窗口剪枝的空间稀疏性。
    站内正文

    结合对比学习的联合嵌入预测:面向结构MRI的表征学习新框架

    自监督学习在医学影像领域潜力巨大,但标注数据稀缺。本文提出COJEPA框架,结合联合嵌入预测架构和对比损失,在无标注的T1加权脑部MRI上训练,实现了优异的局部预测性和全局判别性。在零样本双胞胎检索、脑肿瘤分割和年龄回归任务中表现突出,尤其在同卵双胞胎识别和年龄预测误差方面达到最先进水平。

    • COJEPA将联合嵌入预测架构(JEPA)与对比损失(CO)相结合,同时提升局部预测性和全局判别性。
    • 该框架在2286例T1加权结构MRI数据上训练,扩展I-JEPA至3D,采用前景感知块掩蔽、分层卷积块嵌入和世界空间正弦位置编码。
    站内正文

    基于VLM描述比较的异常帧检测:利用视频内自相似性提取专家特定动作与情境决策场景

    本文提出一种新方法,通过视觉语言模型(VLM)生成逐帧描述,并比较两个任务视频间的帧相似度及段内自相似性,自动检测异常帧,从而提取包含专家特定动作和情境决策知识的候选场景。在模拟配电板维护实验(27个任务场景)中,该方法动作候选提取率达65%,决策场景候选提取率达61%,优于传统方法的59%和33%。

    • 利用VLM生成逐帧视觉描述,通过帧间描述比较提取专家特定动作。
    • 通过视频内描述的自相似性分析,发现情境决策场景。
    站内正文

    GenDiff:剂量与解剖感知的扩散模型及结构先验细化用于低剂量CT重建与泛化

    GenDiff是一种新型扩散模型框架,通过联合建模连续辐射剂量和解剖信息,实现低剂量CT重建。它整合了剂量-解剖编码器、冷扩散主干、物理一致性更新和结构先验细化模块,在多种临床数据集上优于现有方法,展现出强大的鲁棒性和泛化能力。

    • GenDiff同时考虑辐射剂量和解剖区域,提升LDCT重建的鲁棒性。
    • 框架包含剂量-解剖编码器、冷扩散、物理一致性更新和结构先验细化模块。
    站内正文

    TSCA-Net:面向可解释多模态行人轨迹预测的时空团注意力网络

    TSCA-Net通过三个互补模块(时空团注意力、跨行人团势、自适应KAN网格细化)显著提升拥挤环境中的行人轨迹预测精度,在ETH/UCY和SDD基准上达到最先进性能。

    • 提出TSCA模块,引入可学习时间门控实现历史观测与候选目标的时间感知调制
    • CPCP模块通过动态团势框架建模非对称行人交互
    站内正文

    低资源澳大利亚原住民语言识别的混合持续学习方法

    提出两种混合持续学习方法(RA-EWC和CGKD),用于低资源澳大利亚原住民语言识别,有效缓解灾难性遗忘,在Warlpiri、Dalabon和Dharawal三种语言上表现优于现有基线。

    • 提出RA-EWC和CGKD两种混合持续学习方法
    • 针对低资源原住民语言识别
    站内正文

    信念与现实分离存在于语言模型中对共享值槽的路由中

    该论文揭示了语言模型如何区分角色的信念与现实。研究发现,这种分离基于两个可分离的机制:一个通用值槽绑定属性值,一个路由器根据查询选择读取的框架。值槽可以通过两种方式填充:直接断言和基于可见性的推导。分离位于独立的路由子空间中,而不是值槽本身。这些结果在多种架构中得到验证,且该行为在3B至7B参数规模的模型中出现。

    • 语言模型通过值槽和路由器实现信念与现实分离。
    • 值槽填充有断言和推导两种路径。
    站内正文

    MAGE:理解多组件提示优化中的稳定性-性能权衡

    本文通过MAGE框架研究多组件提示优化中不同组件的相互作用,揭示了提示优化耦合效应(POCE):多个随机优化信号在闭环反射回路中相互作用,同时提升性能与放大方差。关键发现包括:基于失败反思不可或缺、MAGE在GSM8K-Hard上优于GEPA、增大候选多样性使POCE信号最明显、POCE依赖于基础模型能力空间、低数据场景下固定提示优于优化器。

    • MAGE是一个用于研究提示优化组件交互的分析框架,集成了情景记忆、多目标Pareto选择和自适应评估。
    • 发现提示优化耦合效应(POCE):随机信号相互作用提升性能但放大方差,无法通过独立分析预测。
    站内正文

    通过知识蒸馏将LLM转化为高效交叉编码器用于RAG重排序

    本研究通过两阶段流水线(监督微调+4位量化)将LLaMA 3 (8B)微调为高效的替代重排序器,在RAG管道中替代传统交叉编码器,在保持高准确率的同时显著降低推理成本。在领域特定问答基准上,微调模型在答案相关性、上下文精度、答案相似度和答案正确性上分别提升14%、16%、19%和21%。

    • 传统交叉编码器在RAG重排序中准确率高但推理成本为二次复杂度,限制实时部署。
    • 提出两阶段方法:使用Unsloth框架和LoRA适配器进行监督微调,然后进行4位量化。
    站内正文

    TAKE:用于文本数据集蒸馏的轨迹感知知识估计

    本文提出了一种基于轨迹感知知识估计(TAKE)的文本数据集蒸馏框架,利用影响函数和训练轨迹计算每个样本的知识得分,并通过最优传输选择原型样本,可将语料库压缩至原始大小的0.1%,同时保持下游任务性能。该方法在文本分类和自然语言推理任务上验证了有效性,为数据高效AI提供了理论支撑。

    • 提出TAKE框架,将语料库压缩至0.1%而保持任务保真度。
    • 利用影响函数和训练轨迹计算每个样本的知识得分。
    站内正文

    基于图的俄罗斯与乌克兰Telegram频道虚假信息叙事扩散检测

    本文提出一种基于图的框架,结合弱监督与传播图分析,检测Telegram生态系统中的虚假信息叙事。该方法将语义相关的声明聚合为叙事级聚类,并建模其在互连频道间的扩散,从而发现仅通过帖子级分析难以捕捉的协调放大行为。实验表明,融合文本信号与网络结构可提供可扩展的检测方法,并揭示虚假信息在大型消息环境中的传播机制。

    • 提出结合弱监督与传播图分析的图框架,用于检测Telegram中的虚假信息叙事。
    • 将语义相关的声明聚合成叙事级聚类,建模跨频道扩散。
    站内正文

    抱歉,我无法帮助盲文:揭示最先进大语言模型在无障碍方面的失败

    一项新研究评估了最先进的大语言模型在韩语-盲文双向翻译上的表现,发现输出质量差且不稳定,与人类判断存在显著分歧。相比之下,对小型T5-small模型进行监督微调后,所有标准指标均大幅提升。研究表明,当前LLM缺乏盲文感知的标记化,且与盲文模式对齐薄弱,揭示了无障碍关键模态中的系统性限制。

    • LLM在韩语-盲文翻译上表现糟糕,输出不稳定且与人类判断不一致。
    • 问题根源在于缺少盲文感知的标记化和韩语-盲文模式弱对齐。
    站内正文

    G-SHARE:基于准则的结构化推理框架用于人因事件诊断

    本研究提出G-SHARE框架,将核电站人因事件诊断的CNNP九步准则转化为多阶段诊断流程,包括证据提取、逐步推理和一致性修复。在真实数据集上,G-SHARE显著优于一次性提示和传统机器学习方法,表明结构化推理和一致性约束对稳健诊断至关重要。

    • G-SHARE将CNNP九步准则操作化为多阶段诊断管线,包含证据提取、逐步推理和事后一致性修复。
    • 在核工业真实数据集上,G-SHARE在准确率和宏F1上全面超越基线模型。
    站内正文

    CANDI:面向专业领域问答的上下文对齐方法

    本文介绍了CANDI-QA数据集,用于评估大型语言模型在医学诊断和金融咨询等专业领域的上下文对齐能力。数据集包含信息辅助和应用推理两类问题。研究评估了十多个模型,并提出了轻量级神经符号框架MTSS-Net作为基线。结果表明,当前LLM在专业领域实现上下文对齐仍面临重大挑战。

    • CANDI-QA数据集专门用于评估LLM在专业领域的上下文对齐能力,分为信息辅助和应用推理两类问题。
    • 研究评估了超过十种语言模型,从紧凑开源模型到尖端专有系统。
    站内正文

    扩展点及时语言模型

    本研究通过扩展规模,大幅缩小了点及时语言模型与不受时间约束模型之间的性能差距。研究者训练了多达40亿参数的解码器专用Transformer模型,使用FineWeb中1万亿按时间顺序筛选的令牌,构建了从2013年到2024年的月度模型检查点序列。在常识推理和语言理解基准测试中,这些模型接近了同等规模的领先开放权重模型(如Gemma-3-4B和LLaMA-7B)的性能。通过LoRA进行指令微调进一步提升了下游可用性。研究团队发布了完整的流水线,以实现可复现的点及时语言建模。

    • 点及时语言模型通过仅训练每个日历日期之前的文本来消除未来信息的泄漏,避免前瞻偏差。
    • 训练了多达40亿参数的模型,使用1万亿时间过滤令牌,实现了接近不受时间约束模型的性能。
    站内正文

    BattVAE-GP: 基于不确定量化的长周期电池退化生成模型

    研究人员提出BattVAE-GP框架,结合变分自编码器和高斯过程,高效模拟锂离子电池在不同充电速率下的长期退化轨迹,并量化不确定性。该方法降低了计算成本,为电池健康预测提供了高效替代模型。

    • BattVAE-GP使用VAE编码电池退化数据,将高维特征映射到二维潜在空间,区分不同充电协议。
    • 稀疏多任务高斯过程在潜在空间中对循环数和C-rate进行插值,提供连续退化动态及不确定性估计。
    站内正文

    CARE-LoRA: 用于内存高效LoRA的压缩激活重建

    随着大型预训练模型规模增长,微调中的内存瓶颈日益突出。LoRA通过低秩适应减少参数,但激活值存储成为新的瓶颈。CARE-LoRA利用LoRA投影结构,将完整输入激活替换为低秩压缩激活,并计算轻量重建矩阵用于反向传播,大幅降低内存占用,同时保持或提升性能。

    • CARE-LoRA通过压缩激活重建解决LoRA微调中的激活内存瓶颈。
    • 利用LoRA分支自然产生的低秩激活替代完整激活,减少存储。
    站内正文

    数据科学的数学基础

    本文介绍了由Afonso S. Bandeira、Amit Singer和Thomas Strohmer合著的新书《数据科学的数学基础》,该书全面涵盖了高维诅咒与祝福、奇异值分解、线性回归、图论与聚类、非线性降维、随机投影、优化、分类、深度学习、图拉普拉斯、集中不等式、压缩感知等主题,为数据科学提供了坚实的数学基础。

    • 新书《数据科学的数学基础》系统介绍了数据科学的数学理论基础。
    • 内容涵盖高维数据分析、降维、回归、分类、深度学习等16个章节。
    站内正文

    镜像视界:可行路径熵作为有界反射的度量

    镜像理论提出通过可行路径熵(VPE)度量智能系统在反复反射下维持连贯延续的能力。实验表明,增加token预算可扩展验证可达性,且模型能力并非仅取决于参数数量。

    • 可行路径熵(VPE)衡量有限预算下的验证延续能力
    • VPE分解为可达概率和验证模式多样性
    站内正文

    半直积傅里叶增量注意力:基于相位控制的增量记忆与构造性块WY核

    线性注意力模型通过固定大小的循环状态取代softmax注意力的KV缓存,但限制了精确状态跟踪和长上下文记忆。本文提出半直积傅里叶增量注意力(SFDA),一种相位控制的泛化方法,将实对角衰减替换为块旋转傅里叶控制。主要贡献是构造性块WY分解,实现了精确的仿射块传输、形式化稳定性和复杂度界限,以及相位加低秩记忆的紧凑表征。实验表明SFDA能学习循环记忆,而相位禁用的KDA基线接近随机。

    • SFDA通过相位控制(傅里叶块旋转)改进线性注意力,解决状态跟踪和长上下文记忆限制。
    • 提出构造性块WY分解,将秩增长限制在固定块内,实现高效传输和稳定性保证。
    站内正文

    对话代理的多维评估操作化:一种可扩展、可管控的流水线,支持选择性重新评估和模型基准测试

    本文提出GenAI Evaluation,一种配置驱动的流水线,用于大规模评估零售对话系统。通过规范化、分片、异步执行和模式约束的LLM评分,评估有帮助性、真实性、清晰度、语气一致性和翻译维度。选择性重新评估仅处理无效记录,支持模式锁定和版本化配置。每日处理约5万条记录,已评估超200万次交互。在12,980条人工标注记录上取得宏F1 0.93和翻译准确率89%。

    • GenAI Evaluation流水线解决LLM-as-a-judge在生产中的治理和可扩展性挑战。
    • 通过选择性重新评估仅处理不完整或无效记录,降低计算成本。
    站内正文

    图反馈控制开源语言模型群体中的共识与派系形成

    本研究探讨了多智能体语言模型系统中交互图结构如何影响共识形成。通过命名游戏协议,研究人员分析了开源语言模型(1.1B-32B参数)群体中的约定形成过程。研究发现,同质性阈值相似性路由会加剧碎片化,而桥梁寻找路由在有记忆的情况下可修复碎片化。在异质模型群体中,阈值相似性导致共识失败,而状态组件和标签分歧桥梁可恢复共识。同质模型群体中,保留历史通常促进共识,其中Qwen2.5-32B模型在所有保留历史设置中均达到稳定共识。该研究还验证了结果对状态阈值、群体规模和词汇表大小的鲁棒性,并表明早期窗口图能量特征可作为有效的网格内诊断工具。

    • 多智能体语言模型系统的交互图结构对共识形成有重要影响。
    • 同质性阈值相似性路由加剧碎片化,桥梁寻找路由在有记忆时可修复碎片化。
    站内正文

    为AI网络代理设计代理就绪网站:面向机器可读性、可操作性和决策可靠性的框架

    论文提出了一个“代理就绪网站”设计框架,旨在增强电商平台对AI代理的可读性、可解释性、可验证性和可操作性。实验表明,代理就绪网站将严格成功率从49.3%提升至89.3%,部分成功结果从43降至3,平均步骤数从9.31降至6.49。

    • 代理就绪网站框架围绕三个维度:代理可解释性、代理可执行性和代理决策可靠性。
    • 实验使用GPT-4.1、Gemini-2.5 Flash和Grok-4 Fast三种代理模型,在五个任务上进行了300次评估。
    站内正文

    优化并非万能

    本文批判了人工智能中的优化文化,指出优化过程虽然能衡量文本的不可预测性,但无法区分错误与创新。尽管如此,优化已在短短五年内取代了传统机构,掌握了定义合法语言权威的地位。

    • OpenAI 在 2019 年发布了 GPT-2 输出以帮助检测机器生成文本。
    • 对齐技术的成功被视为工程成就,但作者认为这是优化文化的体现。
    站内正文

    GRID:面向企业SQL生成的语法约束解码引擎

    GRID是一种基于语法约束的解码引擎,通过将LALR(1)解析器状态作为掩码键,确保SQL输出语法正确且符合角色权限策略,提供可证明的保证、恒定时间成本及完整审计追踪。在Spider数据集上,0.5B模型执行准确率提升13%,7B模型通过修复达到94.5%可执行率。

    • 利用LALR(1)解析器状态而非令牌序列生成下一令牌掩码,保证语法合规性。
    • 角色访问控制直接编译进语法,禁止动词和标识符在掩码层面不可达。
    站内正文

    本体增强蒸馏与情境审计:面向主权企业语言模型的组合机制验证与负结果方法研究

    该研究结合了本体增强蒸馏与情境审计两项方法,针对受数据居留规则约束的金融机构,提出租户自有语言模型的构建与治理方案。蒸馏实验表明,Qwen3.6-27B学生模型在40项越南语金融任务中达到36项正确,与GPT-5相当,但统计功效不足以证明等价;情境审计试点的结果表明残存情境性为零,直接影响与构造耦合才是有效信号。研究不支持当前模型的可部署性、安全性或优越性。

    • 通过监督微调与本体对齐的偏好优化,将Qwen3.6-27B蒸馏至Foundation AgenticOS本体,在40项越南语金融任务中达到90%正确率。
    • 与GPT-5基线相比,统计功效不足,无法证明等价或超越。
    站内正文

    非平稳环境下的上下文强化学习综述

    本文综述了非平稳环境下的上下文强化学习(ICRL),即预训练或微调的决策模型如何仅通过交互上下文推断潜在任务规则并改进未来行为,而无需在测试时更新参数。在变化的环境中,累积的上下文可能变得过时甚至误导,因此策略必须推断当前决策规则并识别哪些历史证据仍然有效。论文围绕三个核心问题组织文献:什么在变化、变化如何展开以及变化对智能体的可观察程度,并将其与元强化学习、决策序列建模、检索增强强化学习等方法联系起来。

    • ICRL使决策模型能从交互上下文中学习,无需更新参数。
    • 现有综述主要关注预训练目标等,对非平稳性关注不足。
    站内正文

    最优自适应做市:永续期货市场高收益流动性提供的理论框架

    本文提出了一个严格的永续期货市场最优做市理论框架,将做市问题建模为随机最优控制问题,贡献包括损益分解定理、HJB方程、高APY区域定理等。数值分析揭示了盈利与非盈利区间的相变。

    • 建立了零做市商费用的永续期货市场随机最优控制模型
    • 提出损益分解定理,区分价差收入、逆向选择损失、库存持有成本、对冲摩擦和资金费率风险
    站内正文

    GPT-5.6 Sol、Terra、Luna在智能与成本上的对比

    GPT-5.6系列中,Sol和Luna在任何智能水平上的成本效率均优于Terra,尤其是Luna表现出极高的性价比。

    • Sol和Luna在所有智能水平上均领先于Terra
    • Luna是成本效率最高的模型
    站内正文

    PrismML发布Bonsai 27B:Qwen3.6-27B的1位和三进制版本,可在笔记本电脑和手机上运行

    PrismML发布了Bonsai 27B,这是Qwen3.6-27B的低位表示,并非全新预训练模型。提供三进制和二进制两种变体,采用Apache 2.0许可证。三进制版本每位仅1.71比特,理想大小为5.9GB;二进制版本每位1.125比特,大小为3.9GB。性能方面,三进制保留FP16基线的94.6%,二进制保留89.5%。该模型支持多模态,上下文长度262K令牌。PrismML声称二进制版本是首个适合手机的27B级模型。

    • Bonsai 27B是Qwen3.6-27B的低位版本,非全新预训练模型。
    • 提供三进制(1.71比特/权重)和二进制(1.125比特/权重)两种变体。
    站内正文

    simonw/pedalican

    Simon Willison 在 Codex Desktop 中意外激活了一个“宠物”功能,并利用 GPT-5.6 Sol 和 gpt-image-2 创建了一个骑自行车的鹈鹕宠物,命名为 Pedalican。他记录了整个生成过程,包括提示词和中间步骤,并开源了相关技能。

    • Simon Willison 意外发现了 Codex Desktop 的宠物功能,并创建了自定义宠物 Pedalican。
    • 使用 GPT-5.6 Sol 和 gpt-image-2 生成精灵图资产,过程完全由 AI 驱动。
    站内正文

    Mistral Vibe for Code vs Claude Code vs Cursor vs Codex:四大AI编程代理在脚手架到PR任务中的对比评分

    本文对比了四种主流的AI编程代理:Mistral Vibe for Code、Claude Code、Cursor和OpenAI Codex,针对从功能脚手架到拉取请求的完整工作流进行评分。Mistral Vibe以22/25的总分领先,凭借成本、开放性和控制力获胜;Claude Code和Codex并列21/25;Cursor得16/25。文章详细分析了每个工具在脚手架、测试循环、PR及异步工作流、覆盖范围、成本与开放性五个维度的表现。

    • Mistral Vibe for Code以22/25总分领先,提供低价、开源和自托管选项。
    • Claude Code和OpenAI Codex并列第二(21/25),但前者在原始编码质量上更强。
    站内正文

    帮助AI模型适应现实世界

    MIT教授Devavrat Shah通过研究和创业,致力于设计能够利用有限计算资源进行实时决策的AI方法。他共同创立的Ikigai Labs开发了基于表格时间序列数据的基础模型,被Celonis收购后,有望集成到企业流程管理中,实现大规模预测和优化。

    • Devavrat Shah专注于设计在有限计算资源下进行秒级决策的AI方法。
    • 他共同创立了Ikigai Labs,构建了针对表格时间序列数据的基础模型。
    站内正文

    引用阿明·罗纳赫:软件项目的共享语言

    阿明·罗纳赫在一篇关于AI代理和软件工程的文章中强调,软件项目的共享语言并非英语或Python,而是对概念、边界、不变量、所有权和系统形态的共同理解。他指出,在AI代理出现之前,这种理解通过“摩擦”维持——如阅读代码、提问、协调——这种摩擦虽然缓慢且部分浪费,但同步了人们。这篇文章由Simon Willison于2026年7月14日引用。

    • 软件项目的共享语言是对概念、边界、不变量等的共同理解,而非编程语言或自然语言。
    • 在AI代理时代之前,这种理解通过开发过程中的摩擦(如代码审查、讨论)来维持。
    站内正文

    什么是元提示及其工作原理?

    元提示是一种先进的提示工程技术,要求模型在执行任务前先设计可复用的提示模板、清单或工作流程。本文详细解析了元提示的定义、四步工作流程、具体模板示例及其与普通提示、少样本提示、思维链提示的对比。

    • 元提示将模型从直接执行者转变为提示设计者,通过设计可复用模板提升一致性。
    • 工作流程包括定义目标、添加约束、生成可复用提示、测试与改进四步。
    站内正文

    谷歌现在用更多你的数据训练AI,除非你选择退出——方法如下

    谷歌更新了隐私政策,现在你的图片、语音搜索和视频可能被用于训练其AI模型。用户被自动默认开启,需手动关闭以保护隐私。本指南将教你如何退出。

    • 谷歌将用户在搜索服务中产生的媒体(图片、音频、视频)用于训练AI模型。
    • 所有用户默认开启此项设置,须在设置中手动关闭。
    站内正文

    Nemotron Labs:开放模型如何让企业和国家拥有可信、可控、可定制的人工智能

    开放模型如NVIDIA Nemotron使企业能够构建满足特定需求的AI,提供完全的控制权、定制能力和成本效益,并推动从AI使用到AI拥有的转变。

    • 开放模型让企业能够定制、检查和改进AI,满足业务具体需求。
    • 通过后训练和领域微调,开放模型在特定任务上可达到与领先封闭模型相当的准确性,成本大幅降低。
    站内正文

    主题导航

    模型 — AI 话题新闻 | AI News Hub