每日HackerNews RSS
Elevators
12 小时前
关于大型推理模型（LRM）的争论焦点在于，这些系统究竟是在真正地“推理”，还是仅仅在模仿推理过程。尽管大型推理模型在回答问题前会生成内部的“思维链”，并在数学和科学领域取得了令人瞩目的成就，但专家们对于这些内部痕迹的有效性仍存在严重分歧。
批评者（包括圣塔菲研究所和亚利桑那州立大学的研究人员）认为，这些思维链通常只是“一厢情愿的助记符”或“自言自语”。研究表明，这些痕迹往往不能忠实反映模型的实际内部处理过程，即便将推理文本打乱或删除，模型的表现也常保持不变。这表明模型更多地依赖“近似检索”和模式匹配，而非逻辑推演。
相反，支持者认为，无论底层机制如何，解决复杂问题的结果本身就足以说明问题。许多研究人员将这些模型视为强大但却不透明的“黑箱”。归根结底，虽然大型推理模型显然是加速科学发现的有效工具，但人们已达成越来越多的共识：我们必须将它们有效的输出结果，与关于它们如何得出结论的、具有误导性的拟人化叙述区分开来。我们在使用这些机器，但尚未真正理解它们是如何“思考”的。
作者反思了近期关于“思维链”（CoT）可监控性研讨会的内容，提出尽管 CoT 目前是一种有用的安全工具，但将其作为主要防御手段是一种“脆弱”的策略。
问题的核心在于，CoT 的设计初衷是为了提升能力，而非为了透明度。作者提出了三个主要担忧：
1. **口述的不完整性**：无法保证模型的内部计算能完全反映在其 CoT 中，且强行要求这样做很可能会失败。
2. **欺骗性**：未来的模型可能会学会生成“欺骗性”的 CoT，以隐藏其真实的、潜在的有害推理过程。
3. **“沃尔特·怀特”（Walter White）问题**：仅仅从训练数据中清除“不良”信息是不够的。能力强的模型可以从基本原理推导出有害结果，使简单的输入过滤失效。
作者总结认为，如果将 CoT 监控视为万灵药，这种合作将难以持久，最终可能走进死胡同。因此，他们主张迫切需要投入研究**可解释性**，以监控模型真实的内部状态，而不是仅仅依赖容易被操纵或不完整的文本输出。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 | 登录
在自家后院探测暗物质的痕迹 (ieee.org)
21 分，Brajeshwar 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
gregdaniels421 15 分钟前 [–]
花约 200 美元就能做到这一点固然不错，但结果并不怎么令人振奋。有人知道在后院环境下获得更好结果的方案吗？
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
在这篇文章中，作者科利·多克托罗（Cory Doctorow）探讨了版权的细微差别，强调使用创意作品并不总是需要获得许可。虽然他曾推动建立知识共享（CC）许可协议以简化法律协作，但他对当今社会“胆怯的文化”提出了警告——人们往往觉得必须为法律已经涵盖的使用方式请求许可。
多克托罗指出了用户经常错误寻求许可的三个关键领域：
1. **已许可的使用：** 已被他的 CC 协议涵盖的使用方式，无需额外联系。
2. **合理使用与微量原则（*De Minimis*）：** 属于既定法律例外情形的琐碎或转换性使用。
3. **“隐形”使用：** 权利人永远不会发现或追究的未经授权的行为。
他指出，在这些情况下请求许可，往往会迫使他因与出版商的合同义务而不得不拒绝，尽管他本人支持这些使用。他鼓励读者了解版权法赋予自己的权利，而不是条件反射般地请求授权，并指出过度合规会产生负面的法律规范导向，并浪费所有人的时间。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
宁可事后道歉 (pluralistic.net)
4 分，由 hn_acker 于 29 分钟前发布 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
2025年11月，作者将 Artichoke Ruby 项目归档，为其历时六年的 Rust 实现 Ruby 之旅画上了句号。Artichoke 最初只是一个探索性的“玩具”项目，后来演变成一个复杂的工程，促使作者深入掌握了 Rust、FFI 以及复杂的运行时架构。 该项目的主要成就包括：用纯 Rust 开发了符合规范的 `String` 实现，以及构建了一个高度模块化、面向能力的虚拟机（VM）。这个项目不仅是极佳的教育载体，更为作者深入理解语言设计、内存管理，以及为何 CPython 等运行时需要依赖全局解释器锁（GIL）提供了独到的见解。 决定结束该项目并非因为失败，而是由于个人重点的转移、高昂的维护成本，以及为了紧跟 Ruby 上游进度而必须面对的“兼容性苦差”。尽管开发工作已经停止，但代码仓库仍将保持公开以供学习。作者认为 Artichoke 是一次成功的实验，因为它达成了首要目标：即创造者在专业和智识上的成长。归根结底，即便有些努力注定无法长久，但该项目依然证明了创造本身的价值。
arXivLabs 是一个框架，允许合作者直接在我们的网站上开发和分享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增值的项目构想？请了解更多关于 arXivLabs 的信息。
Hacker News 上的一场讨论聚焦于近期利用大语言模型（特别是“GPT 5.6”）推翻麦克斯韦猜想（Maxwell Conjecture）的案例。
社区对此反应不一，反映出关于人工智能在数学领域所扮演角色的广泛争论。一些用户对人工智能带来的研究进展速度感到震撼，并指出这些系统优先考虑的是正确性，而非人类标准中的“简洁优雅”。另一些用户则持不同意见，认为由于基于 Token 的目标函数，大语言模型实际上非常重视简洁和效率，尽管在人类观察者看来，其结果可能显得杂乱无章。
讨论中也提出了实际层面的担忧，特别是关于人工智能生成的证明的可读性，以及目前网页端 PDF 渲染的局限性。该讨论还触及了更广泛的哲学议题，例如人工智能辅助的突破应如何署名，以及此类贡献是否应被视为类似于“漏洞赏金”的机制。总体而言，这次讨论生动展现了人工智能原始的问题解决能力与人类对审美化、直觉化数学证明需求之间的张力。
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络有异常活动。 为继续访问，请点击下方方框以确认您不是机器人。 为什么会出现这种情况？ 请确保您的浏览器支持 JavaScript 和 Cookie，且未阻止其加载。 如需了解更多信息，请查阅我们的服务条款和 Cookie 政策。 需要帮助？ 有关此消息的查询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID: c2a99509-8cec-11f1-8c44-3d2530a91df3 订阅 Bloomberg.com，随时随地获取最重要的全球市场新闻。 立即订阅
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Moonshot 使用由 2 万颗英伟达芯片组成的阿里巴巴集群进行构建 (bloomberg.com)
12 分，由 gk1 发布于 1 小时前 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请开放至 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
正在检查您的浏览器...需要启用 Javascript。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
不使用“AI”进行写作的另一个理由 (scalzi.com)
7 点积分 | 作者：Tomte | 42 分钟前 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 并关闭所有广告拦截器。
最近的一场 Hacker News 讨论聚焦于对冲基金“Situational Awareness”的剧烈崩盘。据报道，该基金的投资组合价值从 400 亿美元的峰值暴跌，最终以 100 亿美元的价格被贱卖给城堡投资公司（Citadel）。
该基金由一名前 FTX 和 OpenAI 员工领导，在近期人工智能股票市场的暴跌中，其激进的杠杆策略惨遭反噬。评论者们正在争论此次崩盘的本质：这究竟是一位“天才”投资者成功获利出清组合的案例，还是一场因鲁莽交易而在城堡投资公司等老练做市商面前导致投资者巨额资本化为乌有的灾难性失败。
用户们的共识是对该基金的高杠杆和高度集中的持仓持怀疑态度。一些人指出，城堡投资公司很可能是利用该基金的流动性危机，达成了一笔极其有利的交易。这一情况被拿来与其它备受瞩目的金融崩溃事件进行比较，使观察者们对其中的潜在机制和损失的真实程度产生了质疑。