每日HackerNews RSS

虽然大语言模型(LLM)从技术上讲是通过自回归方式输出词元(token)的“下一个词元预测器”,但这种定义是不完整的。它准确描述了其“机制”(即循环的形式),却未能涵盖模型实际在“做什么”。 在预训练阶段,模型通过模仿训练数据中已有的序列来进行学习。然而,现代的后训练技术——特别是带有可验证奖励的强化学习(RLVR)——从根本上改变了这种动态。模型不再仅仅是预测数据集中接下来会出现什么文本,而是开始探索新的序列,并强化那些能带来成功结果的序列。 作者用国际象棋做类比来阐明这一点:一个预测大师走法的系统只是“下一步棋预测器”,但一个通过评估棋局位置以最大化胜率的引擎则是一个“战略求解器”。同样地,现代大语言模型利用“下一个词元”循环作为载体,其所编码的内容远超简单的模仿;它们模拟出乐于助人的助手,并运用通过主动探索所获得的知识。归根结底,将先进的大语言模型仅仅描述为“下一个词元预测器”,是将工具的形式误认为是其功能,忽略了蕴含在过程中的推理及目标导向行为。

Hacker News 上的讨论揭示了关于将大语言模型(LLM)描述为“下一个词预测器”(next-token predictors)这一观点存在的巨大分歧。 批评该标签的人认为,这是一种试图淡化人工智能涌现能力的简化论。他们将这种表述比作仅仅把人类意识描述为生物“电路”,或者声称复杂的多细胞生命只是“下一次有丝分裂”的优化。他们认为,现代“代理”系统——利用递归循环、工具使用和强化学习——已经超越了其架构简单的统计预测本质。 相反,另一些人坚持认为该术语在技术上是准确的。他们认为,无论训练、强化学习或推理变得多么复杂,其核心机制仍然是计算下一个词概率分布的数学过程。虽然一些人认为这种简单的基础通过数据压缩产生了涌现出的“智能”,但怀疑论者认为,将这些机械过程与真正的理解或“正确性”混为一谈是一种危险的范畴错误。最终,许多参与者得出的结论是:尽管大语言模型在概念上只是简单的下一个词预测器,但它们代表了一种难以被简单定义的强大且复杂的系统。

Mullvad 即将停止其公共加密 DNS (DoH) 服务,转而支持 Quad9 基金会。Mullvad 指出,由于其 VPN 已在内部处理 DNS 请求,因此其自有的公共服务器对于 VPN 用户而言已是多余。 对于在 VPN 之外使用 Mullvad DNS 的用户,转换方式如下: * **Mullvad 浏览器:** 使用默认设置的用户将自动迁移至 Quad9。自定义了 DNS 设置的用户必须在 2026 年 11 月 2 日前手动切换至 Quad9。 * **手动配置:** 手动配置了 Mullvad DoH 的用户必须在 2026 年 11 月 2 日前切换至 Quad9。 * **iOS/macOS 描述文件:** 现有的 Mullvad DoH 描述文件将停止工作;用户必须将其替换为 Quad9 的官方描述文件。 Mullvad 正将资源转向资助 Quad9,并称赞该基金会在以隐私为重点的 DNS 领域拥有行业领先的专业能力。建议用户参考 Quad9 的官方文档以完成迁移。

Mullvad 宣布关闭其公共加密 DNS 服务。该公司解释称,运营以隐私为核心的 DNS 解析器是一项高度专业化的任务,与其重复投入,不如在财务上支持行业领先的 Quad9 基金会,这样更为有效。 这一决定在 Hacker News 社区引发了褒贬不一的反应。一些用户称赞此举是务实的资源再分配,但另一些用户则感到失望,并指出对于那些 Quad9 等大型服务商遭到封锁的地区的各类用户而言,小型替代方案至关重要。此外,部分用户对此次过渡提出了技术层面的担忧,特别是指出 Quad9 服务缺乏原生的广告拦截功能,并就 DNSSEC 实现的复杂性展开了讨论。

