推理关键词检索结果

主流经济学并不难。是垃圾!

Mainstream economics is not difficult. It is garbage!

具有“分析性”和“逻辑性”是大多数人认为值得称赞的品质。这些话带有积极的含义。人们认为科学家比大多数人思考得更深入,因为他们采用“逻辑”和“分析”方法。字典通常将逻辑定义为“根据严格的有效性原则进行或评估的推理”,将“分析”定义为涉及“打破[...]

机器能变得真正有意识吗?

Could a Machine Ever Become Truly Conscious?

机器能感受到疼痛、享受音乐或拥有自己对世界的私人体验吗?随着人工智能在对话、推理和解决问题方面变得越来越出色,曾经仅限于科幻小说的问题正在引起科学界的严肃关注。这一挑战始于一个基本谜团:科学家仍然不知道人类为何有意识。 […]这篇文章机器能变得真正有意识吗?首先出现在 Knowridge 科学报告上。

使用托管 Amazon Bedrock 知识库和 AWS CloudFormation 构建可观察的企业代理检索

Build observable enterprise agentic retrieval using Managed Amazon Bedrock Knowledge Base with AWS CloudFormation

本文在 Amazon Bedrock 托管知识库和 Amazon Bedrock AgentCore 上构建了企业代理检索解决方案。代理进行推理、跨多个知识库进行路由并返回引用的答案,具有七层可观察性以及按需和持续评估,所有这些都通过单个 AWS CloudFormation 链进行部署。

讣告:伊丽莎白·安斯科姆

Obituary: Elizabeth Anscombe

一位令人兴奋的哲学家,她戴着单片眼镜,抽着雪茄 Education Unlimited 伊丽莎白·安斯科姆 (Elizabeth Anscombe) 去世,享年 81 岁,她被一些人认为是她这一代最伟大的英国哲学家。 1970年至1986年,她担任剑桥大学哲学教授,并在20世纪50年代作为牛津大学研究员,帮助改变了道德哲学的进程。她在心灵哲学方面也颇具影响力,是当代行动理论的先驱,杰出哲学家唐纳德·戴维森 (Donald Davidson) 称她 1957 年的专着《意图》是自亚里士多德以来关于实践推理的最佳著作。哲学界也欠她一份巨大的恩情,因为她让维特根斯坦(可能是 20 世纪最伟大的哲学家

迪卡侬如何使用 Chronos-2 进行大规模需求预测

How Decathlon runs demand forecasting at scale with Chronos-2

迪卡侬是全球最大的体育用品零售商之一,预计多个大洲每周对数万种产品的需求。了解他们如何在 AWS 上部署 Chronos-2,将预测准确性提高 11-15 个百分点,同时降低操作复杂性,并在纯 CPU 实例上以约 0.03 美元的价格运行每周推理。

诉讼称 Oura 睡眠追踪有“抛硬币的机会是正确的”

Lawsuit says Oura sleep tracking has 'a coin flip's chance of being correct'

集体诉讼声称,Oura 的睡眠追踪机制将“基于人工智能的错误推理当作可靠的科学”。

服兵役 14 年后出现残疾

Disability developed after 14 years of service attributable to Military service

LiveLaw 报道称,印度查谟和克什米尔高等法院拒绝干预武装部队法庭(“AFT”)通过的一项命令,该命令向一名在服役期间出现残疾的士兵发放养老金中的残疾部分,虽然最初被视为“归因于服役”,但随后被释放医疗委员会视为“不归因于服役”,没有任何理由。被告于 1977 年 7 月加入印度陆军,患有一种眼病,即右眼“远视性弱视”,因此被置于永久性低医疗类别。虽然最初的医疗委员会认为上述残疾是在服役期间患上的,但退伍医疗委员会在两年内评估残疾率为 15-19%,并令人震惊地认为“既不是兵役造成的,也不是因服兵役而加剧的”,而没有给出任何理由。法院驳回了这些调查结果,并维持了 AFT 授予残疾要素的命令

IDEA Prune:生成式语言模型预训练中的一体化放大与剪枝流程

IDEA Prune: An Integrated Enlarge-and-Prune Pipeline in Generative Language Model Pretraining

大型语言模型的最新进展加剧了在有限推理预算内对高效可部署模型的需求。与从头开始训练目标规模模型相比,结构化剪枝管道在令牌效率方面显示出潜力。

STARFlow2:连接语言模型和归一化流以实现统一多模态生成

STARFlow2: Bridging Language Models and Normalizing Flows for Unified Multimodal Generation

能够理解、推理和生成交错文本-图像序列的统一多模态模型在结构上仍然分散:现有方法要么通过离散标记化牺牲视觉保真度,要么通过组合不同的模态施加结构不对称性。

大语言模型能否正确遗忘?

Can an LLM Forget the Right Things?

大多数 LLM 推理运行时不知道存在物理截止日期。这个拒绝入场而不是错过 33 毫秒的机器人控制周期,通过意义而不是年龄驱逐 KV 缓存,并且完全用手写 CUDA 编写 - 没有 cuBLAS,没有 libtorch。 帖子 Can an LLM Forget the Right Things? 帖子 Can an LLM Forget the Right Things?首先出现在《走向数据科学》上。

通过词汇干预在数据约束下进行多语言知识转移

Multilingual Knowledge Transfer under Data Constraints via Lexical Interventions

跨语言知识迁移对于为训练数据不足的语言构建高性能的多语言语言模型至关重要。当目标语言数据稀缺时,涉及科学推理、常识推理和世界知识等许多下游任务所需的知识必须主要从高资源语言获取,因此有效的知识迁移至关重要。改进这种跨语言知识转移的现有方法需要大量并行数据、翻译系统、辅助模型或额外的训练阶段……

软计算,第 30 卷,第 7 期,2026 年 7 月

Soft Computing, Volume 30, Issue 7, July 2026

1) 基于拉格朗日插值的优化算法,用于数值优化和航天器轨迹问题作者:Apu Kumar Saha, Sanjoy Chakraborty, Sushmita Sharma 页数:4569 - 46022) Generalizations of k-generications 作者:Jing Jing Yue,Xue-ping Wang 页数:4603 - 46123) Lifting Filters in residuationlaties and它们在多值决策中的应用作者:Saeed Rasouli 页数:4613 - 46334) 模糊参数期权定价模型的守恒定律和精确解作者:Mohamma

