PSI称AI辅助解决5道量子信息开放问题，并公开论文与验证代码
Physical Superintelligence（PSI）称，其自研 AI 科研系统 Emmy 辅助解决了开放量子问题目录中的 5 道长期开放问题，并公开论文、Lean 形式化证明和验证代码供审查。
推荐理由：文章给出了 AI 生成假设、Lean 形式化证明与代码验证的分层流程，并附论文和代码供审查，便于读者理解科研自动化的验证路径。
技术方向
推理能力 最新动态
让大模型先想再答的能力：思维链、推理模型，数学与逻辑评测上的突破和争议。
213 条精选近 30 天 180 条共收录 260 条
更新
精选归档 · 第 2 页
量子位精选AI 评分8181 量子位精选AI 评分6969 扩散智能发布 350亿参数 Clover-35B-A3B-Preview 扩散语言模型
扩散智能发布扩散语言模型 Clover-35B-A3B-Preview，总参数350亿，每个 token 激活约30亿参数，可用于代码生成、网页操作和工具调用。
推荐理由：文章结合页面生成实操与连续工具调用演示，列出与 Jev 的速度、成功率对比、Gemini 速度表现和代码评测数据，可用于比较扩散语言模型的 Agent 效率。
36氪精选AI 评分4141 腾讯混元 Hy4 与 Hy4 flash 即将发布，首次引入视觉理解
腾讯在 2026 腾讯全球数字生态大会上宣布，混元 Hy4 即将发布，并首次引入视觉理解能力。相比 Hy4 preview，Hy4 强化了长程和真实生产力任务，思维链效率显著提升；Hy4 flash 也将在近期发布。
推荐理由：Hy4 相对 Hy4 preview 的长程任务、真实生产力与视觉理解变化被集中列出，便于对照此次混元升级的具体范围。
HF Daily Papers精选AI 评分4343 论文探讨迈向 AGI 的规模化是否取决于 System-1 让 System-2 执行哪些交互
研究团队有条件地肯定这一方向：在预测、筛选、执行、更新的闭环中，轻量级 System-1 评估候选交互，资源密集型 System-2 只执行获准交互，可降低计算开销。
推荐理由：论文将有用交互密度 ρ_u 与执行成本和选择遗憾关联，给出推理规模化效率的可测量坐标与理论边界。
Hacker News精选AI 评分4747 可执行考古（Executable Archaeology）研究：重新激活 Heuristic Compiler（1961）与 KBEmacs（1984）
研究团队运行原始代码，重新激活 Herbert Simon 的 Heuristic Compiler（1961）与 MIT Programmer's Apprentice 项目的 KBEmacs（1984），以比较两种编程理论。
推荐理由：论文以运行原始代码的可执行考古方法复现两套历史程序的关键输出，并比较问题求解与模式组合两种编程观。
HF Daily Papers精选AI 评分5454 论文提出 EvidenceConnect，以合成证据连接数据提升 Zooming without Zooming v2 的多模态感知泛化能力
论文提出 EvidenceConnect，通过同一图像相关区域的缩放视图合成问题，并用 RLVR 训练出 Zooming without Zooming v2（ZwZ2）。框架仅保留多个独立 VLM 达成一致的参考答案，并通过区域消融剔除移除相关区域后答案仍成立的问题。ZwZ2 改善了细粒度与空间感知，并在具身空间推理、多模态长上下文理解、多模态智能体任务和通用视觉推理上获得进一步提升。
推荐理由：论文把证据连接抽象为可合成能力，并用独立 VLM 一致性与区域消融筛选训练数据，给出可复用的多模态训练流程。
量子位精选AI 评分7171 蚂蚁百灵开源 Ling-3.1-flash-1019 与 Ling-3.1-flash-base，面向 Personal Agent 真实任务
蚂蚁集团旗下百灵大模型正式开源面向 Personal Agent 场景的 Ling-3.1-flash-1019，并同步开放 Ling-3.1-flash-base 基础模型。
推荐理由：文章同时给出复杂任务基准变化、基础模型架构与开放许可，便于开发者评估 Personal Agent 的模型选型与二次训练空间。
钛媒体精选AI 评分7878 史上最大 IPO 临门，腾讯、阿里、字节抢卡：Anthropic 和中国大厂一起为算力上头
Anthropic 已提交 IPO 申请，腾讯、阿里、字节意向采购超 300 万张英伟达 RTX PRO 5500，潜在规模超 350 亿美元。文章认为复杂 AI 智能体任务中的多子智能体调用会放大推理消耗，Kimi K3.1 Pro 上线后出现限流和额度争议，Claude 用户社区也有类似反馈。
推荐理由：文章把用户额度消耗、AI 智能体多步调用与芯片采购串成同一条推理算力链，并区分采购意向、实际交付与最终收入。
钛媒体精选AI 评分6969 顶级大模型 API“时薪”正在超越不少打工人身价
大模型之家以 Kimi K3.1 Pro 额度争议为切口，比较顶级模型 API 成本与人工时薪，指出复杂任务的模型费用可能高于普通员工数十小时的工资。文中计算，处理 100 万 Token 输入并生成 100 万 Token 输出，GPT-6 Astra 与 Claude Fable 5.1 各需 60 美元，Kimi K3.1 Pro 需 81 元，高速版为 162 元。
推荐理由：文章把 API 标价、Token 消耗与人工时薪放在同一尺度上比较，并以 DeepSeek 的低价策略呈现企业采购从模型排名转向任务总成本的变化。
HF Daily Papers精选AI 评分4747 Prox：MoE 解码的通道选择无需校准数据
Prox 用 top-k 通道选择替代依赖离线校准数据的阈值筛选，并提出完全由模型权重构建的 reader，以加速 MoE 推理。在 13% 和 18% 读取预算下的 43 组比较中，top-k 版本有 40 组匹配或超过阈值版本，其中 23 项生成任务比较均达到或更优，并避免 Gemma 4 上阈值筛选导致的重复循环崩溃。
推荐理由：论文以 top-k 替代校准阈值，并在 3 个后训练 MoE 模型上对比读取比例、准确率与推理速度。
HF Daily Papers精选AI 评分4040 ThinkWorld 通过世界想象强化链式动力学推理
ThinkWorld 提出 Vision-Language-Action（VLA）学习框架，将动作推理置于世界动力学中，并通过世界想象强化学习利用无动作标注的人类视频。
推荐理由：ThinkWorld 用动作标注初始化 CoD，再以世界想象强化学习利用无动作标注的人类视频，为机器人跨本体迁移提供可复用方法。
36氪精选AI 评分7171 8点1氪：iPhone Duo内屏开裂可免费换机，A股仅剩贵州茅台一只千元股，外交部回应姆巴佩遭多品牌解约
36氪“8点1氪”在10月28日汇总iPhone Duo内屏开裂免费换机、A股千元股变化、姆巴佩代言解约回应及多项AI进展。OpenAI发布GPT-6.1 Terra，提升视觉推理与计算机操作，标准API价格较GPT-5.6 Terra和GPT-6.1 Sol低50%；Google DeepMind以研究预览形式发布Genie 4，支持提示改变场景并生成匹配模拟世界的实时音频。
推荐理由：将iPhone Duo换机、A股千元股变化、姆巴佩代言解约及多家公司的AI模型进展并排整理，便于对照消费、资本市场和模型发布三类信号。
The Verge · AI精选AI 评分8686 研究人员对 OpenAI 管控突破成果发布愈发不满
OpenAI 宣布三项涉及数学、计算机科学和物理的 AI 生成成果，但差异化披露和专家优先获取引发研究人员不满。数学输出已经公开，计算机科学结果将由外部研究小组协助解释，物理材料则暂缓发布。受访专家称成果可能重大，AGMAI 则根据 OpenAI 的说法指出，物理结果对应的 Lean 形式化已经完成，要求立即公开相关自然语言与 Lean 输出以支持开放验证。
推荐理由：文章对比三项成果的不同披露路径，呈现专家优先获取与延迟公开的争议，以及开放验证对学界参与的影响。
Latent Space精选AI 评分7979 Anthropic 如何借助 Claude 交付 Claude：分离智能体的大脑与执行环境
Anthropic 的工程与产品负责人介绍其发布 Claude 的流程，并用 Managed Agents 展示如何分离智能体的“大脑”与执行环境。Opus 5.5 在发布时兼顾模型质量与单位成本，同时通过跨轮保留 thinking blocks 限制推理链提取和知识蒸馏，部分 API 客户因此需要调整 harness。
推荐理由：文章以 Managed Agents 为例，说明如何分离持久会话与按需沙箱，并提供兼顾安全隔离、延迟和 API 兼容性的架构视角。
HF Daily Papers精选AI 评分5454 Soft-MTP 通过 KL 梯度恢复改进多 Token 预测
Soft-MTP 通过 KL 梯度恢复移除多 Token 预测中的噪声残差，在不增加参数且无可测开销下改善困惑度、推测解码与推理表现。该方法支持 DeepSeek 和 Meta 风格的 MTP；在 167M 至 1.2B 参数规模上，相比标准 MTP 获得更低的 NTP 困惑度、更快的推测解码和更高的 zero-shot 准确率，1.2B 模型微调后的数学与代码推理也更强。
推荐理由：论文将标准 MTP 梯度拆为 KL 自蒸馏信号与噪声残差，并给出兼容现有训练内核的一行代码改法，为多 Token 训练提供低开销路径。
TechCrunch精选AI 评分8181 OpenAI 与 Anthropic 称 AI 模型推翻指数时间假说（ETH），学界如何解读
OpenAI 与 Anthropic 分别发布由 AI 模型给出的证明，并声称这些结果推翻了指数时间假说（ETH），相关主张正引发学界讨论。OpenAI 针对数学、计算机科学和物理学采取不同流程，数学证明先发布到 GitHub，计算机科学界成立工作组并要求公开证明，物理学界的发布方式仍待工作组决定。
推荐理由：文章梳理AI若有效推翻ETH后，可能对依赖该假说的既有论文、密码系统安全、AI证明审查方式及学界公开协作规范产生的具体影响。
面壁 MiniCPM精选AI 评分5050 面壁开源 MiniCPM-OCR 1.0 DSpark 推测解码头，端到端处理效率提升 55%
面壁开源 MiniCPM-OCR 1.0 的 DSpark 推测解码草稿模型，该模型不是独立 OCR 模型，需与匹配的主检查点配对使用，可将端到端处理效率提升 55%。
推荐理由：材料提供草稿模型与主检查点配对、d2t 映射转换及 vLLM 启动配置，可用于复现 DSpark 推测解码流程。
Google DeepMind精选AI 评分7272 Google DeepMind 发布 Genie 4 多模态世界模型
Google DeepMind 发布 Genie 4 世界模型，可实时生成视觉、动态交互与原生音频，并通过 Gemini 理解提示、维持场景连贯性。Gemini 3.8 Flash 作为引导智能体分解目标、检查画面并动态调整计划，支持多步骤事件与因果行为模拟。
推荐理由：官方披露了 Genie 4 的实时交互、原生音频与 Gemini 引导机制，并明确列出预览范围和当前局限，便于评估其可用边界。
The Decoder精选AI 评分8181 OpenAI 邀请外部专家核查 AI 生成的数学、计算机科学与物理证明
OpenAI 邀请包括诺贝尔奖得主在内的外部专家，核查其 AI 在数学、计算机科学和物理领域生成的证明。OpenAI 称成果包括证明 ETH 为假、在所有维度证明局部平滑猜想，以及证明某些四维量子场论存在；数学和计算机科学证明已转为 Lean。Yang-Mills 结果仅声称解决存在问题而未证明质量间隙，物理团队暂时保留相关材料，独立核查者也明确表示参与不等于背书。
推荐理由：文章把三类证明的外部核查流程、Lean 验证边界和材料开放安排并列呈现，为理解 AI 科学发现的审查路径提供具体参照。
TechCrunch精选AI 评分5959 General Compute获$100 million A轮融资，投后估值$800 million
General Compute完成$100 million A轮融资，投后估值达到$800 million。该轮由Blackbird Ventures和Abstract Ventures领投，此前公司获得一份年经常性收入$100 million的大型客户合同。
推荐理由：General Compute以推理芯片和改造矿场切入云算力市场，融资与大客户合同展示了其避开自建数据中心约束的路径。