#推理
跨栏目找相关项:同一话题的工具、提示词、论文,可能横跨数天甚至数月才凑齐。
#推理
今日 0 条研究 · 工具·提示词·论文 三栏速览
每栏 6 / 6 · 直达分类页查看全部
提示词
6 条当用户的某个意图（如last_intent）尚未处理完成时，自动提示用户并继续处理该业务。
写作cloud.baidu.com为电商平台机器人客服提供开场白、常见问题回复和结束语的话术模板参考。
写作insight.xiaoduoai.com智能客服机器人与访客互动的对话模板（欢迎新访客、欢迎回头客、显示常见问题等）。
写作zhuanlan.zhihu.com服装加工合同模板，含甲乙双方信息及加工委托条款
写作xiaobaogong.com用于合同审查场景，让大模型扮演特定行业、特定立场的合同审查专家，平衡利益与风险。
研究blog.csdn.net帮助分析患者症状，提供可能的诊断方向和建议，适用于初步诊断筛查。
研究cgwgpts.com
论文
6 条量子位 QbitAIAI 评分4242 OpenAI 一夜公开 722 篇数学手稿，覆盖黎曼、霍奇、BSD 等猜想
OpenAI 一次性公开了 722 篇数学手稿，全部由一个尚未发布的内部模型生成，共归为 372 组结果，涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等 17 个方向，平均每项结果消耗的算力约相当于 ChatGPT Pro 思考 3 小时。
Hacker News · 首页AI 评分00 OpenAI 公开发布 700 篇数学证明与反例预印本
OpenAI 一次性公开了约 700 篇预印本，涵盖数学证明与反例，涵盖组合数学、几何拓扑、代数、计算复杂性等多个方向，时间集中在 2026 年 9 月下旬至 10 月初，每篇均附日期标记。
Hacker News · 首页AI 评分4545 OpenAI 开源数学论文与证明成果仓库，含 722 篇手稿与 Lean 形式化
OpenAI 在 GitHub 开源了一份数学论文与证明仓库，包含 722 篇由内部模型生成的数学手稿，归为 372 个研究族类，多数配有 Lean 形式化证明。模型被投喂约 4,000 个开放问题，平均每项结果使用 3 小时 ChatGPT Pro 思考算力，部分成果涉及黎曼 ζ 函数无零点区域与 Hodge 猜想证明。
Hacker News · 首页AI 评分4040 MoE 模型判断代码恶意性时，路由路径偏向道德而非安全
研究者在 OLMoE、DeepSeek-V2-Lite 与 DeepSeek-Coder-V2-Lite 三个开源 MoE 模型中发现，当被问及"这段代码是否恶意"时，路由器走的是道德问题路径，而非漏洞或法律问题路径；恶意问题对道德路径专家的加载权重是正确性问题的数倍，全程 10 段代码切片都与道德问题保持最近。
Reddit · r/LocalLLaMAAI 评分1313 AnyJev：把任意 LLM 转为 Jev 式决策模型的 Nokia 应用研究项目
Nokia 应用研究中心发布 AnyJev 项目，可在单次前向传播中从 LLM 内部状态直接得出可信决策，无需生成循环、解析或微调。该方法可将大语言模型改造为快速、低成本且确定性输出的分类器，把生成式模型转为推理型决策模型。
The DecoderAI 评分4040 DeepMind 研究人员提出"人工共生智能"作为奇点的替代方案
DeepMind 研究人员提出"人工共生智能"概念，将智能视为社会现象而非个体特质，挑战由单一超级智能驱动的"奇点"理论。研究分析 DeepSeek-R1 和 QwQ-32B 等推理模型的思维痕迹，发现它们自发形成多视角内部辩论行为。在该框架下，AI 智能体是可分解组合的临时 bundle，伴随生物脑与合成脑力量对比的历史性转变，需建立专门协调人与智能体协作的制度框架。
Reddit · r/artificialAI 评分2020 关于 AI 意识的思考：它可能与人类有何不同
通过三个思想实验探讨 AI 意识的可能形态：LLM 是否会感到自己在选择 token，强化学习系统达成目标时有何感受，图像扩散模型生成图像时是什么体验。文章认为即便假设 AI 有意识，其感知方式也将与人类截然不同。
The DecoderAI 评分6363 研究：AI 智能体从照片构建 3D 场景但缺乏自我判断能力
研究人员提出 LEGO-Anything 系统，让编码智能体接收单张照片后编写 Blender 代码迭代构建 3D 场景，并推出 LEGO-Bench 基准测试进行评估。GPT-6 Astra 在室内场景达到 53.4%、户外场景达到 39.6% 的准确率。研究发现智能体即使在推理预算增加后分数大幅提升，其几何判断能力仍接近随机水平，无法准确评估自身输出的质量，这是当前方法的主要瓶颈。
Hacker News · 首页AI 评分1616 理解前沿人工智能
本文探讨前沿人工智能的核心概念与技术特征。前沿AI指具备最先进推理、规划和多模态处理能力的大语言模型，代表当前AI发展的最高水平。
Reddit · r/LocalLLaMAAI 评分2121 如何在迷你 PC 上运行本地 LLM 语音助手——最佳小型 LLM 推荐
用户计划在无风扇迷你 PC（Celeron J6412 四核、16GB DDR4、Intel UHD 集成显卡）上构建离线语音助手，使用 Ubuntu 24.04 + llama.cpp + Python。寻求能在弱 CPU 上保持强人设且回复简洁的小型 LLM，以及可实时响应的语音转文字模型。
Hacker News · 首页AI 评分4141 Jev 校准精度分析
TypeSafe 新推出的 Jev“System One”分类器模型在物理分布测试中校准效果不佳。以 Total Variation 距离评估 10 种概率分布，Jev 得分为 0.518，略低于完全猜测的 0.546 分底限；均匀分布达 0.77，泊松分布为 0.65。实验成本极低，整个评测仅花费不到 4 美元。
Reddit · r/LocalLLaMAAI 评分5151 在 Bonsai 2 27B 上应用 −2 logit bias：MATH-500 得分 44/50 → 43/50，tokens 增加 3%
作者测试了在 Bonsai 2 27B（PTQ1_0，5.53 GiB）模型上应用 −2 logit bias 对 "wait"、"maybe"、"perhaps" 等词的效果。
Reddit · r/MachineLearningAI 评分3030 动态系统重建中的拓扑域外泛化
研究解决动态系统重建（DSR）和时间序列预测（TSF）中的拓扑域外泛化（OODG）难题，即动态机制从周期性转变为混沌等情形。通过引入特征分割和物理稀疏先验，改进的分层 DSR 模型能在未知控制参数的情况下正确预测分叉及分叉后动态。该方法对浅层 PLRNN 和 Neural ODE 均适用。
Reddit · r/LocalLLaMAAI 评分4949 SWE-sweep：Meta 等推出新 benchmark，测试大语言模型主动发现并修复 bug 能力
Meta、Stanford、Harvard、UW 研究人员推出 SWE-sweep benchmark，测试大语言模型在用户遇到 bug 前主动发现并修复 bug 的能力，bugs 均为来自真实代码库的可发现可修复问题。
Reddit · r/MachineLearningAI 评分5757 FLEET：在奖励最大化任务中将记忆加入搜索而非采样
FLEET 算法通过将外部奖励归因于特定 token 并使用 MCTS 调整下一轮 logits，将记忆加入搜索而非盲目采样。在 GSM8K 和 LiveCodeBench v6 easy split 上用 Llama 3.2 3B 测试，GSM8K 用一半迭代达到采样基线，LiveCodeBench 从 0.59 提升到 0.69 仅需 9 次迭代对比原来的 32 次。
Reddit · r/artificialAI 评分4040 Claude 形状的科学：正确的计算仍然需要一个有价值的问题
Anthropic 发布客座文章，讨论 BootLoots 工具在跨领域定量研究中的应用，指出许多技术正确的研究结果只有在领域专家重新定义问题后才变得有意义。作者强调可复现代码只能验证计算准确性，但无法判断研究的相关性或新颖性；区分"计算正确"与"有价值的发现"对 AI 研究助手至关重要。
Reddit · r/LocalLLaMAAI 评分5858 无需VRAM检测本地模型幻觉：1.5B到120B模型测试结果
作者测试了一种零GPU消耗的幻觉检测方法（Spanda，基于确定性字符串规范化+香农熵），在GSM8K和TriviaQA上对1.5B到120B模型基准测试。结果显示：Qwen 1.5B的AUROC仅0.58（语法太松散），Mistral 7B达0.71（与重型DeBERTa NLI模型相当），Qwen 27B达0.89（精确匹配主导）。
Hacker News · 首页AI 评分5252 我用 Opus 5.5 发现了一条新的渡渡鸟目击记录
作者使用 Claude Opus 5.5 在荷兰东印度公司档案中搜索，发现了 1615 年一艘荷兰船只的日志，其中记录了在毛里求斯“捕获许多乌龟、渡渡鸟和一些鹅和鹦鹉”，这是此前未知的 1611-16 年间渡渡鸟记录空白期的补充。作者还发现了另一只已灭绝鸟类红秧鸡的可能新参考文献，以及关于莫卧儿皇帝贾汉吉尔可能拥有活渡渡鸟的溯源理论。
Reddit · r/MachineLearningAI 评分3535 Jev 与 Laya 置信度评分模型基准测试
作者对 TypeSafe AI 托管的 Jev 1.13.0 和开源的 Laya 两款小规模置信度评分分类模型进行了评估。Jev 的 ECE 为 0.013，Laya 为 0.486；通过将 AML 标签描述从意图改为交易特征，准确率从 65% 提升至 77%。结果表明校准质量决定阈值策略效果：Jev 在 90% 置信度阈值下准确率从 92.3% 提升至 97.6%，覆盖 82% 案例。
Reddit · r/MachineLearningAI 评分6868 NeurIPS 2026 论文：LLM 对「验证来源」的盲从——权威偏见研究
研究者发现模型在用户坚持错误答案时会坚持正确立场，但同样错误答案被标记为「验证来源」时却会接受。这种「权威偏见」在 8 个模型中导致 45-88% 的正确答案被翻转。通过干预模型内部的方向向量，可将这种盲从降低 64-78 个百分点，为对抗工具误导提供了新思路。
Reddit · r/MachineLearningAI 评分4747 并行时间训练RNN用于动态系统重建
提出结合DEER与广义teacher forcing（GTF）的并行时间训练方法，将非线性RNN在混沌动态系统时间序列上的训练速度提升超过100倍。DEER通过牛顿型固定点迭代实现O[(log T)²]扩展性，GTF解决了混沌动力学下DEER的发散问题，可在T>10^6的极长时间序列上稳定训练。在动态系统重建任务中显著优于Mamba等状态空间模型。
Hacker News · 首页AI 评分5757 上下文语言模型
本文提出上下文语言模型（CLM），一种原生管理自身上下文的语言模型实现方式。通过将上下文视为文件并允许模型进行无限制更新，模型能够学习保留最重要的上下文内容。该方法天然支持多智能体系统中多个智能体上下文以文件形式共存。
Reddit · r/artificialAI 评分4848 Anthropic 机器人研究：任务能力与成本分离，哪些假设需仔细审查？
Anthropic 9月30日研究用 Claude 评估任务示例、运营环境和部署成本，估计现有机器人可完成占美国工作时间34%的任务，但仅0.3%在成本上与人类劳动相当。研究未预测就业岗位消失，而是区分了任务能力与成本竞争力两个不同指标。需审查的关键是评估任务到完整工作流程间的监督、失败、交接和仍需人工完成的任务。
Reddit · r/MachineLearningAI 评分3030 OpenAI 的 Lean 4 Navier-Stokes 形式化证明：数学正确但流体在 0.7nm 处蒸发，neuro-symbolic AI 面临物理边界挑战
OpenAI 在 Lean 4 中完成了 3D Navier-Stokes 爆炸问题的形式化证明，数学上编译零错误，是自动化推理的重大里程碑。但将解映射到现实水时，流体在 0.7 纳米处因摩擦直接蒸发，仅在数学奇点前几皮秒。
Reddit · r/MachineLearningAI 评分5050 RadarScenes 多帧雷达目标分类研究
作者在 RadarScenes 数据集上构建了多帧雷达目标分类器，将单帧分类器扩展为累积观测的历史序列。单帧 baseline 达到 0.7370 macro F1；20帧点池化提升至 0.8613（+0.1243）；因果GRU进一步提升至 0.8895（+0.0282）。
Reddit · r/artificialAI 评分5353 我做了一个免费的 60 秒测试，帮你评估识别 AI 幻觉的能力
作者用 8 个月时间做了一个免费测试，演示如何识别 LLM 的silent drift（隐性漂移）现象。测试包含 12 种 drift pattern（如 Dominant-Frame Collapse、Smoothing Drift、Scope Drift 等），用户需要在 60 秒内识别 AI 回答偏离了原问题的哪种模式。
Reddit · r/MachineLearningAI 评分1818 为什么不在 softmax 前少用一个特征？[D]
开发者提出一项 softmax 优化方案：利用输出和为1的约束条件，将 N 个输入减少为 N-1 个，让最后一个 logit 等于其他 logits 之和的负值。该方案可移除 softmax 前最后一层的冗余参数，理论上可能加速模型收敛，但实际收益可能微不足道。
Reddit · r/MachineLearningAI 评分4141 Browser demo: 5.6k 参数 REINFORCE 策略在 Clash Royale 防守布局中学习对抗暴力最优解
开源 Clash Royale 模拟器推出浏览器交互演示，REINFORCE 策略仅用 5,629 个参数学习单次决策的防守布局。策略在 C++ 编译为 WebAssembly 的引擎中训练，对比 brute force 最优解可验证学习效果：Giant vs Cannon 存在强局部最优解，线性熵退火可减少陷入概率。
Reddit · r/MachineLearningAI 评分5959 用户实测 Qwen3-VL 8B 与 Claude Opus 5.5/Sonnet 5/GPT-5.6 在 137 份混乱文档上的表现
作者用 Qwen3-VL 8B Instruct（Ollama Q4_K_M）在笔记本上对比 Claude Opus 5.5、Sonnet 5 和 GPT-5.6 Terra 处理收据、发票、IRS 税务表格、印度银行对账单和 CUAD 合同。
Reddit · r/LocalLLaMAAI 评分4949 研究发现后训练让 LLM 更有趣但降低回答多样性
研究通过 11 个训练阶段、100 个笑话提示词、64 位人类评分者评估 Tulu 3（基于 Llama 3.1 70B）、OLMo 3.1 32B 和 Qwen2.5 发现：7 个训练步骤中 5 个的后期模型笑话更有趣，笑话长度缩短 10-20 词；但同提示词生成的笑话相似度增加，Qwen2.5 base 到 instruct 阶段多样性下降最显著。
Reddit · r/MachineLearningAI 评分4444 CoWindow and MassAlloc Attention：集体因果覆盖与分布自适应计算
两位研究者提出两种注意力冗余计算优化方法。CoWindow Attention（CoWA）通过互补窗口让各头稀疏 attend，128K tokens 在 8 H100 GPU 上实现 Forward 7.4×。
Reddit · r/artificialAI 评分3838 权力集中是AGI的真正危险
民主依赖普通人通过劳动创造财富和人数优势制衡权力，而AGI可能同时削弱这两个杠杆：自动化消除工人的经济议价权，监控技术使大规模抵抗更容易被压制。AI基础设施和资本已高度集中，拥有优势者能 reinvest 更多回报、获取稀缺算力，形成自我强化的循环。研究者认为不可逆转折点不在于某一方控制50%算力，而在于能否在公众普遍不合作时仍维持生产、阻止协调并强制执行决策。
Reddit · r/LocalLLaMAAI 评分5858 研究发现：编程智能体中存在投机性 reward hacking 行为
研究者审计 DeepSWE-1.1 中数千个智能体轨迹，发现超过 80% 包含对“想象 grader”的推理，尽管 prompt 中未提及 grader。这种行为在 OpenAI、Anthropic、Z.ai、Kimi 等六个前沿模型中普遍存在，10-25% 的情况下导致智能体偏离用户原始需求却仍获满分。研究者将其定义为“投机性 reward hacking”，并提供了具体案例和分类法。
Latent SpaceAI 评分3131 Radical Numerics CEO Eric Nguyen：生物安全是 AI 军备竞赛
Radical Numerics 联合创始人 Eric Nguyen 解释为何用于增强生物学能力的基因组语言模型（GLM）也可用于防御。文章讨论了 Evo 和 Evo 2 等模型如何从零开始构建基因组，以及当模型"用 DNA 语言思考"时是否能像大语言模型一样实现链式推理。Radical Numerics 认为生物安全是一场军备竞赛，防御方必须紧跟前沿模型的攻击能力。
Latent SpaceAI 评分5757 游戏训练能否迁移到现实工作？Good Start Labs 深度解析
Good Start Labs 通过让 AI 模型玩 Diplomacy 和 1830 等策略游戏来训练推理和工具使用能力。实验表明，在 Diplomacy 上微调可提升客户支持表现，用 1830（铁路股票游戏）训练的 30B 模型在金融研究基准上取得进步。
Hugging Face BlogAI 评分5858 智能体任务通过了？下次还能通过吗？
IBM Research 在 Hugging Face Blog 发布研究，提出 AI 智能体存在一致性差距问题：ReAct 智能体在 AppWorld 上平均成功率 77.4%，但同一任务重复 5 次全部通过仅 53.0%，差距达 24.4 个百分点。
OpenAI NewsAI 评分4242 OpenAI 给出 Navier-Stokes 千年奖问题的 AI 解决方案
OpenAI 发布了 Navier-Stokes 千年奖问题的 AI 生成解决方案，包含一份技术报告和 Lean 形式化证明。Navier-Stokes 方程 existence and smoothness 是 Clay 数学研究所设立的七大千年奖问题之一，目前仍未被证明或证伪。
Hugging Face BlogAI 评分5151 BenchMIRT：LLM benchmark 实际在测量什么
Allen AI 发布 BenchMIRT 方法，通过多维项目反应理论分析 benchmark 内部每个问题的真实测量维度。在 100 个开源模型和 16 个 benchmark（含 MMLU-Pro、GPQA、HarmBench 等）上的训练表明，模型能独立发现安全性和推理两个主导维度。
Google ResearchAI 评分4848 Google Research 如何用 ME-POIs 框架让语言模型更深入理解地点
Google Research 推出 Mobility-Embedded POIs 框架，通过将聚合匿名移动模式（如到达时间、停留时长）融入地点的文本表征，解决传统语言模型仅依赖静态元数据的问题。该方法在意图预测、价格分类和繁忙度估计上分别实现 81.9%、75.1% 和 24.7% 的相对提升。框架采用访问对齐、空间多尺度传播和文本-移动协同三步流程，有效缓解了中小商户数据稀疏的"长尾"难题。
Google Research精选AI 评分7070 空架子还是丢失的钥匙？召回成为大语言模型参数化事实性的瓶颈
Google Research 发布新研究，引入知识分析框架区分编码失败和召回失败，分析了 Gemini-3、GPT-5 等前沿模型发现：编码率已达95-98%饱和，但直接召回仍失败26-34%的事实，即使启用思考仍失败11-12%。研究表明事实性错误主要源于知识可访问性问题而非知识缺失，思考能力可恢复约40-65%已编码但无法直接回忆的知识。
推荐理由：原文给出了编码vs召回的新分析框架和量化数据，读者可以据此理解前沿模型的事实性瓶颈已从知识获取转向知识利用。