Axiom Math用形式化验证清理数学库中的AI证明
Axiom Math的AI智能体已对数学领域大型文献库Stacks Project完成形式化验证，目标是过滤未经严格检查的机器生成证明。与让模型继续产出更多证明不同，这条路线把AI…
智客 AI 新闻
智客 ZICQ 每日整理大模型、开源基础设施与开发者现场的 AI 新闻与深度文章。
投稿技术文章当前筛选： 标签: #Cloud AI 100 Ultra 清除筛选
算力架构· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
NVIDIA全栈协同破解AI推理内存墙：HBM、KV Cache与分层存储联动
NVIDIA以GPU、CPU、互连、存储与推理软件协同设计应对智能体推理带来的HBM容量与带宽压力：通过NVFP4压缩权重和KV Cache，将模型分片至NVL72域，并用Dyna…
算力架构· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
《霍格沃茨之遗》接入DLSS 5，神经渲染登陆GeForce NOW
Avalanche Software为《霍格沃茨之遗》完成NVIDIA DLSS 5集成，通过3D-Guided Neural Rendering提升光照与材质表现，并结合DLSS…
行业动态· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
四大科技巨头拟投入7200亿美元，AI算力军备竞赛仍未见回报
Amazon、Microsoft、Alphabet与Meta在最新财报会议中披露，2026年资本支出合计至少7200亿美元，主要用于AI数据中心、服务器及网络基础设施，但可验证的收…
前沿论文· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
SSPE动态重构轨迹停留点：抵御噪声漂移与信号断档
论文提出 Sequential Staypoint Extraction（SSPE），以动态质心替代固定空间锚点，并通过 n 步前瞻和时序桥接机制，从含严重定位噪声与长时间信号缺失…
前沿论文· 2026-11-05
Mr.Xu1 次阅读0 条讨论与划词
MIS单次推理实现整页排序：CPU解码最高加速4.07倍
论文提出 Multi-Item Scoring（MIS），通过一次请求计算候选内容的共享表示，再在受约束束搜索中执行轻量级前缀条件打分，在避免重复完整模型推理的同时引入顺序依赖。该…
前沿论文· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
最小优势惩罚重定义模型选择准则：严格Proper性与实验归因缺口
这项工作研究验证指标在决定保留哪个模型、何时停止训练时，是否能保证所有正确预测的得分严格优于错误预测。作者推导了Brier score与对数评分中正确、错误预测两端点的闭式界，并给…
前沿论文· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
MA-SafeDiffuser将扩散规划扩展至多智能体安全域
MA-SafeDiffuser将单智能体SafeDiffuser的控制障碍函数（CBF）约束扩展到多智能体扩散式轨迹规划。作者将联合安全集形式化为个体安全集与智能体间成对安全集的交…
大模型· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
HuggingBench审计揭穿推荐基准身份错配：修正后Recall@10最高提升73%
研究团队将 HuggingBench 视为一个需要版本治理的数据产品，对交互数据、外部知识图谱与资源文档进行一致性审计。四个外部知识图谱中有三个虽通过键和值域检查，却违反 KG 推…
大模型· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
长时程联邦学习揭示信任边界漂移：独立审计守住98%增益
一项面向接收方联邦学习的长时程基准，追踪各站点对其他来源与模型组件执行“接纳、拒绝或弃权”的信任判断。实验覆盖13个半合成站点、14种方法、600轮训练，以及基于Qwen3-1.7…
智能体· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
SlackBench评测多模态协作智能体，跨代码与对话推理仍是短板
SlackBench构建了一个面向真实协作项目的智能体评测环境，将Slack式多线程对话、GitHub代码变更与Google Docs决策记录关联起来，覆盖异构来源检索、不可回答问…
前沿论文· 2026-11-05
Mr.Xu0 次阅读0 条讨论与划词
Finsler-Randers度量学习为潜空间引入方向性几何
论文针对深度网络潜空间缺少显式几何结构、传统插值默认转移代价对称的问题，提出Finsler-Randers度量学习框架。与仅刻画曲率的黎曼几何不同，该方法学习方向相关的距离，使潜空…