Hayes 指令集(或称 AT 指令集)由 Dale Heatherington 和 Dennis Hayes 于 1981 年开发,彻底改变了调制解调器的控制方式。在此之前,调制解调器需要手动拨号或配备单独的硬件外设来实现连接自动化。Hayes Smartmodem 引入了一种基于软件的解决方案,允许计算机通过现有的数据引脚发送指令字符串。 该系统通过转义序列(通常为“+++”)在“数据模式”(传输信息)和“命令模式”(将输入解释为指令)之间切换。以“AT”为前缀的命令可实现拨号、挂断以及配置内部内存寄存器等功能。 尽管该指令集最初是为 300 波特率的调制解调器设计的,但它后来成为了行业标准。随着技术的发展,各厂商又增加了扩展指令(以“&”为前缀)和私有指令。尽管不同制造商之间的指令存在差异,偶尔会导致兼容性问题,但 Hayes 标准在整个调制解调器时代始终占据主导地位。它最终被 ITU-T 正式确立为 V.250 标准。如今,AT 指令集的遗产依然存在,许多现代移动设备和 3G/4G/5G 调制解调器在配置和网络管理中仍在使用类似的指令结构。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Hayes AT指令集 (wikipedia.org)15分 由 0xbadcafebee 1小时前发布 | 隐藏 | 往期 | 收藏 | 1条评论 帮助 nunez 30分钟前 [–] 如果你有移动热点的话,了解这个依然有用。GSM 在很多方面都会用到 AT 指令。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

松本清张 1957 年的推理小说《点与线》(原名《点と线》)以一名年轻女子和一名政府官员在日本海滩被发现的离奇死亡案件为核心。尽管当地警方将此案定性为殉情,但一张被忽略的餐车收据促使鸟饲重太郎探长和东京警视厅的三原纪一警部展开深入调查。随着他们揭开政治腐败的重重黑幕,两人发现自己陷入了一个涉及列车时刻表、渡轮名单和完美不在场证明的复杂逻辑迷局。 这部小说以其精巧、严谨的时间线布局而闻名,其灵感源于松本清张本人对铁路时刻表的浓厚兴趣。有趣的是,该书背后的创作过程几乎与小说情节一样戏剧化。当时,松本清张同时进行着四部作品的连载,频频拖延截稿日期。负责连载的《旅》杂志社编辑们在得到日本交通公社的协助下,甚至不惜追踪并“软禁”作者,强迫他完成书稿。这部由此产生的杰作引起了巨大的轰动,销量突破百万册,并将松本清张在日本推理小说界的泰斗地位推向了顶峰。

Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录因书稿逾期被捕:松本清张的《点与线》(millersbookreview.com)8 分,由 benbreen 在 1 小时前发布 | 隐藏 | 往期 | 收藏 | 1 条评论帮助 charcircuit 6 分钟前 [–] >“殉情”这一恋人共同结束生命的传统 恋人自杀并非一种传统。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

正在检查您的浏览器……需要 JavaScript。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Rust React 编译器现已原生支持 Vite (master.dev)14 分,发布者:acusti,1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论帮助 glouwbug 3 分钟前 | 下一条 [–] 他们应该用 Rust 重写它回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

Anthropic 的研究人员首次完成了费马大定理(FLT)的计算机校验形式化。利用 Lean 编程语言,Claude 在几乎完全自主的情况下,仅用 11 天时间就得出了一个端到端的证明。这一里程碑式的成果涉及编写 1300 万行代码并证明了 29,500 个中间定理。 该项目使用了“Prove2Me”,这是一个旨在管理复杂、多智能体数学工作流的协作平台。通过将庞大的任务拆解为更小、可验证的部分并保持逻辑结构,Claude 成功复刻了安德鲁·怀尔斯(Andrew Wiles)在 1995 年的标志性证明。形式化领域领军人物、数学家凯文·巴扎德(Kevin Buzzard)证实,该证明完全基于数学公理。 这一成就标志着“自动形式化”的重大进步。传统上,验证复杂证明需要人类专家耗费数年时间,且容易出现疏漏。自动化这一过程可以通过快速、严谨地验证新成果并减轻人类同行评审的负担,从而改变数学研究。随着人工智能生成更多的证明,此类工具对于维护数学体系的完整性和可信度将至关重要,确保未来发现的基石依然稳固。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 形式化证明费马大定理 (anthropic.com) 34 点,由 jlebar 发布于 17 分钟前 | 隐藏 | 过往 | 收藏 | 4 条评论 帮助 lalitmaganti 3 分钟前 | 下一条 [–] 我建议也读一下 Kevin Buzzard 刚发布的博客文章:https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... 这篇文章对这一成就及其意义(以及局限性)提供了很好的背景信息。 回复 andrewla 2 分钟前 | 上一条 | 下一条 [–] 哇——看起来多亏了 Claude,Lean 在 https://www.cs.ru.nl/~freek/100/ 上又勾掉了一项。 回复 kristjansson 0 分钟前 | 上一条 | 下一条 [–] 好吧,是时候放下玻璃珠,潜入高山湖泊了。 回复 kdavis 4 分钟前 | 上一条 [–] 令人印象深刻!Buzzard 的团队[1] 被抢先了。 [1] https://github.com/ImperialCollegeLondon/FLT 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

