大模型· 2026-11-13
数学推理验证器实测:精度提升显著,但覆盖率代价高昂
这项研究评估一种将模型数学解答改写为类型化证明步骤,再交由 LLM 审查器逐项认证或拒绝的验证管线。开放权重模型在 GPQA 和 AIME-2025 上获得更高答案匹配精度,但只处…
智客 ZICQ 每日整理大模型、开源基础设施与开发者现场的 AI 新闻与深度文章。
投稿技术文章大模型· 2026-11-13
这项研究评估一种将模型数学解答改写为类型化证明步骤,再交由 LLM 审查器逐项认证或拒绝的验证管线。开放权重模型在 GPQA 和 AIME-2025 上获得更高答案匹配精度,但只处…
大模型· 2026-11-13
研究团队在四个带有人工标注的多语言基准上,以最多47种语言变体和三种判断格式评测Jev。对比结果显示,Jev在多数多语言评审任务上具有竞争力,评测成本约为GPT-6.1的1/31至…
大模型· 2026-11-13
FairSumEval 提出面向临床出院摘要的证据感知、事实级评测框架,将参考摘要与生成摘要中的事实分别映射到既有病历证据,并进一步划分匹配、遗漏与新增。其核心指标 Soft Io…
大模型· 2026-11-13
MDU 为视觉语言模型建立覆盖 13 类任务、5 种语言和 23,146 个样本的文档理解评测,在统一协议下测试 45 个开放权重模型及一个商业系统。最佳平均分仅为 69.0,参数…
大模型· 2026-11-13
MITRA-Swarm把古典梵文翻译拆分为Sandhi切分、通用与领域模型并行翻译、语篇级省略补全三个阶段,并通过注册标签约束法律与哲学文本中的主语恢复。在覆盖五种文体、1,000…
智能体· 2026-11-13
研究指出,视觉语言模型在状态估计中通常把多个候选结果压缩为单一“最可能答案”,一旦感知错误,后续规划便可能不安全或不可行。论文提出三层因子化信念系统,并利用输出层Token概率构造…
智能体· 2026-11-13
这项研究提出一套基于角色模拟的用户实验框架,将目标人群、实验刺激和决策指标形式化,并在问卷、网页、聊天机器人和操作系统应用中并发运行模拟用户实验。系统在12个产业案例、5个领域中生…
智能体· 2026-11-13
研究人员在禁止显式沟通的卡牌游戏 The Mind 中测试150名人类、计算机操作智能体和文本提示型大模型,通过停顿与出牌时间推断伙伴心智状态。人类行为最符合贝叶斯信念更新策略,并…
智能体· 2026-11-13
SynthCorp 通过模拟业务事件随时间对企业数据的产生与修改,生成可定制的“数据庄园”和数据智能体评测任务。每个环境组合关系数据库、文档存储与数据目录,并配套可执行的标准程序。…
智能体· 2026-11-13
这项研究将工具型智能体的错误历史与外部世界状态解耦,发现“把记录改得更干净”未必提升恢复能力。在 AgentCE-Bench 中,保留错误并添加真实注记可使剩余目标完成率由51%升…
开源AI· 2026-11-13
KernelMosaic面向CUDA内核生成提出开放数据集与智能体训练框架,将自然语言需求、参考程序、数学规格及经过验证的生成轨迹组织成监督信号。对小型开源模型进行监督微调后,Ke…
开源AI· 2026-11-11
AWS Generative AI Innovation Center 集中开放23项生成式AI可复用资产,覆盖RAG、文档处理、客服语音智能体、智能体脚手架、评测及运维等环节。资…
开源AI· 2026-11-10
TorchCurves 将 B 样条与 Legendre 多项式参数曲线封装为 PyTorch 可学习组件,支持对输入和曲线系数端到端求导,也可由外部网络动态生成系数。库提供模块化…
开源AI· 2026-11-10
MiniMax发布基于H3构建的开放权重图像生成模型H3-Image,覆盖文生图、参考图生成与图像编辑,并将4K生成推进到约10秒级。其价值在于为开发者提供可自托管、可扩展的图像创…
开源AI· 2026-11-09
NVIDIA发布 Nemotron-Personas-Finance-Japan 合成数据集,用结构化人物画像、问答及金融情境覆盖日本人口特征、家庭结构、理财行为与本地制度语境,旨…
算力架构· 2026-11-13
Together AI 提出面向大模型推理的持续编译系统 TKCC,通过分层持久引擎、并行配置成本模型及智能体爬山循环,持续为模型与流量变化重新生成优化执行路径。论文称其在 Lla…
算力架构· 2026-11-12
AWS与RadixArk、Annapurna Labs联合推出SGLang-Neuron,并以AWS Deep Learning Container公开发布。该项目通过原生PyTo…
算力架构· 2026-11-10
FAME-QP面向线性模型预测控制中的稠密二次规划求解器,将约束相关算子表示、单/双核融合迭代与CUDA Graph重放结合起来,并通过设备校准、问题级计时和缓存算子库自动选择执行…
算力架构· 2026-11-10
Google 扩展 TPU 产品组合,推出面向机密模型训练和更大内存需求的两类专用芯片。其意义不在于单纯增加算力规格,而是通过硬件隔离、内存容量与工作负载适配,为受监管企业和大规模…
算力架构· 2026-11-10
LoRazor面向共享骨干模型上的多LoRA并发服务,提出请求生成早期即永久释放已无必要的适配器,并通过active-row aware GPU内核动态收缩LoRA算子启动规模,避…
前沿论文· 2026-11-13
GenPFN提出一种无需训练候选生成器,利用固定权重的TabPFN分类器,在少量已标注工程设计的上下文中,通过插值、门控分类梯度和高斯噪声生成候选方案。每个候选仍须经过约束检查与目…
前沿论文· 2026-11-13
一项针对数学题目与论文反馈生成的研究发现,前沿和开放权重大模型的输出均明显少于人类作者:直接提示结果的词汇相似度高78%,语义相似度高51%。两种多样性提示与后训练虽能增加表面变化…
前沿论文· 2026-11-13
这项研究针对形态丰富语言中分词器常被笼统归因于“语言学单元”的现象,构造两套独立实现,将词根分组、切分粒度与词级读出三个变量拆开评估。阿姆哈拉语命名实体识别中,真实词根分组较乱序词…
前沿论文· 2026-11-13
BEST-RQ通过随机投影与量化,从大规模无标注语音中学习高效表征,但其结果容易受量化目标选择影响。研究将不同码本定义为独立分组,以组级分布鲁棒优化自适应提高困难码本的训练权重,并…
前沿论文· 2026-11-13
这项研究提出一套基于“思考者—说话者”级联的全双工语音对话系统:在80毫秒帧时钟上冻结通用多模态LLM,仅训练9700万参数的轻量适配器与新增词嵌入,并以离散Token显式表示停顿…
行业动态· 2026-11-12
据 The Verge 报道,NVIDIA 创始人兼 CEO 黄仁勋在婚外情指控及董事会讨论罢免的报道接连出现后辞职。这起事件不仅是个人治理风波,也可能动摇 NVIDIA 的战略连…
行业动态· 2026-11-12
据 MIT Technology Review 报道,英伟达代表私下向美国众议员 Bill Foster 表示,其技术上能够落实《芯片安全法案》要求的先进 AI 芯片位置追踪措施,…
行业动态· 2026-11-12
在黄仁勋辞任英伟达CEO后,Hugging Face CEO公开重申维护开放模型与开放AI基础设施的立场,并借此追问英伟达拟以129亿美元收购Hugging Face后将如何保障模…
行业动态· 2026-11-12
软银为支撑AI数据中心扩张而预购天然气轮机,据报道产生逾30亿美元损失,暴露算力基础设施扩张中的设备交付周期、燃料成本、长期合同和项目执行风险。这一事件不只是财务问题:当AI数据中…
行业动态· 2026-11-12
英伟达CEO黄仁勋因涉及一名被指称为中国情报人员的私人关系及公司治理争议辞职,将AI产业的算力、出口管制与地缘政治风险集中到台前。节目采访认为,争议可能影响美国对华GPU出口政策、…
大语言模型· 2026-10-09
Hugging Face推出了一种名为PreSTO的新方法,通过预测性子树预取技术加速大语言模型(LLM)的推理过程。PreSTO通过批量生成未来可能的接受/拒绝决策子树,并在不改…
安全与隐私· 2026-08-10
Checkpoint Research发布了一篇关于Cloudflare代码模式及其Workers功能的研究报告,揭示了这些工具在处理复杂任务时可能存在的安全漏洞。研究指出,攻击者…