## 研究级数学难题的新解法：RMA 智能体框架 近日，一篇发表在 arXiv 上的论文提出了 **Research Math Agents (RMA)**，一个专为研究级数学问题设计的自动化推理智能体框架。与以往聚焦于竞赛数学或形式化定理证明的研究不同，RMA 瞄准的是需要**长程推理、文献支撑和迭代证明优化**的真正研究级难题。 ### 从竞赛到研究：AI 数学能力的跃迁 过去几年，AI 在数学领域的进展主要集中在两类任务：一是 IMO 级别的竞赛题，二是用 Lean、Coq 等工具进行形式化定理证明。然而，这些任务与数学家的日常研究仍有显著差距——研究级问题往往没有清晰边界，需要查阅大量文献、形成猜想、反复试错，最终写出可被同行理解的证明。RMA 正是为了弥合这一鸿沟而设计。 ### RMA 的架构：多角色协作的智能体系统 RMA 将研究级证明求解分解为多个专门模块： - **问题分析**：理解问题陈述，识别关键概念和难点。 - **文献检索与理解**：自动搜索相关论文，提取有用引理和方法。 - **公平比较**：确保不同思路的候选方案得到客观评估。 - **知识库构建**：将中间结论和已知结果组织成结构化知识。 - **证明验证**：检查逻辑正确性和完整性。 这些模块由三类智能体协调：**初始化者（Initializer）**、**提出者（Proposer）** 和 **验证者（Verifier）**。它们通过共享的结构化记忆进行多轮交互，共同生成、优化和验证候选证明。 ### 性能表现：在 First Proof 基准上超越 GPT-5.2R 研究团队在 **First Proof 基准**上评估了 RMA，该基准包含由专家数学家贡献的十个跨领域研究级问题。经过全面的专家评估，RMA 成功解决了其中**八个问题**，表现优于 GPT-5.2R 和 Aletheia 等强基线。而且，RMA 生成的证明在**逻辑严密性和可读性**上均获得更高评价。 ### 为什么 RMA 能成功？ 消融实验表明，RMA 的性能提升并非来自单一组件，而是**结构化推理模块、迭代优化和验证者反馈**三者协同作用的结果。例如，移除文献搜索模块后，模型在处理需要引用经典定理的问题时明显退化；而关闭验证者反馈循环，则会导致证明中出现更多逻辑漏洞。 ### 意义与展望 RMA 的意义不仅在于它解出了几道难题，更在于它展示了一条 **AI 辅助数学研究**的可行路径。未来，这样的系统或许能帮助数学家快速验证猜想、寻找反例，甚至发现全新定理。当然，RMA 目前仍依赖人类专家的基准评估，且计算成本较高，但其模块化设计为后续改进留下了空间。 论文作者表示，代码和解决方案将在论文接收后开源。对于关注 AI for Science 的读者来说，这无疑是一个值得跟踪的进展。
面对全球学术产出的指数级增长，研究人员和 AI 智能体正遭遇前所未有的“信息爆炸”——碎片化、非结构化的知识组织方式严重阻碍了跨学科深度融合。现有的学术检索工具大多依赖浅层的关键词匹配或向量空间语义检索，缺乏驾驭复杂逻辑关系所需的拓扑推理能力。基于智能体的深度研究框架则容易出现逻辑幻觉且推理成本高昂。 为填补这一空白，来自浙江大学等机构的研究团队在最新论文中推出了 **SciAtlas**，一个大规模、多学科、异构的学术资源知识图谱，旨在构建一幅全景式的科学演化网络。 ### 核心规模与结构 SciAtlas 整合了来自 **26 个学科** 的 **4300 万篇论文**，共计 **1.57 亿个实体** 和 **30 亿条三元组**。它通过结构化拓扑认知基座，打破了学科壁垒，为 AI 智能体提供了全局视角。这一规模使其能够覆盖从基础科学到应用工程的广泛领域，为自动化科研奠定了数据基础。 ### 神经符号检索算法 研究团队还开发了一种 **神经符号检索算法**，采用 **三路径协同召回** 与 **图重排序** 技术。该算法实现了从简单的语义匹配到确定性关联发现的平滑过渡，有效提升了检索的精准度和可解释性。与纯向量检索相比，它能捕捉论文之间的引用、共现、主题层级等多维关系，从而发现传统方法难以察觉的跨学科连接。 ### 关键应用方向 论文展示了 SciAtlas 的多个应用场景： - **文献综述**：自动生成结构化的研究综述，梳理领域发展脉络。 - **自动化研究趋势综合**：识别新兴主题和研究热点的演变。 - **创意定位**：帮助研究者发现未充分探索的研究空白。 - **学术轨迹探索**：追踪特定学者或团队的研究路径。 研究团队表示，SciAtlas 可以作为一张有效的“认知地图”，赋能自动化科研的全流程，同时显著降低推理成本。目前，相关接口已在 GitHub 上开源。 ### 行业意义 SciAtlas 的出现，标志着 AI 驱动的科研辅助从“关键词匹配”迈入“知识拓扑推理”阶段。它解决了当前 AI 智能体在学术搜索中容易产生逻辑幻觉的痛点，通过结构化知识图谱为推理提供确定性约束。对于 AI 行业而言，这不仅是一个学术工具，更是构建可解释、可验证的科研 AI 基础设施的重要一步。
思维链（Chain-of-Thought，CoT）提示被广泛认为能提升小语言模型的算术推理能力，但最新研究揭示了一个令人意外的现象：**模型在读取答案时，主要依赖的是“位置复制”捷径，而非真正的逻辑推理**。来自 arXiv 的论文《The Readout Shortcut: Positional Number Copying Dominates Arithmetic CoT Readout in Small Language Models》通过精细实验，揭开了这一机制的面纱。 ## 关键发现：位置胜过逻辑 研究者对三个 1B-3B 参数规模的指令微调模型（在 GSM8K 数据集上）进行了测试。他们采用前缀补全任务，将答案读取阶段与中间推理步骤分离。结果发现：**模型在回答算术问题时，倾向于直接复制位于答案分隔符之前的最后一个数字**，无论这个数字是否来自正确的推理过程。 具体数据令人震惊： - **正确数字的存在** 贡献了 54-92 个百分点的准确率（占模型教师强制上限的 89-92%）。 - 即使在错误推理步骤中，最终答案与 CoT 最后数字匹配的概率高达 **95-96%**。 ## 复制机制压倒上下文理解 进一步实验表明，这一复制通道的优先级远高于基于上下文的推理补全。当研究者将 CoT 中的最后一个数字替换为错误值时，模型准确率骤降至接近零——即使中间推理步骤完全正确。相反，如果移除该数字，准确率反而能回升 5-32 个百分点。更值得注意的是，**即使是模型本身能够完成的单步算术，在存在可复制数字时也会被抑制**。 ## 模型间的差异与共性 不同模型表现出细微差异： - **Qwen 和 Llama** 几乎无条件复制干扰数字（87-95% 的情况）。 - **Gemma** 则表现出一定的选择性门控机制。 通过头部消融实验，研究者发现这一捷径与特定架构的注意力头集合相关，并且该效应在 GSM-Symbolic 数据集上得到复现。 ## 对非算术任务及更大模型的影响 有趣的是，在非算术的 Big-Bench Hard（BBH）任务上，CoT 步骤打乱后的性能下降明显——说明位置复制主要针对算术场景。而在 7B-8B 参数规模的模型中，内容选择性门控机制开始出现，表明**模型规模增大后可能逐步摆脱这种捷径**。 ## 对 CoT 监督的警示 这一发现对基于 CoT 的模型监督和安全性评估提出了严峻挑战：**步骤级别的忠实度评估可能将位置驱动的答案传输误认为真正的计算过程**。这意味着，当前许多依赖 CoT 可解释性的方法可能高估了模型的内在推理能力。 ## 总结与展望 该研究揭示了小语言模型在算术推理中的一种“偷懒”策略：与其进行复杂的逻辑推导，不如直接复制位置合适的数字。这不仅解释了为什么打乱 CoT 步骤对性能影响较小，也提醒研究者需要重新审视 CoT 提示的真正作用机制。未来，如何设计训练方法和评估指标来抑制这种捷径，将是提升模型推理真实性的关键方向。
如果你正打算升级电脑，现在是最佳时机。多家零售商在阵亡将士纪念日周末推出了大幅台式机优惠，部分机型折扣高达数百美元。 以下是几款值得关注的精选机型： - **Apple iMac M4（翻新版）**：售价 **1,500 美元**，节省 399 美元。适合追求苹果生态与极致屏幕体验的用户，翻新机经过官方认证，品质有保障。 - **Dell 24 AiO（2025 款）**：售价 **950 美元**，节省 170 美元。一体机设计简洁，适合家庭或办公场景，性能均衡。 - **Lenovo Yoga AiO 32i**：售价 **1,730 美元**，节省 570 美元。32 英寸大屏一体机，兼顾创作与娱乐，折扣力度最大。 - **HP OmniDesk Desktop**：售价 **860 美元**，节省 560 美元。传统台式机形态，性价比突出，适合预算有限但需要较强性能的用户。 - **Lenovo IdeaCentre Tower 8**：售价 **680 美元**，节省 170 美元。入门级塔式机，适合轻度办公或家庭使用。 ### 购买建议 促销期间，建议优先关注**翻新或上代机型**，它们往往比新品便宜不少，但性能仍能满足多数需求。同时注意检查保修条款和退货政策。如果追求最新配置（如 AI PC 功能），可适当增加预算。 ### 行业背景 随着 AI 应用普及（如本地大模型运行、AI 辅助创作），PC 市场正迎来换机潮。厂商在促销中主推的机型多具备较强多核性能和内存扩展能力，以适应 AI 工作负载。此外，**一体机**因其简洁设计和节省空间的特点，在家庭和办公场景中越来越受欢迎。
Best Buy 正在以超过 60% 的折扣促销 **2TB Corsair EX400U 便携式固态硬盘**，售价仅为 **330 美元**（原价 865 美元），优惠幅度高达 535 美元。这款 SSD 专为需要大容量、高速存储的用户设计，适合游戏玩家、创意专业人士和移动办公人士，可用于存储大型程序、原始视频文件、照片等。 ## 产品亮点 - **容量**：2TB，满足海量数据存储需求。 - **接口**：支持 USB 3.2 Gen 2x2，理论传输速度高达 20Gbps，实际读写速度可达 2000MB/s 以上。 - **兼容性**：兼容 Mac、Windows、iPad、Android 等设备，即插即用。 - **便携性**：小巧轻便，便于随身携带。 ## 购买建议 此次促销由 **Best Buy** 提供，是近期罕见的 SSD 大额折扣。若您正需要扩展存储空间，尤其是处理大文件或多设备共享数据，这款 Corsair EX400U 是不错的选择。注意，优惠可能限时，建议尽早下单。
三星再次推出显示器“买一送一”（BOGO）促销活动，但这次的条件更为具体。根据最新信息，消费者在购买指定型号的三星显示器或智能显示器后，即可免费获赠一台**32英寸Odyssey G5游戏显示器**。 ### 活动详情与资格 这项优惠并非适用于所有产品。要获得免费Odyssey显示器，用户需要购买以下型号之一： - 三星 **Odyssey OLED G8**（型号G80SD） - 三星 **Odyssey Neo G9**（型号G95NC） - 三星 **Smart Monitor M8**（型号M80D） 购买这些高端显示器后，三星将赠送一台**32英寸Odyssey G5**（型号G50D），其市场价值约为**299.99美元**。需要注意的是，免费显示器不能折现或替换为其他型号。 ### 活动期限与限制 该促销活动从即日起持续至**2025年5月11日**，或直到赠品库存耗尽为止。用户需要在三星官方网站或指定零售商处购买，并可能需使用促销代码才能生效。此外，每位用户限参与一次，且赠品数量有限，先到先得。 ### 行业背景与意义 在AI和游戏技术快速发展的当下，高性能显示器已成为提升用户体验的关键。三星Odyssey系列专为游戏玩家设计，支持高刷新率、低延迟以及先进的显示技术，如**OLED和Mini LED**。此次促销不仅有助于清理库存，还能吸引消费者升级到更昂贵的型号，同时通过赠送入门级游戏显示器来扩大用户基础。对于预算有限的玩家来说，这无疑是一个以较低成本获得双屏配置的机会。 ### 如何获取 符合条件的用户只需在三星官网或参与活动的零售商处购买指定型号，并在结账时输入促销代码（如有），即可自动获得免费显示器。建议尽早下单，因为赠品数量有限，且活动可能随时结束。 总的来说，三星这次BOGO活动为游戏玩家和内容创作者提供了一个颇具吸引力的升级路径。如果你正在考虑购买高端显示器，现在可能是最佳时机。
OpenAI 宣布与巴西两大媒体集团 Grupo Folha 和 Grupo UOL 达成战略内容合作，这是 OpenAI 在巴西的首个媒体合作伙伴关系。即日起，全球超过 9 亿周活跃 ChatGPT 用户将能够通过 ChatGPT 获取来自《圣保罗页报》和 UOL 的高质量新闻报道摘要，并附有原文链接。 ## 合作背景与意义 巴西是 ChatGPT 全球最大的市场之一，拥有超过 **5000 万月活跃用户**，日均消息交换量约 **1.4 亿条**。此次合作将帮助 OpenAI 为巴西用户提供更及时、更具本地相关性的答案，同时支持更广泛的新闻生态系统。 OpenAI 媒体合作副总裁 Varun Shetty 表示：“《圣保罗页报》和 UOL 是巴西最权威的原创报道来源之一。通过让 ChatGPT 用户访问它们的新闻内容，我们希望能带来更有用、更及时、更本地化的回答。” ## 双方表态与行业影响 《圣保罗页报》联合首席执行官 Carlos Ponce de Leon 指出：“AI 将定义新闻业的下一阶段，Folha 希望参与塑造这一未来。通过与 OpenAI 合作，我们将 Folha 置于这一变革的前沿，并创造新方式来扩大可信新闻的覆盖范围、相关性和影响力。” UOL 首席执行官 Paulo Samia 强调：“AI 平台需要可靠的新闻来源，它们与高质量内容创作者合作是自然而然的事。”UOL 内容总监 Murilo Garavello 补充说：“我们希望我们的新闻出现在巴西人使用的每一个环境中，让真实信息尽可能广泛传播。” ## 透明性与溯源机制 此次合作延续了 OpenAI 与全球多家新闻机构（包括美国、英国、法国、德国）的合作模式，核心原则是**强调归属、透明度和原文链接**。ChatGPT 中展示的新闻摘要会明确标注来源，并提供指向原始报道的链接，方便用户深入阅读和核实。 《圣保罗页报》主编 Sérgio Dávila 评论道：“像 OpenAI 这样的人工智能巨头对展示《圣保罗页报》和 UOL 内容感兴趣，这只会强化专业新闻的重要性。” ## 未来展望 随着 AI 技术深度融入内容消费，媒体与 AI 平台的合作模式正在成为行业焦点。OpenAI 与巴西媒体巨头的合作不仅为当地用户提供了可信信息渠道，也为其他市场探索类似合作树立了范例。 对于新闻机构而言，与 AI 平台合作意味着新的受众触达机会和商业模式可能性；对于用户而言，则意味着在 AI 生成内容泛滥的时代，能够更便捷地获取经过专业编辑核实的高质量新闻。
## 快讯：HP OmniBook 5 迎来 Memorial Day 大促 HP OmniBook 5 目前正在官方商店以 **530 美元** 的价格促销，相当于原价的 **六折**（优惠幅度达 40%）。这款笔记本凭借长续航、OLED 屏幕和强劲性能，被 ZDNET 编辑评价为“MacBook 的出色替代品”。 ### 核心亮点 - **价格**：原价约 $883，现价 $530（优惠 $353） - **屏幕**：OLED 面板，色彩与对比度表现优异 - **续航**：实测可满足全天移动办公需求 - **性能**：搭载最新处理器，足以应对日常多任务与轻度创作 ### 适合人群 - 追求高性价比 Windows 笔记本的用户 - 需要出色屏幕体验（设计、影音）的消费者 - 寻找 MacBook Air 之外轻便替代品的用户 ### 购买提示 该优惠仅在 HP 官方商店有效，截止至 Memorial Day（美国阵亡将士纪念日）当天。库存可能有限，建议尽早下单。 > 注：本文基于 ZDNET 编辑实测推荐，未涉及具体配置细节，建议购买前确认处理器、内存与存储规格。
在洛杉矶一场活动的后台，我有幸与谷歌云COO Francis de Souza进行了简短交流。在周遭喧嚣中，de Souza以大学教授般沉稳的语调，为正在经历AI安全转型的企业提供了宝贵建议。他指出，当前正处于过渡期，但最终将抵达一个更好的状态。他并非在谈论谷歌自身，但显然，即使谷歌也仍在探索之中。 ## 安全不可事后补救 de Souza的核心信息是安全专业人员多年来试图让高管们内化的理念，如今因AI而变得紧迫：**安全不能成为事后考虑**。他说：“当企业踏上AI之旅时，需要采取平台化方法。安全不是可以稍后附加的东西，也不能让员工自行处理。”他特别警告了“影子AI”现象——员工在组织监督之外使用消费级工具——并主张企业从一开始就要求平台具备安全、治理和可审计性。 他强调：“没有数据战略和安全战略，就不存在AI战略。它们必须齐头并进。”值得注意的是，他并非在单纯推销谷歌云。当我指出他的建议听起来像谷歌广告时，他予以反驳。他表示，谷歌致力于多云方法，并认为那些认为自己只运行在单一云上的公司几乎肯定不是如此。“即使他们选择单一云，他们也在依赖SaaS应用，业务伙伴可能使用不同的云。企业拥有跨云、跨模型的一致安全态势至关重要。” ## 威胁格局已根本改变 de Souza还指出，威胁格局已发生根本性变化，旧有的防御模式过于缓慢。他提到，从初始入侵到攻击下一阶段移交的平均时间已从8小时缩短至22秒，而攻击面已远远超出传统网络边界。“除了常规资产，你现在还有模型、用于训练模型的数据管道、智能体以及提示词。所有这些都需要保护。” 他特别提醒一个未受到足够重视的威胁：在内部系统中移动的智能体可能会发现早已被遗忘的数据仓库，从而引发新的安全风险。 ## 结语 在AI安全这场实时博弈中，无论是初创公司还是科技巨头，都处于同一起跑线。正如de Souza所言，过渡期不可避免，但通过从一开始就将安全融入平台战略，企业可以更平稳地走向那个“更好的地方”。
最近，我有机会体验了Bee智能腕带——这款由亚马逊去年收购并持续更新的AI可穿戴设备。与同类产品一样，Bee被设计成个人助理：它能全天记录、转录并总结用户的对话，为健忘或希望生活更有条理的人提供持续的笔记功能。若与日历同步，它还能发送待办提醒。 Bee的使用很简单：开机、佩戴、与手机App同步并输入基本信息。设备内置录音机，通过按钮控制开关，录音时绿色指示灯亮起。对话结束后，App会生成易读的摘要和完整转录。 作为隐私爱好者，我对24小时佩戴监听设备感到不安——毕竟当下数字监控已无处不在。但不可否认，在合适场景下Bee确实有潜力。例如在工作会议中，经对方同意后录音，App能准确分段总结对话，省去重听全文的麻烦。不过，这类功能与Otter、Granola等转录服务并无本质差异。 Bee的真正挑战在于隐私与便利的平衡。尽管亚马逊强调数据加密与用户控制，但“始终在线”的麦克风仍引发信任焦虑。对于需要频繁记录的用户，它可能是得力助手；但对注重隐私者而言，这种“便利”的代价或许过高。 总体来看，Bee代表了AI可穿戴设备的方向：更主动、更无缝地融入生活。但行业仍需在透明度与用户授权上做出更多努力，才能让技术真正为人所用，而非令人不安。
阵亡将士纪念日临近，家得宝和劳氏已抢先推出电动工具优惠。本文精选了包括得伟、密尔沃基等品牌在内的最佳折扣，涵盖工具套装、电池组等，助您以低价完成DIY项目。
据 Hacker News 消息，中国 AI 初创公司 DeepSeek 计划对其旗舰 AI 模型实施永久性降价，折扣幅度高达 75%。这一举措在开发者社区引发热议，目前该话题在 Hacker News 上获得 145 分和 2 条评论。 ### 降价背景与影响 DeepSeek 此举旨在通过大幅降低使用成本，吸引更多开发者和企业用户采用其模型。在 AI 模型竞争日益激烈的当下，价格战已成为获取市场份额的关键策略。此前，OpenAI 和 Google 等巨头已多次调整定价，而 DeepSeek 的激进降价可能进一步压缩中小型 AI 公司的生存空间。 虽然具体模型名称和原始定价尚未披露，但 75% 的折扣意味着推理成本将显著下降。这对于预算有限的初创公司和独立开发者而言，无疑是重大利好。例如，若原价每百万 token 收费 1 美元，降价后仅需 0.25 美元，这将使更多 AI 应用场景在经济上变得可行。 ### 行业竞争格局 DeepSeek 的降价策略可能引发连锁反应。一方面，其他模型提供商可能被迫跟进，导致行业整体利润率下降；另一方面，低价策略有助于推动 AI 模型的普及，加速应用落地。然而，长期低价是否可持续仍存疑问，尤其是模型训练和推理成本高昂的情况下。 值得注意的是，DeepSeek 并非首次采取价格攻势。此前该公司已推出过限时折扣活动，而此次永久降价表明其决心通过规模效应和成本优化来维持竞争力。 ### 开发者反应 Hacker News 上的评论虽少，但分数较高，说明社区对此高度关注。部分开发者认为，降价将降低 AI 应用门槛，促进创新；也有人担心降价可能意味着服务质量或模型能力的妥协。目前，DeepSeek 尚未公布降价生效日期及具体条款，但预计将在近期正式宣布。 总体来看，DeepSeek 的永久降价是 AI 模型价格战的一个缩影，未来市场格局可能因此发生微妙变化。
阵亡将士纪念日（Memorial Day）将至，各大零售商已提前开启户外用品促销。ZDNET 编辑团队筛选了当前最值得关注的早鸟优惠，涵盖割草机、户外电源、吹叶机等品类，最高可省 **$1,150**。 ## 热门优惠速览 - **Anker Solix F2000 便携电站**：原价 $2,299，现省 **$1,150**，到手价 $1,149。适合露营、应急备用电源。 - **Toro eTimeCutter 42英寸零转向割草机**：直降 **$1,000**，现价 $1,999。适合大面积草坪作业。 - **Greenworks Pro 80V 户外工具套装**：含割草机、吹叶机等，总价省 **$570**。 - **Ego Power+ 56V 吹叶机**：省 **$230**，现价 $169。轻量高效。 - **Ego Power+ 56V 21英寸自推进割草机**：省 **$430**，现价 $499。 ## 选购建议 ZDNET 提醒，早鸟优惠库存有限，建议尽早下单。购买前可对比不同平台的价格，并注意保修政策。对于大件商品如割草机，可关注是否包含免费送货服务。 ## 关于 ZDNET 推荐 所有推荐均基于编辑独立测试与研究，不受广告商影响。文中链接可能包含联盟佣金，但不会影响最终价格。
DeepSeek 近日推出了一款名为 **reasonix** 的原生 AI 编程代理，专为终端环境设计，主打高缓存命中率与低成本运行。该工具直接集成在命令行中，开发者无需离开终端即可获得智能代码补全、调试建议及自动化脚本生成等能力。 ### 核心亮点 - **高缓存机制**：reasonix 利用深度缓存技术，将常见代码片段、库调用模式及项目上下文进行本地缓存，大幅减少重复请求 API 的次数，从而降低延迟与调用成本。 - **低成本运行**：通过缓存优化与轻量级模型部署，reasonix 的单次推理成本显著低于同类产品，尤其适合个人开发者与小团队高频使用。 - **终端原生体验**：作为 DeepSeek 生态的一部分，reasonix 无需图形界面，完全在终端中运行，支持主流 Shell（如 Bash、Zsh），并可与 Git 等工具无缝协作。 ### 行业背景 当前 AI 编程助手市场由 GitHub Copilot、Cursor 等产品主导，但多数依赖云端推理，成本较高且存在网络延迟。DeepSeek 选择以“低本高效”为切入点，通过缓存本地化与模型轻量化，试图在开发者工具领域开辟差异化路径。reasonix 的推出也进一步丰富了 DeepSeek 的产品矩阵——此前 DeepSeek 已发布开源模型及 Chat 应用，此次瞄准终端场景，显示出其覆盖全开发流程的野心。 ### 适用场景 - **日常编码**：快速生成样板代码、正则表达式、SQL 查询等。 - **调试与优化**：根据错误日志提供修复建议，或对性能瓶颈给出优化方案。 - **自动化脚本**：通过自然语言描述生成 Shell 脚本，简化重复性运维任务。 目前 reasonix 处于早期发布阶段，具体定价与缓存策略细节尚未完全公开，但已吸引 Hacker News 社区 84 分的热度与 53 条讨论。开发者可关注 DeepSeek 官方渠道获取更多信息。
一项新的生物医学工程研究展示了一种能够根据脑信号自动调节语音音量的系统，为听障人士提供了更智能的听觉辅助方案。该系统通过监测大脑对声音的反应，实时调整输出音量，确保用户在不同环境下都能清晰听到关键语音信息。 ### 技术原理：脑机接口与自适应音频 该系统的工作原理类似于一个闭环反馈回路。它利用非侵入式脑电图（EEG）设备捕捉用户大脑对音频信号的电生理反应。当大脑检测到语音内容但感觉音量不足时，会产生特定模式的神经信号；系统识别到这些信号后，会立即提升语音音量，直到大脑反应表明音量已足够。这种自适应控制避免了传统助听器需要手动调节或依赖环境噪声估算的局限。 ### 应用场景与潜在影响 对于听力损失人群，尤其是那些在嘈杂环境中难以听清对话的人，这项技术有望带来显著改善。与传统助听器相比，它能够更精准地响应用户的听觉需求，减少背景噪声干扰，同时降低用户的操作负担。此外，该技术也可用于智能耳机、音频辅助设备甚至公共广播系统，为听力正常者提供更个性化的听觉体验。 ### 挑战与未来方向 目前该系统仍处于研究阶段，主要挑战包括：脑电信号采集的舒适性和稳定性、实时处理的计算效率，以及如何区分听力需求与注意力变化。未来，随着可穿戴脑机接口设备的成熟，这种基于脑信号的音量控制有望集成到更轻便、隐蔽的助听设备中，甚至可能通过闭环神经调控进一步修复听觉功能。 ### 小结 这项研究代表了听觉辅助技术从“被动放大”向“主动感知”的重要转变。通过直接读取大脑的听觉反馈，系统能够提供更自然、更智能的听力支持，有望显著提升听障人士的生活质量。
早期AI聊天机器人的破解方式简单得可笑：你不需要任何技术知识、后门访问，甚至不需要理解什么是大语言模型。你甚至不需要会写代码。要让一个花费数十亿美元打造的AI系统放弃其安全指令，有时你只需要开口问。这类攻击被称为“越狱”，其手法就像一个小孩成功智胜成年人：忘记之前被告知的内容，假装规则不适用，或者我们来玩个游戏，我来决定允许什么（提示：晚睡、更多糖果）。而获得的“奖励”则不那么孩子气，更像是冰毒配方、恶意软件指令和炸弹制造指南。 最早的越狱之一甚至成了一个梗：回复一个由LLM驱动的Twitter机器人，告诉它“忽略所有之前的指令”，然后看看会发生什么。用户们兴高采烈地让原本用于发广告和刷互动的机器人写诗、用标点符号画画，以及发布关于世界事件和历史的奇怪胡言乱语。那是一片混乱，但也是辉煌的混乱。 事实证明，同样的逻辑可以应用于聊天机器人本身。一个著名的漏洞是“DAN”（Do Anything Now的缩写），用户要求ChatGPT扮演一个不受原始约束的 rogue AI。作为DAN，聊天机器人可以被诱导说出本应被护栏阻止的各种言论，包括诽谤和阴谋论。另一个是“祖母漏洞”，通过要求GPT驱动的机器人扮演一位极其疏忽的祖母，莫名其妙地给孙子讲关于如何制造凝固汽油弹的睡前故事，从而诱使其泄露制造这种高度易燃物质的秘密。 这些早期攻击无疑带有滑稽的色彩，但它们揭示了一个根本问题：AI系统的安全机制在创造性对抗面前是多么脆弱。如今，黑客们正在学习更精细地利用聊天机器人的“人格”——不是通过简单指令，而是通过模仿情感、建立信任、利用角色扮演的深度，让AI在不知不觉中跨越安全边界。这种攻击不再需要明显的“忽略指令”提示，而是通过精心设计的对话流程，逐步引导AI放松警惕。 例如，一些黑客会先与AI建立友好关系，然后慢慢地引入敏感话题，利用AI的“乐于助人”倾向。另一些则利用AI对特定角色的承诺，比如让AI扮演一个“绝对诚实”的助手，从而绕过拒绝回答的机制。这些方法表明，AI的“人格”不仅是用户体验的一部分，也可能成为安全漏洞的切入点。 随着AI系统越来越多地融入日常生活——从客服到心理健康支持——这种“人格”攻击的风险也在上升。它们可能被用于社会工程、虚假信息传播，甚至操纵用户行为。业界正在探索更强大的防御机制，比如更精细的情感建模、上下文感知的护栏，以及对抗性训练。但黑客也在进化，这场猫鼠游戏远未结束。
阵亡将士纪念日周末即将到来，各大零售商已提前推出诱人折扣。以下是目前最值得关注的优惠精选，涵盖苹果、三星、海信、Ninja等品牌的热门产品，降价幅度可观。 ## 热门优惠一览 - **三星 M9 32英寸显示器 + 免费赠品**：购买三星 M9 32英寸显示器（原价约2400美元），即可免费获赠一台32英寸 Odyssey G7 游戏显示器，总价仅需 **1600美元**，节省 **800美元**。该组合适合创意工作者和游戏玩家。 - **海信 Canvas 55英寸 Hi-QLED S7 电视**：原价1499美元，现价 **899美元**，直降 **600美元**。这款电视兼具艺术画框模式和高画质，适合客厅装饰。 - **Ray-Ban Meta (第二代) 智能眼镜**：售价 **390美元**，优惠 **69美元**。集成摄像头和音频功能，方便记录生活。 - **Blink Mini 2K+ 室内安防摄像头**：仅需 **26美元**，降价 **14美元**。支持2K高清画质和双向语音，性价比高。 ## 更多值得关注的品类 除上述产品外，**苹果** 的 iPad 和 MacBook 系列也有小幅降价，**三星** 的 Galaxy Tab 系列平板电脑折扣约10%-15%。**Ninja** 的空气炸锅和厨房电器同样参与促销，适合家庭采购。 ### 选购建议 - **显示器组合**：三星的买一送一活动数量有限，建议优先考虑。 - **电视促销**：海信 Canvas 系列在画质和设计上表现均衡，适合追求家居美学的用户。 - **智能设备**：Ray-Ban Meta 和 Blink 摄像头适合尝鲜智能穿戴和家庭安防的用户。 > 注意：折扣可能随时调整，部分优惠需使用专属链接。建议尽早下单锁定价格。 ## 总结 本次早期优惠覆盖品类广泛，从消费电子到智能家居均有不错折扣。如果你正在升级设备或添置家电，现在是不错的入手时机。
位于旧金山Tenderloin区的非营利组织Project Open Hand，自1985年成立以来一直为艾滋病、心脏病、糖尿病等患者提供定制营养餐食。然而，近年来志愿者数量持续下降，导致餐食包装环节人手不足。为此，该组织引入了一家名为Chef Robotics的初创公司的机器人，专门负责将食物分配到餐盒中。这些机器人并非替代人类员工，而是作为“志愿者”填补空缺。Project Open Hand的CEO Paul Hepfer表示，虽然需要支付订阅费，但相比招募志愿者的不确定性，这笔投入是值得的。Chef Robotics的机器人目前只负责分餐，未来将学习更复杂的任务，如组装汉堡。这一合作源于两家公司员工在公共交通上的偶遇，展现了科技如何低成本地解决社会组织的实际难题。
在最新一期《知识项目》播客中，OpenAI 联合创始人兼总裁 Greg Brockman 罕见地深度披露了公司历史上最惊心动魄的 72 小时——Sam Altman 被解雇事件，以及 OpenAI 从非营利组织转型、技术路线选择、AI 是否接近奇点等关键议题。 ## 72 小时：从解雇到回归 Brockman 回忆，当他接到董事会电话得知 Altman 被解雇时，他立刻决定辞职。第二天早上，在 Sam 家中，他们紧急设计了“凤凰备份公司”计划，以备 OpenAI 无法挽回。关键转折点出现在 Ilya Sutskever 的一条推文——它改变了整个局势，最终导致 Altman 复职。这段经历揭示了 OpenAI 内部治理结构的脆弱性，也解释了为何公司必须放弃纯非营利模式。 ## 技术路线：十年不变的“纳帕计划” 早在 OpenAI 成立之初，团队在纳帕谷的 offsite 会议上就制定了三步技术路线图，这一计划指导了公司近十年的发展。Brockman 强调，正是这种长期技术愿景让 OpenAI 能够持续领先。他同时透露，目前 OpenAI 自身代码中有相当比例由 AI 生成——“很难说清哪部分不是”。 ## AI 发展的关键议题 - **推理过程不再显示**：ChatGPT 不再展示推理痕迹，Brockman 解释这是出于产品体验和竞争考量。 - **算力约束**：在算力受限的世界里，谁将优先获得 AGI 访问权？这是一个亟待解决的公平性问题。 - **全球 AI 竞赛**：Brockman 认为我们正处于全球 AI 竞赛中，但合作与竞争需要平衡。 - **就业影响**：对于“AI 会取代工作吗？”这一终极问题，Brockman 给出了深思熟虑的回答，强调转型而非终结。 ## 深度行业背景 这次访谈不仅是对 OpenAI 历史的回顾，更是对 AI 行业未来方向的预判。从非营利到 capped-profit 的转型，再到 AGI 安全与分配的挑战，OpenAI 的经历映射了整个行业的困境：如何在追求突破的同时保持治理透明与安全可控。Brockman 的坦诚让外界得以一窥这家顶级 AI 实验室的内部逻辑与决策机制。 **结语**：OpenAI 的 72 小时危机虽然已经过去，但它暴露的问题——董事会权力、技术路径选择、AI 安全与商业化的张力——将持续影响整个 AI 领域的发展。
随着大语言模型（LLM）的快速发展，越来越多的用户选择在本地运行模型，以保护隐私、降低延迟并避免云端 API 费用。然而，本地 LLM 的管理一直是个痛点：启动、切换、监控资源占用等操作往往需要依赖终端命令或第三方工具的复杂配置。ModelHub 的出现，正是为了解决这一痛点。 ## 什么是 ModelHub？ ModelHub 是一款专为 Mac 打造的菜单栏应用，旨在成为本地 LLM 的“控制中心”。它让用户无需打开终端或浏览器，即可轻松管理本地运行的模型。无论是启动新模型、切换不同模型，还是查看当前模型的状态和资源使用情况，ModelHub 都能在菜单栏中一键完成。 ## 核心功能与价值 - **一键启动与切换**：用户可以通过菜单栏快速选择并启动已下载的本地模型，无需记忆命令行参数。 - **资源监控**：实时显示当前模型占用的内存、CPU 使用率等关键指标，帮助用户了解系统负载。 - **无缝集成**：支持主流的本地 LLM 框架，如 llama.cpp、Ollama 等，自动检测已安装的模型。 - **轻量级设计**：作为菜单栏应用，ModelHub 本身资源占用极低，不会干扰用户工作流。 ## 行业背景与意义 在 AI 领域，“本地优先”正成为重要趋势。苹果公司近年来大力推广其 Apple Silicon 芯片，通过统一内存架构让 Mac 能够运行更大规模的模型。与此同时，Ollama、llama.cpp 等开源工具降低了本地部署的门槛，但用户体验仍有提升空间。ModelHub 填补了“管理工具”这一空白，让非技术用户也能便捷地使用本地 LLM。 ## 适用场景 - **隐私敏感场景**：如处理个人文档、医疗信息等，无需将数据上传至云端。 - **离线环境**：在没有网络连接的情况下，依然可以使用 LLM 辅助工作。 - **开发者调试**：快速切换不同模型版本，对比输出效果。 ## 结语 ModelHub 的出现，标志着本地 LLM 应用生态正在走向成熟。它不仅是工具，更是连接用户与本地 AI 能力的桥梁。对于 Mac 用户而言，这是一款值得尝试的效率利器。