伟大的作品很少源于一时的顿悟,它们往往是数十年反复打磨的结晶。 计算机科学家斯蒂芬·罗伯逊(Stephen Robertson)花费了近二十年的时间来完善搜索算法。从1976年开始,他通过强调词项区分度来挑战当时主流的检索理论,并在一篇篇论文中不断迭代,最终在1994年发布了经典的BM25算法。通过整合词频和文档长度等要素,他将早期的概率基础转化为了行业标准。 同样,艺术家葛饰北斋也是在经过四十年的专注磨砺后,才创作出了他的代表作《神奈川冲浪里》。他在73岁时曾感叹,自己对自然的终身研究仍在演进,并将自己的艺术生涯视为一场通往“神圣境界”的无止境攀登。 这些例子揭示了一个共同的模式:无论是技术还是艺术,精通都是一个缓慢且积累的过程。真正的突破并非来自突如其来的灵感,而是源于一生中不断重温、精炼并深化核心理念的耐心。

这篇 Hacker News 帖子探讨了在创造性和智力追求中,长期坚持的价值。 讨论围绕一篇博文展开,该文指出重大的精通往往需要数十年的专注投入。评论者们列举了这种“慢热型”成功的例子: * **历史背景:** 一位贡献者纠正了原作者的归属错误,指出标志性的《神奈川冲浪里》是葛饰北斋的作品,而非“神奈川”,并强调达到这种造诣是一个终身的过程。 * **技术批评:** 另一位用户指出原作者未能引用信息检索领域的基础性学术著作,认为其忽略了词频饱和这一细微差别。 * **案例与哲学:** 参与者列举了 J.R.R. 托尔金等奇幻作家,将其作为深度、跨度数十年的世界构建的典范。 讨论最后得出哲学性的观察:许多人未能意识到高质量的作品往往需要数十年的酝酿,只有那些见证过退休生活或小众社区中长期项目缓慢进展的人,才能真正理解这一观点。

在尝试训练小型、低效的大语言模型(LLM)来自动化终端任务后,作者得出结论:对于简单的工作流,机器学习往往是不必要且浪费的。这一认识促成了 **TERMy** 的诞生,这是一个基于名为 **NPC-Forge** 的新框架构建的确定性轻量级终端助手。 与笨重的自然语言理解(NLU)框架(如 Rasa)或资源密集型的大语言模型不同,NPC-Forge 使用结构化数据集格式(NDF)来定义命令、意图和变量映射,无需进行训练。通过利用多阶段的噪声过滤解析器——从精确匹配到基于 IDF 加权的莱文斯坦距离(Levenshtein distance)——TERMy 能够在包括微控制器在内的极简硬件上即时执行任务。 该项目旨在摒弃针对琐碎操作的昂贵且受企业控制的人工智能,转而推崇一种民主、透明且节能的替代方案。TERMy 和 NPC-Forge 允许用户构建并共享可在本地运行的、可预测的自定义代理。作者承认该代码尚处于早期开发阶段,并邀请社区贡献力量以完善这些确定性代理的安全性与功能,主张未来的交互界面应依赖于本地的、基于规则的系统,仅在万不得已时才调用大语言模型。

