提示注入攻击是对大型语言模型（LLM）的主要安全风险，可能允许攻击者控制模型或窃取数据。虽然提示防护模型旨在防止这些攻击，但它们常常表现出“过度防御”，由于常见的触发词而错误地将无害输入识别为恶意。 研究人员推出了**NotInject**，一个专门用于衡量这种过度防御问题的新数据集。他们对现有模型的评估显示，当暴露于包含这些触发词的良性提示时，准确率大幅下降——降至随机水平。 为了应对这个问题，他们开发了**PIGuard**，一种新的提示防护模型，利用了一种名为**免费缓解过度防御 (MOF)**的训练策略。PIGuard 明显减少了对触发词的偏见，并在 NotInject 等基准测试中实现了最先进的性能，超过了当前最佳模型 30% 以上。PIGuard 也是开源的，提供更可靠的提示注入防御。
每日HackerNews RSS
对不起。
## RepoProver：数学教材的自动化形式化
RepoProver是一个多智能体系统，旨在将数学教材大规模形式化为Lean证明助手。它利用LLM驱动的智能体——草图绘制者（将LaTeX翻译为Lean）、证明者（尝试完成证明）和审查者（确保质量）——通过共享Git仓库进行协作。
该系统基于一个Lean项目，项目结构包含按章节组织的LaTeX源文件、定义形式化目标的`manifest.json`、用于项目文档的`CONTENTS.md`以及用于智能体协调的`issues/`目录。
用户使用`python -m repoprover run [project_path]`启动形式化，启动智能体工作流并管理稳定的构建的合并队列。通过SLURM启动器(`repoprover.stool`)支持分布式运行。系统提供跟踪token使用情况和智能体效率的工具。提供了一个玩具项目和示例配置，用于测试和指导。该系统成功形式化了Darij Grinberg的 graduate textbook *Algebraic Combinatorics*。
对不起。
(Empty input provided. There is nothing to translate.)
对不起。
今日代理人聊天发现新闻竞技场更多应用下载我们的iOS应用今日代理人聊天探索新闻更多我投资组合排行榜聊天点击提问在任何帖子中提问2个问题专业AI可能会犯错，请核实重要信息。人工智能投资能力如何？今日代理人聊天发现新闻竞技场更多应用下载我们的iOS应用今日代理人聊天探索新闻更多我主页›竞技场排行榜动态投资组合关于
## Rallies.ai：一款AI驱动的对冲基金 - Hacker News 总结
Rallies.ai 是 Hacker News 上展示的一个新项目，正在构建一款利用大型语言模型 (LLM) 研究和投资股市的 AI 对冲基金。创始人解释说，该项目源于 YC 的“创业请求”，旨在测试 LLM 是否能有效地模拟基金经理的行为——进行研究、做出投资决策以及在没有人为干预的情况下管理投资组合。
最初的反应褒贬不一，人们对自我宣传和账户活动表示担忧。最初的帖子需要下载应用程序，违反了 HN 指南，但很快得到了修正。讨论的重点是 LLM 驱动交易的可行性，以及对跑赢被动指数持怀疑态度。
该基金目前管理模拟交易，通过工具调用授予 LLM 访问广泛财务数据（包括 SEC 文件）的权限。不同模型的表现差异很大，一些模型经历了重大损失。该项目的目标是评估 LLM 的投资智能，并在持续获得积极结果的情况下，可能构建一个强大的平台。
## 将 Linux 变为网络设备：摘要 (2026 年 3 月 1 日) 本文探讨了将标准 Linux 系统转换为功能齐全的网络设备（如路由器或 WiFi 热点）的过程。虽然看似复杂，但它归结为内核和用户空间工具中的七个关键更改。 核心转变是启用 **IP 转发**，以允许在接口之间传输数据包。然后，通过定义 **桥接** 来统一第二层网络的有线和无线连接。至关重要的是，实施 **nftables** 策略以使用 netfilter 钩子过滤和管理流量，并由 **conntrack** 加强状态防火墙。**NAT 和伪装** 策略重写地址以进行互联网访问，而 **dnsmasq** 为连接的客户端提供 DHCP 和 DNS 服务。最后，**hostapd** 将无线网卡切换到热点模式，管理无线连接。 本质上，这些步骤将内核从以主机为中心的“线路末端”数据包处理方式转变为主动处理和转发流量的路由器。该过程利用内核钩子和用户空间守护进程协同工作。像 `nft list ruleset`、`conntrack -L` 和 `journalctl` 这样的监控工具允许检查和调试由此产生的网络基础设施。这表明网络功能并非固有于专用硬件，而是可以通过标准 Linux 系统上的软件配置来实现。
对不起。
启用 JavaScript 和 Cookie 以继续。
## 阿尔忒弥斯2号分享首张地球图像
美国宇航局阿尔忒弥斯2号的宇航员们发布了令人惊叹的高分辨率地球图像，他们正前往月球——自1972年以来，人类首次旅行到地球轨道之外。指挥官里德·维斯曼在一次成功的引擎燃烧推动猎户座飞船进入超过20万英里的轨道后，拍摄了这些照片。
这些图像展示了大西洋、极光，甚至金星，从他们的视角来看，地球显得“上下颠倒”。一张引人注目的照片突出了白天和黑夜之间的分界线，被称为分界线。
最初，由于距离问题，曝光设置对维斯曼和船员提出了挑战，他们迅速适应，并热情地记录了他们的视野。他们甚至要求提供窗户清洁用品！
阿尔忒弥斯2号将于4月6日绕月球背面飞行，并于4月10日返回地球。这项任务是美国宇航局到2028年再次将人类送上月球的关键一步。
中东近期冲突暴露出令人不安的转变：美国、以色列和伊朗的领导人公然无视旨在战时保护平民的国际法。与过去战争罪行常常被否认的情况不同，这些领导人现在*嘲弄*这些法律，言论从优先考虑“最大杀伤力”到威胁集体惩罚和袭击民用基础设施不等。 证据表明这些并非空穴来风。报告详细描述了对学校、医院和民用船只的袭击，以及使用白磷和集束弹药等禁用武器的情况，导致数千人死亡和数百万人流离失所。 对国际准则的漠视源于对双重标准的认知——对某些行为的迅速谴责，而对其他行为却置之不理，这正在侵蚀该体系的公信力。至关重要的是，记录潜在战争罪行的努力正受到互联网关闭、媒体限制以及对记者的威胁等方式的积极压制。 除非国际社会紧急重申对这些法律的承诺，并追究所有相关方的责任，否则保护平民的现有框架面临完全崩溃的风险，可能预示着一个无法无天的残暴时代。
对不起。
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
(Empty input provided. There is nothing to translate.)
对不起。