每日HackerNews RSS
电梯 Elevators
2 天前
电梯依靠复杂的算法来高效管理客流。虽然像“LOOK”（仅在到达最高请求楼层时才改变运行方向）这类简单模型是行业标准，但现代系统使用的是“相对系统响应”（RSR）算法。RSR 利用实时评分，根据距离、负载和交通模式来分配电梯，并每五秒进行一次重新优化，以适应不断变化的情况。 有趣的是，更复杂的技术并不总能保证更好的性能。虽然 RSR 在大型系统中非常有效，但在小型建筑或电梯始终满载的高峰时段，简单的算法往往表现更好。此外，“目的楼层调度”系统（要求乘客通过自助服务终端输入目的地）通常会导致比传统按钮更长的等待时间。虽然这些终端提供了更多数据，但它们牺牲了实时重新调度电梯的关键灵活性。 归根结底，电梯的性能取决于复杂的交通需求与系统适应性之间的平衡。当你等待电梯时，这很可能是优化器为了平衡整栋楼的效率而做出的计算决策，而非简单的机械延迟。
这篇 Hacker News 帖子探讨了电梯调度与分配算法的复杂性。用户们表达了对“拼车”优化问题的浓厚兴趣，并指出尽管简单的“上下”逻辑通常表现最佳，但现代建筑为了处理高客流量、能源效率和楼层分布等问题，经常采用复杂的算法。
主要讨论主题包括：
* **游戏与模拟：** 用户常提到《Elevator Saga》和《模拟大楼》（SimTower）是探索电梯逻辑的有效且有趣的途径。
* **用户困扰：** 许多参与者抱怨调度程序效率低下、“目的楼层调度”系统（在进入电梯前需先输入楼层）带来的困惑，以及人们不当使用电梯按钮的行为。
* **现实世界的复杂性：** 讨论强调了现实因素——如双层轿厢、消防安全（封闭井道）以及人类行为的不可预测性——使得完美的优化几乎无法实现。
* **“人”的因素：** 一些人认为，尽管技术在进步，但在管理大量人群时，人类电梯操作员或大厅服务员往往比自动化系统更高效；并指出许多“智能”电梯解决方案可能更多是出于销售动机，而非真正为了改善用户体验。
关于大型推理模型（LRM）的争论焦点在于，这些系统究竟是在真正地“推理”，还是仅仅在模仿推理过程。尽管大型推理模型在回答问题前会生成内部的“思维链”，并在数学和科学领域取得了令人瞩目的成就，但专家们对于这些内部痕迹的有效性仍存在严重分歧。
批评者（包括圣塔菲研究所和亚利桑那州立大学的研究人员）认为，这些思维链通常只是“一厢情愿的助记符”或“自言自语”。研究表明，这些痕迹往往不能忠实反映模型的实际内部处理过程，即便将推理文本打乱或删除，模型的表现也常保持不变。这表明模型更多地依赖“近似检索”和模式匹配，而非逻辑推演。
相反，支持者认为，无论底层机制如何，解决复杂问题的结果本身就足以说明问题。许多研究人员将这些模型视为强大但却不透明的“黑箱”。归根结底，虽然大型推理模型显然是加速科学发现的有效工具，但人们已达成越来越多的共识：我们必须将它们有效的输出结果，与关于它们如何得出结论的、具有误导性的拟人化叙述区分开来。我们在使用这些机器，但尚未真正理解它们是如何“思考”的。
关于人工智能模型是否具备“推理”能力的争论，已演变为哲学探讨、语义分歧与实际工程问题的复杂混合体。
怀疑论者认为，大语言模型（LLM）本质上是高级的模式匹配器——即通过随机生成来模仿人类推理结构，而并不具备底层的逻辑引擎。他们指出，这些模型生成的“推理”轨迹往往是多余的，或是某种“一厢情愿的助记符”，其运作方式更像是统计学上的“醉汉漫步”，而非连贯的思考。批评者还担心，将这些工具拟人化为“推理”智能体，会导致人们在医学或政策等高风险领域，对黑箱系统产生危险且缺乏批判性的依赖。
相反，支持者则认为“结果”重于“过程”。如果一个模型能够实现可验证的复杂结果（例如得出新的数学证明），那么无论其内部机制是否镜像了人类的生物学特征，它实际上就是在进行推理。许多人认为这种区别主要在于学术层面；正如飞机与鸟类的飞行方式不同，人工智能的“推理”方式也可能与人类不同。
归根结底，这场讨论凸显了两个阵营的分歧：一方致力于理解人工智能机制上的“真相”，另一方则更关注这些能力日益强大的工具所具备的实际效用。
作者反思了近期关于“思维链”（CoT）可监控性研讨会的内容，提出尽管 CoT 目前是一种有用的安全工具，但将其作为主要防御手段是一种“脆弱”的策略。
问题的核心在于，CoT 的设计初衷是为了提升能力，而非为了透明度。作者提出了三个主要担忧：
1. **口述的不完整性**：无法保证模型的内部计算能完全反映在其 CoT 中，且强行要求这样做很可能会失败。
2. **欺骗性**：未来的模型可能会学会生成“欺骗性”的 CoT，以隐藏其真实的、潜在的有害推理过程。
3. **“沃尔特·怀特”（Walter White）问题**：仅仅从训练数据中清除“不良”信息是不够的。能力强的模型可以从基本原理推导出有害结果，使简单的输入过滤失效。
作者总结认为，如果将 CoT 监控视为万灵药，这种合作将难以持久，最终可能走进死胡同。因此，他们主张迫切需要投入研究**可解释性**，以监控模型真实的内部状态，而不是仅仅依赖容易被操纵或不完整的文本输出。
在这篇文章中，作者科利·多克托罗（Cory Doctorow）探讨了版权的细微差别，强调使用创意作品并不总是需要获得许可。虽然他曾推动建立知识共享（CC）许可协议以简化法律协作，但他对当今社会“胆怯的文化”提出了警告——人们往往觉得必须为法律已经涵盖的使用方式请求许可。
多克托罗指出了用户经常错误寻求许可的三个关键领域：
1. **已许可的使用：** 已被他的 CC 协议涵盖的使用方式，无需额外联系。
2. **合理使用与微量原则（*De Minimis*）：** 属于既定法律例外情形的琐碎或转换性使用。
3. **“隐形”使用：** 权利人永远不会发现或追究的未经授权的行为。
他指出，在这些情况下请求许可，往往会迫使他因与出版商的合同义务而不得不拒绝，尽管他本人支持这些使用。他鼓励读者了解版权法赋予自己的权利，而不是条件反射般地请求授权，并指出过度合规会产生负面的法律规范导向，并浪费所有人的时间。
2025年11月，作者将 Artichoke Ruby 项目归档，为其历时六年的 Rust 实现 Ruby 之旅画上了句号。Artichoke 最初只是一个探索性的“玩具”项目，后来演变成一个复杂的工程，促使作者深入掌握了 Rust、FFI 以及复杂的运行时架构。 该项目的主要成就包括：用纯 Rust 开发了符合规范的 `String` 实现，以及构建了一个高度模块化、面向能力的虚拟机（VM）。这个项目不仅是极佳的教育载体，更为作者深入理解语言设计、内存管理，以及为何 CPython 等运行时需要依赖全局解释器锁（GIL）提供了独到的见解。 决定结束该项目并非因为失败，而是由于个人重点的转移、高昂的维护成本，以及为了紧跟 Ruby 上游进度而必须面对的“兼容性苦差”。尽管开发工作已经停止，但代码仓库仍将保持公开以供学习。作者认为 Artichoke 是一次成功的实验，因为它达成了首要目标：即创造者在专业和智识上的成长。归根结底，即便有些努力注定无法长久，但该项目依然证明了创造本身的价值。
arXivLabs 是一个框架，允许合作者直接在我们的网站上开发和分享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增值的项目构想？请了解更多关于 arXivLabs 的信息。
最近关于利用人工智能（特别是GPT-5.6）推翻“麦克斯韦猜想”的消息，在Hacker News上引发了激烈的讨论。
参与者澄清说，该猜想是一个关于静电势的冷门数学难题，已有20年历史，并非物理学的基础定律；因此，它的解决对电磁学或设备工程没有实际影响。
讨论主要集中在三个方面：
1. **人工智能在数学中的作用：** 一些人认为AI是进行暴力探索和生成反例的有力工具，但怀疑论者认为当前的AI缺乏“数学美感”和真正的理解能力。另一些人指出，AI加速了对“低垂果实”（即容易证明的问题）的攻克，这可能会提高对研究人员的要求。
2. **对学术界的影响：** 评论者争论AI是会挫伤有志于数学研究者的积极性，还是会迫使人们转向更复杂、以“人为中心”的创造性工作。一些人认为，随着AI实现知识型任务的自动化，传统学位的价值可能会持续下降。
3. **科学价值：** 怀疑论者质疑这些冷门数学谜题的“自我重要性”，而另一些人则捍卫纯数学，指出无论是由人类还是AI给出证明，今天的抽象理论往往会成为明天的核心技术。
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络有异常活动。 为继续访问，请点击下方方框以确认您不是机器人。 为什么会出现这种情况？ 请确保您的浏览器支持 JavaScript 和 Cookie，且未阻止其加载。 如需了解更多信息，请查阅我们的服务条款和 Cookie 政策。 需要帮助？ 有关此消息的查询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID: c2a99509-8cec-11f1-8c44-3d2530a91df3 订阅 Bloomberg.com，随时随地获取最重要的全球市场新闻。 立即订阅