伊曼纽尔·康德 (Immanuel Kant) 的每日名言:“敢于求知!有勇气运用自己的……”——意义、独立思考的重要性和人生教训

Quote of the Day by Immanuel Kant: “Dare to know! Have the courage to use your own...” — meaning, importance of independent thinking and life lessons

伊曼纽尔·康德 (Immanuel Kant) 的每日名言:伊曼纽尔·康德 (Immanuel Kant) 富有洞察力的名言拥护独立思考的价值以及利用个人推理能力的重要性。它提倡探究文化,鼓励个人批判性地评估信息,而不是盲目接受信息。这一理念促进了知识自由,并使个人能够做出明智的决定。最终,它通过多样化的学习经历激发对知识的勇敢追求。

倒排索引遍历的 P 完备性:论评估布尔查询 DAG 的复杂性

The P-Completeness of Inverted Index Traversal: On the Complexity of Evaluating Boolean Query DAGs

现代人工智能代理越来越依赖搜索基础设施来执行复杂的神经符号推理工作流程。这些工作流程通常编译成对文本字段的深度嵌套、非单调布尔查询。然而,在处理这些结构时,倒排索引的标准查询评估策略面临着严格的理论限制。有状态迭代器模型(一次文档)在结构上受到 NC^1 公式评估的限制,在展开重新收敛逻辑时,查询复杂性会遭受最坏情况的 O(2^|Q|) 指数爆炸。相反,递归物化模型......

GRPO 超越英语:非英语和多语言环境中 GRPO 的大规模研究

GRPO Beyond English: A Large-Scale Study of GRPO in Non-English and Multilingual Settings

带可验证奖励的强化学习 (RLVR) 通常通过组相对策略优化 (GRPO) 进行优化,已成为提高预训练语言模型推理能力的核心方法,但目前的研究仍然主要以英语为中心。我们对多语言和非英语 GRPO 进行了大规模的实证研究,涉及广泛的基础模型、训练语言和不同的推理语言奖励。我们发现,母语推理训练通常与英语推理训练差距很小。我们进一步观察到强...

欧几里得每日名言:“理所当然,相等的事物是……”——希腊数学家和几何学之父的发人深省的名言,讲述了关于平等、逻辑以及为什么清晰的思维在日常生活中很重要的鼓舞人心的人生课程

Quote of the day by Euclid: 'Let it be granted that things which are equal to the same thing are...' - thought-provoking quote by Greek mathematician and father of geometry teaches inspiring life lessons on equality, logic and why clear thinking matters in daily life

欧几里得每日名言:欧几里得关于平等的名言提供了简单而深刻的人生教训。这个古老的数学公理指出,相同的事物是相等的。他的基础著作《几何原本》、结构化几何和系统的数学推理。欧几里得的演绎推理方法影响了数学家两千年。

[古鱼类学 • 2026] Bataspis crux • 一种产自云南 Lochkovian 的无颌茎颌类动物,其头部呈蝙蝠翼状,适合水动力效率

[PaleoIchthyology • 2026] Bataspis crux • A galeaspid (jawless stem gnathostome) from the Lochkovian of Yunnan with a batwing-shaped head adapted for hydrodynamic efficiency

Bataspis cruxMeng, Ferrón, Pisani, Gai & Donoghue, 2026 DOI: doi.org/10.1111/pala.70081生命恢复,作者:Dinghua Yang.AbstractGaleaspids 是来自中国志留纪-泥盆纪和越南北部的一种已灭绝的无颌鱼类,对于了解脊椎动物解剖创新的起源至关重要。一种新的真甲藻,Bataspis crux gen.等11月,是根据来自中国云南曲靖的洛赫科阶(早泥盆世)西山村组的化石材料进行描述的。 Bataspis crux具有一系列不寻常的特征,特别是其蝙蝠翼状的角突与无喙突的帽檐状吻缘无缝结合,构成了甲

NVIDIA 开放 Alpamayo 2 Super 商用

NVIDIA opens Alpamayo 2 Super for commercial use

NVIDIA 刚刚免费提供了最强大的自动驾驶 AI,供任何人使用。 Alpamayo 2 Super 将多模态感知、推理、轨迹规划和动作生成结合在一个模型中,同时还生成可用于训练和评估其他自动驾驶系统的数据。