**TERMy** 是一款高速、确定性的终端助手,它无需依赖大语言模型(LLM)、机器学习或神经网络,即可将自然语言翻译为 Shell 命令。该工具由开发者 Gioblu 创建,基于 **NPC-Forge** 框架构建,旨在低功耗硬件(如树莓派 Zero)上高效运行。 TERMy 没有使用资源密集型 AI 模型,而是采用了一个轻量级的 NLU(自然语言理解)管线(约 1,000 行 Python 代码),通过逆文档频率(IDF)、词袋模型(BOW)和加权编辑距离(Levenshtein distance)来解析用户指令。这种方法确保了毫秒级的响应速度,并消除了大语言模型常见的非确定性行为。 主要功能包括: * **隐私与安全:** 内置权限门控机制,防止执行破坏性命令。 * **高性能:** 低 CPU 占用,支持在终端或浏览器中本地运行。 * **可靠性:** 通过避免“概率性”生成,TERMy 为 AI 驱动的命令助手提供了一种一致且可预测的替代方案。 该项目目前已开源。开发者强调,对于希望简化终端工作流程、且不愿承担当前 AI 模型高昂成本或复杂性的用户来说,这是一个高效且注重隐私的解决方案。

周四上午,包括 OpenAI 的 ChatGPT、Anthropic 的 Claude 和 xAI 的 Grok 在内的多家主流人工智能平台几乎同时发生服务中断,但各平台的故障基本互不关联。 尽管发生的时间点引发了外界对于第三方基础设施出现共同故障的猜测,但 AWS 和 Azure 等大型供应商均报告称未发现异常。各公司分别对其服务中断情况作出了说明: * **xAI** 将 Grok 的服务中断归因于其孟菲斯计算中心的技术问题,并提到与 SpaceX 的合作。 * **OpenAI** 表示“路由错误”导致 ChatGPT 和 Codex 暂时无法使用,该问题在 35 分钟内得到解决。 * **Anthropic** 的多款 Claude 模型出现了“错误率升高”的情况,公司已迅速部署修复程序。 尽管这些中断发生的时间非常接近,但 OpenAI 和 Anthropic 均未提及共同的外部原因。此外,虽然部分用户报告 Google 的 Gemini 也出现问题,但该公司并未证实存在任何服务中断。到了上午中期,所有服务均已恢复正常运行。

Hacker News 上近期的一场讨论引发了对 OpenAI 和 Anthropic 同时发生服务中断的猜测。尽管两家公司给出了相对常规的解释——OpenAI 归咎于“路由错误”,而 Anthropic 称特定模型出现“错误率升高”——但缺乏详尽细节激起了用户间的激烈讨论。 许多评论者倾向于平凡的技术性解释,例如连锁故障。该理论认为,当一家服务商宕机时,用户会涌向竞争对手,从而导致系统超载并引发连锁反应。另一些人则指出,这些公司过往不稳定的运行记录证明此类问题只是正常的运营小故障,而非异常事件。 然而,讨论中有相当一部分内容偏向了阴谋论。一些用户质疑这些中断是否与政府监控有关,并提到了有关美国国家安全局(NSA)监控数据流和拦截加密流量的历史性揭秘。这些理论的怀疑者则认为,根据奥卡姆剃刀定律,常见的架构漏洞或简单的扩展挑战比国家背景的干预更合乎情理。归根结底,此次讨论反映出 AI 提供商普遍缺乏透明度,迫使用户只能在技术解释和对驱动 AI 服务的“黑箱”架构的不信任之间做出选择。

在 Hugging Face 被 NVIDIA 收购后,*llama.cpp* 项目重申了其核心使命。作为该项目的长期贡献者,NVIDIA 将继续支持代码库的维护与社区发展。 尽管建立了新的合作伙伴关系,*llama.cpp/ggml* 仍将严格保持硬件无关性。该项目将继续由社区驱动,坚持开源和独立的本质,以确保所有人都能高效地使用 AI 技术。通过整合 Hugging Face 和 NVIDIA 的支持,团队旨在加快实现其长期目标,即让尖端 AI 技术惠及每一个人。

抱歉。

更多

联系我们 contact @ memedata.com