SheepNav

AI 资讯

每日聚合最新人工智能动态

在荷兰乌得勒支举行的 Rust Week 大会上,Linux 稳定内核维护者 Greg Kroah-Hartman 发表了一个大胆宣言:**Rust 将拯救 Linux**。他并非认为 Rust 是万能魔法,而是面对由 AI 驱动的漏洞挖掘工具带来的安全挑战,Rust 提供了一条切实可行的出路。 Kroah-Hartman 指出,近期借助最新的 AI 漏洞检测程序,Linux 内核中暴露了大量严重安全漏洞,如 **Dirty Frag**、**Copy Fail** 和 **Fragnesia**。自 2005 年以来,他几乎见证了每一个内核安全漏洞,而现在内核团队每天要处理约 **13 个 CVE(通用漏洞披露)**,情况堪称疯狂。这些漏洞大多源于 C 语言的传统错误处理和资源管理缺陷——例如一个存在 15 年之久的蓝牙漏洞,因未检查指针解引用而触发;另一个 Xen 漏洞则是在错误路径中忘记释放锁。 Kroah-Hartman 强调:“内核中绝大多数 bug 都是这种微小、琐碎的错误——未检查错误条件、忘记释放锁、内存泄漏……随着时间推移,漏洞不断累积,最终导致内核崩溃。这就是我们与 C 语言共存的现实,也是我们不喜欢它的原因。” **Rust 的“最美之处”**在于它能在编译时而非代码审查阶段捕获这类错误。以锁操作为例,Rust 的所有权模型和借用检查器可在编译期预防许多内存安全和并发问题。Kroah-Hartman 认为,虽然 Rust 并非银弹,但它是目前少数能显著减少此类 bug 的可行方案之一。 展望未来,越来越多的 Linux 内核代码将用 Rust 编写。这不仅是技术选择,更是应对 AI 时代安全挑战的必然趋势。Kroah-Hartman 甚至半开玩笑地对 Rust 社区说:“你们将拯救 Linux……抱歉,现在全靠你们了。”

ZDNet AI5个月前原文
南非手握AI筹码,但草案政策却未善加利用

南非正站在一个独特的历史节点上:作为全球矿产资源大国,它握有影响人工智能未来发展的关键筹码,但最新发布的AI政策草案却未能有效转化这一优势。本文剖析南非AI政策现状与机遇。 ## 资源优势为何重要? AI的底层驱动力是算力,而算力离不开芯片制造所需的稀有矿产。南非拥有全球最大的铂族金属储量,以及大量钴、锰等关键矿物,这些正是高性能芯片生产不可或缺的原材料。这意味着,在国际AI供应链中,南非并非旁观者,而是拥有实质性议价能力的参与者。 然而,南非政府近期成立的AI政策小组所发布的第一份政策草案,却几乎未提及如何利用矿产资源来增强本国在AI领域的战略地位。草案更多聚焦于伦理框架、技能培训等传统议题,对产业经济杠杆的考量明显不足。 ## 错失的机遇与潜在风险 政策制定者似乎忽略了两个关键点: 1. **资源换技术**:其他资源国已在尝试通过出口管制或合作投资,换取AI技术转移与本地算力基础设施建设。南非若仅满足于原料出口,将重蹈“资源诅咒”覆辙——卖矿石赚微利,而高附加值环节全在海外。 2. **能源与算力结合**:南非拥有丰富的太阳能与风能资源,可支撑低成本的绿色数据中心。将“清洁能源+关键矿产”打包作为AI产业基地的吸引力,远比单一政策框架更具说服力。 ## 非洲AI发展的标杆责任 作为非洲大陆工业化程度最高的经济体之一,南非的AI政策具有示范效应。若草案不能展现前瞻性,可能使整个非洲在AI全球分工中继续处于价值链底端。 一个好的AI政策不应只是伦理清单,而应是一份产业战略。南非完全有条件成为“资源-算力-应用”闭环的先行者,关键在于政策制定者能否跳出传统思维,将资源优势真正转化为AI竞争中的结构性力量。 目前草案尚处于征求意见阶段,修改窗口依然存在。国际社会正密切关注:南非是会选择被动跟随,还是主动利用筹码重塑规则?

IEEE AI5个月前原文

YouTube 终于认真对待 AI 内容的标注问题了。在 Google I/O 大会上谷歌宣布扩大 AI 验证努力之后,YouTube 现在决定把 AI 披露信息挪到更显眼的位置,并开始主动识别和标注平台上的 AI 生成内容。 对于常规长视频,AI 标签(一个带有“AI”字样和常见信息符号的标识)将直接显示在视频播放器下方、视频描述上方。此前,这一信息隐藏在视频描述中,用户需要展开描述并在“内容制作方式”部分查找,几乎没人会主动去点。对于 YouTube Shorts,同样的 AI 标签将以叠加层形式直接出现在视频画面上——YouTube 此前已测试过类似方案,也曾使用过“包含修改或合成内容”的叠加提示。 YouTube 在公告中表示:“通过将这些标签移到主舞台,观众一眼就能获得所需的背景信息。这是目前 YouTube 上所有照片级真实感和有意义的 AI 修改或生成内容的统一标签格式。对于不真实、动画化或轻微修改的内容,观众可以在展开的描述中找到相关披露。” 除了标签位置调整,YouTube 还将扩大 AI 标注的覆盖范围。平台表示正在推出“新的内部信号”,用于自动识别和标记 AI 生成内容——这意味着 YouTube 将不再完全依赖创作者自行申报,而是主动出击。此前我曾指出 YouTube 的 AI 标签实践一直不一致,希望这次更新能建立一个平台真正坚持使用的系统。 这一举措的背景是 AI 生成内容(包括深度伪造、虚假信息等)在平台上泛滥,用户越来越难以辨别真实与合成内容。YouTube 作为全球最大的视频平台,其 AI 标签策略的改进对内容生态的透明度和可信度至关重要。目前该更新正在逐步推出,预计将在未来几周内覆盖所有用户。

The Verge5个月前原文
让电动重卡真正实用的幕后软件

电动化浪潮正席卷全球交通运输业,但重型卡车(重卡)的电动化转型面临独特挑战:续航里程有限、充电基础设施不足、运营成本高昂。瑞典公司 Einride 正试图通过一套“全栈式”软件方案破解这一难题。 ### 从硬件到软件:Einride 的差异化路径 自 2019 年起,Einride 的无人驾驶、无驾驶舱电动卡车已在瑞典公共道路上运营。然而,真正让 Einride 与众不同的并非其炫酷的硬件设计,而是其**专为电动化而生的软件平台**。与传统车企将电动化视为“油改电”不同,Einride 从零开始构建了一套**电动优先(electric-first)的软件生态**,涵盖路线规划、充电调度、车队管理和自动驾驶控制。 ### 核心挑战:电动重卡的“里程焦虑” 重卡电动化的最大瓶颈在于**电池重量与续航的矛盾**。一辆满载 40 吨的重卡若配备足够续航的电池,电池本身可能重达数吨,进一步压缩有效载荷。Einride 的软件通过**动态负载管理**和**智能路线优化**,在保证运输效率的前提下,将电池容量控制在合理范围。其算法会实时分析地形、交通、天气和充电站状态,规划出能量消耗最优的路径,甚至利用下坡路段进行能量回收。 ### 软件如何“盘活”充电基础设施 充电设施的稀缺是另一个痛点。Einride 的**充电调度系统**并非简单匹配充电桩,而是**将充电行为融入物流时间表**。系统会预测每辆车的充电需求,并自动预约充电时段,避免排队等待。更关键的是,它支持**“充电即服务”**模式——车队无需自建充电站,而是通过 Einride 的合作伙伴网络按需充电,大幅降低前期投资。 ### 自动驾驶与能源管理的融合 Einride 的软件还将自动驾驶能力与能源管理深度结合。其自动驾驶系统不仅关注安全,更注重**能耗优化**:通过平稳加速、提前减速和编队行驶(platooning),可将能耗降低 15%-20%。此外,软件会**根据电池健康状态动态调整驾驶策略**,延长电池寿命。 ### 行业影响:从“硬件竞赛”转向“软件定义” Einride 的案例表明,电动重卡的竞争正从硬件参数转向**软件定义的系统集成能力**。传统车企如戴姆勒、特斯拉专注于电池和电机性能,而 Einride 则证明:**更聪明的软件能让现有电池技术发挥更大价值**。这种“软件优先”的思路,可能加速整个物流行业的绿色转型。 ### 小结 电动重卡要真正“实用”,不能仅靠更好的电池,更需要一套**懂物流、懂能源、懂路况的智能软件**。Einride 的实践为行业提供了重要参考:当软件成为基础设施,电动化才能从“可行”走向“高效”。

IEEE AI5个月前原文

近年来,关于新闻编辑部应如何使用AI、甚至是否应该使用AI的讨论,在媒体行业内反复出现。如今,这些规则越来越多地在工会与出版商之间的谈判桌上被敲定。眼下,《纽约时报》的员工正准备迎接一场新的斗争。 **工会指控:AI工具用于绩效监控** 《纽约时报》技术工会(Tech Guild)——隶属于纽约新闻工会、拥有约700名软件工程师、设计师、产品经理和数据分析师——表示,公司管理层拒绝向工会提供有关公司如何使用AI、未来AI使用计划以及AI将如何影响员工工作和流程的信息。工会已于本月早些时候向美国国家劳资关系委员会(NLRB)提起了不公平劳动实践指控。 此外,工会还提出申诉,称公司管理层在开始使用两款内部AI工具时违反了集体谈判协议。这两款工具据称用于追踪和评估员工的绩效与活动。其中一款名为**DX**的工具,自称是工程生产力工具,可让公司追踪员工的产出、生成式AI使用情况、效率等指标。 **从团队优化到个人问责** 据《纽约时报》软件工程师、技术工会生成式AI委员会主席Ben Harnett透露,DX最初在公司内部宣布时,目标是改善开发者体验、衡量公司整体表现。然而,在过去几个月里,DX的数据变得越来越个性化,开始针对个人设定基准。 Harnett指出,现在处于纪律处分流程中的员工,会突然被告知“你每周只完成了一个pull request,比行业标准低25%”。他担心这种基于AI的绩效评估会**脱离上下文**,错误地惩罚那些实际上工作出色但未被AI工具正确衡量的员工。 **行业背景:AI与劳工权益的碰撞** 这一事件并非孤例。随着AI技术渗透到新闻生产与员工管理的各个环节,媒体机构内部关于AI使用边界的博弈正在加剧。此前,多家媒体公司已尝试使用AI生成内容或优化工作流程,但往往因缺乏透明度而引发员工不满。《纽约时报》作为全球最具影响力的媒体之一,其内部AI争议可能成为行业风向标。 技术工会强调,他们并非反对AI本身,而是要求公司**公开、透明**地说明AI工具的具体用途,并确保其使用不侵犯员工权利。工会希望管理层能提供详细数据,以便评估AI对工作流程的实质性影响。 **未来走向** 目前,劳资双方尚未达成妥协。如果NLRB受理工会的指控,可能会举行听证会并作出裁决。与此同时,其他媒体机构也在密切关注这一案例,因为它可能为整个行业设定AI使用的劳工标准。 对于《纽约时报》而言,如何在拥抱AI提升效率的同时,维护员工信任与权益,将是一场艰难的平衡。

The Verge5个月前原文

教皇利奥十四世于周一发布通谕《伟大之人》,警告AI对权利、机会、地位和自由的影响。通谕未提及许多人认为即将到来的AGI,引发业界不同反应。本文分析教皇的务实立场及其对AI治理的启示。 ## 焦点:AI的社会影响,而非超级智能 教皇利奥十四世的通谕《伟大之人》聚焦AI对日常生活的实际影响,而非科幻式的超级智能。通谕指出:“AI的使用从来不是纯粹的技术问题:当它进入影响人们生活的过程时,就触及权利、机会、地位和自由。”这种务实立场与硅谷盛行的AGI叙事形成鲜明对比。 ## 多方反应:批评与支持并存 通谕引发科技界广泛讨论。一些人认为它应讨论AGI,但另一些人赞赏其针对性。科技监督项目执行主任Sacha Haworth表示,这是对“大肆宣称用AI取代‘低价值人力资本’并试图影响规则制定”的科技CEO们的明确批评。 ## 背景:AI反弹浪潮 通谕发布正值AI反弹加剧之际。**六成美国成年人**认为自己对AI在日常生活中的使用“几乎没有控制权”,针对数据中心建设的抗议日益频繁,甚至有人试图攻击AI公司CEO。教皇的呼吁呼应了公众对AI权力扩张的担忧。 ## 选择务实:为何不谈AGI? 教皇通谕避开AGI,可能出于两个原因:一是AGI的不确定性——目前尚无共识;二是通谕旨在解决当下问题,而非未来猜想。这种选择使通谕更具现实指导意义,聚焦于数据隐私、就业替代、算法歧视等紧迫议题。 ## 合作与批评:Anthropic代表出席 Anthropic联合创始人兼可解释性团队负责人Christopher Olah出席发布,体现了教会与AI公司的合作。但通谕对企业的批评态度也引发争议,部分人认为批评力度不足。 ## 小结:以人为本的AI治理 教皇的通谕传递了一个核心信息:**AI治理必须以人为本**,优先考虑对普通人生活的实际影响,而非追逐超级智能的幻影。在AI权力日益集中的时代,这种声音为政策制定者和公众提供了重要参考。

The Verge5个月前原文
美国执法部门警告“反科技极端主义”抬头,AI仇恨情绪蔓延

美国联邦情报机构和执法部门近期发布多份报告,将“反科技极端主义”列为新兴国内威胁。WIRED获取的1000多页未公开文件显示,国土安全部、FBI及融合中心正针对这一宽泛的类别展开监控。此举紧随特朗普政府的国家安全总统备忘录第7号,要求司法部打击“反美”、“反基督教”和“反资本主义”信仰。特朗普反恐主管Sebastian Gorka公开将左翼极端分子列为三大反恐优先事项之一。这些指令将国内监控体系用于压制挑战白宫意识形态的言论与集会。 在AI仇恨情绪增长的背景下,纽约情报与反恐局报告特别警告,未来五年AI技术可能引发大规模抗议,演变为“反科技暴力极端主义”活动。该术语首次出现在官方文件中,将多种意识形态归为一类。报告提及Ziz Laota案等事件,显示极端理性主义与科技恐惧的交叉。随着针对CEO的袭击、数据中心抗议运动及AI取代工作的担忧加剧,这一新威胁类别引发广泛关注。

Ars Technica5个月前原文

Android Auto 旨在让驾驶时双手不离方向盘、视线不离路面,但车载屏幕本身也可能成为分心源。通过合理设置内置安全功能,可以显著提升行车安全。以下是四个经过验证的设置: 1. **自动启动 Android Auto**:避免驾驶时手动操作手机。在 Android Auto 设置中开启“自动启动”后,手机连接车辆时会自动进入驾驶界面,减少分心时间。 2. **分屏视图**:同时显示导航和媒体信息,无需频繁切换应用。点击左下角多窗口图标即可启用,默认导航靠近驾驶员侧,媒体在副驾侧,也可在设置中调整。 3. **语音控制**:使用 Google Assistant 进行导航、播放音乐、发消息等操作,减少触摸屏幕。长按方向盘语音按钮或说“Hey Google”激活。 4. **勿扰模式**:驾驶时自动屏蔽通知。在 Android Auto 设置中开启“驾驶勿扰”,可自定义允许的联系人或应用,避免通知干扰。 这些设置不仅提升便利性,更重要的是降低驾驶分心风险。建议用户根据自身习惯调整,让科技真正服务于安全。

ZDNet AI5个月前原文
Cotypist:Mac 上本地 AI 自动补全,用你的声音在任何地方输入

Cotypist 是一款专为 Mac 用户打造的本地 AI 自动补全工具,其核心特色是支持用户用自己的声音进行语音输入,并在任何应用场景中实现智能文字补全。作为一款强调隐私保护的产品,Cotypist 完全在本地运行,无需联网,确保用户的语音和文字数据不会离开设备。 ## 核心功能 - **本地 AI 自动补全**:基于本地部署的 AI 模型,Cotypist 能够实时预测并补全用户输入的文字,支持多种语言和场景。 - **语音输入**:用户可以用自己的声音进行输入,Cotypist 将其转换为文字,并在此基础上提供自动补全建议。 - **跨应用支持**:无论是在浏览器、文档编辑器、聊天软件还是其他任何 Mac 应用中,Cotypist 都能无缝工作。 ## 隐私与安全 Cotypist 强调所有处理均在设备本地完成,不向云端发送任何数据。这对于注重隐私的用户来说是一个重要优势,尤其是在处理敏感信息时。 ## 使用场景 - **高效写作**:对于需要大量文字输入的用户,如作家、记者、学生,Cotypist 可以显著提升打字速度。 - **多任务处理**:在语音输入和键盘输入之间自由切换,适合在移动中或手部忙碌时使用。 - **无障碍辅助**:为有打字困难或行动不便的用户提供便利。 ## 行业背景 随着 AI 技术的普及,本地化 AI 工具正成为趋势。苹果在 WWDC 2024 上宣布了 Apple Intelligence,强调设备端处理,而 Cotypist 正好契合这一方向。与云端 AI 助手相比,本地 AI 在响应速度和隐私方面具有天然优势。 ## 小结 Cotypist 定位清晰:为 Mac 用户提供本地、隐私优先的 AI 输入增强体验。其独特的“用自己的声音”语音输入功能,结合跨应用自动补全,有望在效率工具市场中占据一席之地。对于追求隐私和效率的 Mac 用户来说,Cotypist 值得尝试。

Product Hunt815个月前原文

大语言模型(LLM)的预训练效果正越来越依赖于**数据构成**而非单纯的数据量。然而,如何实现最优数据混合一直是个难题:传统的人工分类存在本体论错位,而欧几里得聚类又无法处理嵌入向量的各向异性问题。针对这一挑战,来自学术界的研究团队提出了**GEM(几何熵混合)** 框架,将数据配比问题重新定义为超球面上的变分问题,并引入混合平衡正则化项,为数据筛选提供了全新的几何视角。 ## 核心创新:从欧氏空间到超球面的跃迁 GEM的核心在于**解耦生成先验**,并通过可证明的 MM(Minorize-Maximize)算法优化目标函数。该方法有效抑制了聚类坍缩现象,能够发现欧几里得启发式方法无法识别的平衡语义结构。简单来说,传统方法在数据嵌入空间中做聚类时,往往由于各向异性导致聚类结果偏向高密度区域,而GEM通过几何熵约束使得聚类更加均匀,从而挖掘出更丰富、更均衡的数据分布。 ## 可扩展性与可解释性并重 为了将这一几何保真度扩展到网络规模的语料库,研究团队采用了**教师-学生蒸馏**技术。同时,他们引入了**几何影响评分(GIS)**,用于生成可解释的类别体系。这意味着GEM不仅能在数学上优化数据混合,还能为用户提供清晰的类别解释,让研究人员理解“为什么某些数据被归为一类”。 ## 实验验证:1.1B参数模型的显著提升 在包含 1.1B 参数的模型上进行实验,GEM 在与 DoReMi、RegMix 等主流混合策略整合后,**平均下游准确率提升了高达 1.2%**,并建立了一个新的最优水平。更重要的是,GEM 提供了一个鲁棒的坐标系统,使得数据混合的效果变得可预测,这对大规模预训练的实际工程落地至关重要。 ## 行业意义:数据配比走向科学化 当前,LLM 预训练正从“堆数据”转向“配数据”。GEM 的工作直接回应了业界对数据质量与平衡性的迫切需求。它不再依赖人工经验或简单的随机采样,而是通过严格的几何优化来指导数据选择。这一方向有望成为未来大模型训练的基础设施之一,尤其在多领域、多任务场景下,GEM 的价值将更为凸显。 目前该论文已提交至 ICML 2026,感兴趣的读者可通过 arXiv 获取完整技术细节。

HuggingFace5个月前原文

在金融交易欺诈检测领域,标签数据稀缺使得无监督异常检测方法备受青睐。**隔离森林(Isolation Forest, IF)** 因其可扩展性和易部署性成为经典方法之一。近期,一篇 arXiv 论文提出了 **SilIF**,一种通过引入轮廓系数(silhouette score)来增强隔离森林的无监督异常检测算法。 SilIF 的核心思路是:在隔离森林每棵树生成的路径长度向量基础上,对样本进行聚类,并计算每个样本的轮廓系数,衡量其与其所属簇的匹配度。然后将轮廓系数与原始 IF 异常分数通过一个超参数 α 融合。在 **IEEE-CIS 欺诈检测基准数据集**(约 59 万笔交易,欺诈率 3.5%)上,当 α=1.0 时,SilIF 的平均 AUC-PR 比原始 IF 提升 **+0.0080**,且在全部 5 个随机种子下均优于 IF(配对 t 检验 p=0.046)。 然而,在合成信用卡数据集 Sparkov 上,轮廓增强并未带来改进。论文分析了两种数据集的特征差异,指出 SilIF 在结构分组明显的场景下更有效。总体而言,SilIF 是一个可调、易部署的增强方案,且作者诚实地报告了其适用条件。

HuggingFace5个月前原文

## 概览 人类决策是一个顺序且具有不确定性意识的过程,而标准神经网络通常依赖于静态、密集的前向计算,对证据获取、不确定性演化或何时停止计算缺乏可见性。近日,一项发表于 arXiv 的新研究提出了 **神经贝叶斯顺序路由 (Neural Bayesian Sequential Routing, NBSR)** 框架,将神经推理建模为在分层有向无环图(DAG)上的主动证据累积过程。 ## 核心机制 NBSR 的核心思想是在一个 Dirichlet-Categorical 共轭框架内运作。神经专家查询一个持久的全局知识库,提取正证据向量,这些向量作为伪计数,通过精确的共轭加法更新 Dirichlet 信念状态。结合 Gumbel-Softmax Straight-Through 估计器,这种更新能够实现硬性的、路径依赖的路由,同时保留用于端到端训练的代理梯度。 ## 关键特性 - **不确定性量化**:产生的 Dirichlet 精度和熵提供了不确定性量化机制,支持基于熵的提前退出、OOD(分布外)拒绝和成本感知的证据获取。 - **理论保证**:论文证明,在严格正证据提取条件下,总 Dirichlet 精度沿任何有效轨迹单调递增,边际预测方差有界,形式化了顺序“假设锐化”过程。在理想容量和优化假设下,终端 Dirichlet 期望恢复贝叶斯最优条件分布。 - **资源理性推理**:通过动态调整计算路径,NBSR 能够实现资源理性的推理,在性能和计算成本之间取得平衡。 ## 实验验证 研究者在多个任务上进行了实证评估,包括视觉分类、结构化医学诊断、语言建模、部分可观测控制以及成本感知的贝叶斯实验设计。结果显示,NBSR 在取得有竞争力的预测性能的同时,提供了透明的路由轨迹、路径依赖的证据归因、不确定性感知的决策控制以及资源理性的推理。 ## 意义与展望 NBSR 为可解释、模块化和资源理性的智能体 AI 提供了一个数学上严谨的框架。它模仿了人类顺序决策中的证据累积过程,有望在需要可解释性和不确定性管理的应用场景(如医疗诊断、自动驾驶、科学发现)中发挥重要作用。论文作者黄永超在 71 页的篇幅中详细阐述了理论、算法和实验,为后续研究奠定了基础。 ## 小结 NBSR 通过将贝叶斯推理与神经路由相结合,为构建更智能、更透明的 AI 系统开辟了新的路径。其核心创新在于利用 Dirichlet 过程动态管理不确定性,并通过路径依赖的路由实现计算资源的自适应分配。这一工作不仅具有理论深度,也在多个实际任务中验证了其有效性,展现了在下一代 AI 系统中的应用潜力。

HuggingFace5个月前原文

## 当神经网络学会“几何对称”:李群嵌入开启稳定动力学新范式 在机器人、图形学与控制领域,许多现实问题都涉及**旋转、平移等连续对称性**,而李群(Lie group)正是描述这类对称性的数学工具。然而,传统神经网络在欧几里得空间运作,难以直接“理解”李群的非线性结构。近日,研究者提出 **LieEDNN(李群嵌入动力学神经网络)**,通过将李群嵌入神经网络,在流形上实现可学习且稳定的动力学系统。 ### 两大核心挑战 1. **加法不兼容**:李群本身不满足加法运算,而神经网络依赖线性代数中的加法与矩阵乘法。 2. **非线性表示空间**:动力学在李代数(Lie algebra)的矢量空间中演化,这与常规神经常微分方程(Neural ODE)的欧几里得范式不同。 ### 解决方案:伴随作用与流形投影 为了突破上述限制,研究团队引入**伴随李群作用**,将李代数上的线性映射转化为权重矩阵的块状结构,从而在代数空间内实现加法操作。具体而言: - 将李代数参数化为线性变换,与神经网络感知机对齐; - 通过块状流形约束对权重施加几何限制; - 开发基于梯度下降与度量投影的学习算法,保证时间动力学系统的**稳定性**。 ### 实验验证:SE(3)与伸缩机械臂 论文以**特殊欧几里得群 SE(3)**(描述刚体旋转与平移)为实例,将其应用于**伸缩机械臂**的动力学规划。实验结果表明,LieEDNN 能够在流形上学习到稳定的动态轨迹,验证了方法的有效性。 ### 行业意义与潜在影响 这项研究为将**几何深度学习**引入控制与机器人领域提供了新思路。传统方法往往需要手动设计动力学模型,而 LieEDNN 让模型自动从数据中学习流形上的稳定行为,有望简化复杂系统的控制流程。未来,该方法可扩展至更多李群(如旋转群 SO(3)),在**机械臂规划、3D 图形动画、航天器姿态控制**等场景中落地。 论文目前为预印本,正在审稿中。

HuggingFace5个月前原文

异步去中心化联邦学习(ADFL)因无需中央协调和全局同步,成为大规模异构系统的理想选择。然而,频繁的点对点通信、有向拓扑上的异步更新以及非独立同分布(non-IID)数据共同导致了通信开销过大、聚合偏差严重和模型漂移问题。针对这些挑战,来自澳大利亚皇家墨尔本理工大学的研究团队提出了一种名为 **PushCen-ADFL** 的通信高效框架,相关论文已被 **KDD 2026** 接收。 ## 核心思路:以质心为中心的三重闭环 PushCen-ADFL 的核心创新在于将通信、聚合与局部稳定化耦合在一个共享的**质心表示空间**中,形成一个压缩与优化之间的闭环。具体而言: - **质心消息交换**:客户端之间不再直接交换完整模型,而是传输压缩后的质心形式消息,大幅降低单次通信成本。 - **保平均推求和混合**:采用平均保持的 push-sum 聚合机制,校正有向拓扑带来的聚合偏差,确保全局一致性。 - **质心正则化**:在相同质心空间内引入轻量级正则化项,有效缓解数据异构性和延迟更新导致的模型漂移。 此外,框架还设计了一个**有界、发送端去重的缓冲区**,进一步增强了在异步到达模式不规则情况下的鲁棒性。 ## 实验结果:精度提升 6%,通信成本降低 80% 在多个视觉数据集上的实验表明,PushCen-ADFL 在数据异构场景下将模型精度最高提升了 **6%**,同时将每次推送的通信开销减少了 **超过 80%**,实现了精度与通信成本之间的出色平衡。这一成果对于资源受限的边缘设备集群尤其具有实际价值。 ## 行业意义:去中心化联邦学习走向实用化 当前联邦学习主要依赖中心化聚合服务器,存在单点故障和通信瓶颈。PushCen-ADFL 通过纯去中心化架构和偏差校正机制,为构建真正大规模、高鲁棒性的分布式机器学习系统提供了可行路径。其压缩与优化协同设计的思路,也为其他异步分布式算法提供了借鉴。 > 小结:PushCen-ADFL 以创新的质心空间闭环设计,同时解决了 ADFL 中的通信效率、聚合偏差和模型漂移三大痛点,是去中心化联邦学习领域的重要进展。

HuggingFace5个月前原文

## 研究背景:结构化输出对小模型的隐性成本 在生产级大语言模型(LLM)系统中,机器可读的结构化输出(如 JSON、正则约束字段、工具调用模式)已成为刚需。然而,对于参数规模小于 3B 的小语言模型(SLM),在满足复杂模式约束的同时保持任务求解质量,是一个尚未被充分研究的挑战。业界通常假设:施加硬性输出约束能提升可靠性,且不影响答案本身的正确性。但一项来自 Jaideep Ray 的最新研究(arXiv:2605.26128)揭示了这一假设对小模型而言并不安全。 ## 核心概念:约束税 研究者提出了 **约束税(constraint tax)** 这一测量框架,用于隔离因结构化输出约束导致的答案准确性与可执行准确性损失。通过固定模型、任务分布和问题实例,该方法能精确量化约束带来的代价。实验使用了 **Qwen2.5-0.5B、Qwen2.5-1.5B 和 SmolLM2-1.7B** 三款主流小模型,在 15,000 次消费级 GPU 推理中进行了系统评估。 ## 关键发现:准确率大幅下降 实验结果显示,硬性答案模式解码虽然将模式合规率从 61.5% 提升至 100.0%,但代价惨重: - **答案准确率**从 19.7% 骤降至 11.0% - **错误但合规的输出**从 49.5% 飙升至 88.9% 在最具工业代表性的确定性日历工具调用任务中,**Qwen2.5-1.5B** 在纯提示 JSON 模式下可达到 **91.5% 的可执行准确率**,但在相同硬性工具调用模式下仅剩 **48.0%**。两种模式均实现了 100% 的模式合规,但语义错误导致实际可用性腰斩。 ## 对 3B 边界模型的启示 研究还发现,即使接近 3B 参数规模的模型,仍然存在明显的直接模式约束税。这打破了“更大模型不会受约束税影响”的直觉。不过,研究者也指出了一种有效的缓解策略——**延迟封装(delayed packaging)**:先让模型自由推理生成内容,再在后期施加格式约束。这种“先推理,后约束”的设计模式能显著降低约束税。 ## 实践建议:多维度指标报告 论文给出的实用结论是:生产系统应**分别报告**模式合规率、答案准确率、可执行准确率和错误合规输出率,而不是仅关注单一指标。只有通过多维度监控,才能真实反映小模型在结构化输出场景下的表现。 ## 行业意义 这项研究对小模型在边缘设备、隐私敏感场景和低成本部署中的应用具有直接指导意义。它提醒开发者:结构化输出并非免费午餐,约束的施加需要与任务正确性进行仔细权衡。对于依赖小模型构建工具调用、数据提取等关键管线的团队,约束税应作为一项重要的系统开销纳入评估。

HuggingFace5个月前原文

## 从28公里到1公里:AI如何让天气预报“看清”每一朵云? 传统数值天气预报(NWP)在千米级别的高分辨率预测上,始终面临“算力墙”——全球范围精细模拟的成本高到难以落地。能源、农业和灾害管理等行业,恰恰需要这类精细时空信息。最新发布的**AirCast-SR**模型,正试图用AI打通这一瓶颈。 ### 核心能力:将全球预报“放大”67倍 AirCast-SR是一个大气超分辨率基础模型,其核心任务是将全球AI天气预报从**0.25度(约28公里)分辨率**,降尺度至**1公里**水平分辨率,时间步长为每小时,一次输出67小时内的8个耦合地表变量。这意味着,原本只能看清城市群级别的预报,现在能精细到乡镇甚至局部风电场尺度。 ### 技术架构:3D U-Net + 潜在一致性扩散 模型采用**三维U-Net**作为骨干网络,并嵌入**潜在一致性模型(LCM)扩散框架**进行条件生成。训练数据基于美国本土(CONUS)的图块样本:输入来自GraphCast预报,目标数据来自NOAA的校准分析记录(AORC)。这种设计让模型不仅学习统计映射,还能在扩散过程中保持物理一致性。 ### 关键验证结果 - **近零偏差**:在所有变量和预报时效上,模型输出与真实观测的偏差趋近于零。 - **精细结构保留**:径向功率谱密度分析显示,在**10公里至100公里波长**范围内,AirCast-SR成功保留了粗模型丢失的细尺度大气结构。 - **跨季节泛化**:在冬季、夏季和春季三种典型场景的案例研究中均表现稳定。 - **零样本全球迁移**:无需任何微调或重新训练,模型直接应用到印度和德国的独立地面站观测数据,效果依然可靠——这证明了其作为基础模型的通用性。 ### 行业意义:开放权重的“新范式” AirCast-SR以**开放权重**形式发布,意味着研究者和企业可以直接使用、进行区域微调或蒸馏,甚至开发下游应用,如气候服务、灾害预警等。这为千米级AI天气预报建立了一个新的范式——不再依赖超级计算机,而是通过AI超分辨率,让全球粗预报“适配”本地需求。 对于气象领域而言,AirCast-SR的发布可能意味着:未来天气预报的分辨率瓶颈,将从算力转向数据与模型设计。而对于能源调度、农业规划和应急响应等场景,1公里级的预报信息或许很快就能像今天的7天预报一样触手可及。

HuggingFace5个月前原文

## 背景:时间序列基础模型面临的数据污染挑战 随着时间序列基础模型(TSFM)在大规模语料库上预训练成为常态,一个关键问题浮出水面:评估数据集是否在预训练阶段已被模型“见过”?这种**数据污染**会导致性能评估过于乐观,但传统审计方法在时间序列领域面临独特挑战——信号连续且异构,且多数语料库缺乏详细文档。 ## TSFMAudit:基于微调适应动力学的检测方案 来自多所高校及机构的研究团队提出了 **TSFMAudit**,这是首个专门针对TSFM预训练污染审计的工作。其核心洞察在于:**被污染的模型在微调时表现出异常高效的适应能力**——损失下降更快,且骨干网络参数变动更小。 具体而言,TSFMAudit 通过设计一个“探测适配器”(probe),对目标数据集进行轻量级微调,然后观测两个关键指标: - **损失下降速度**:污染数据集的损失曲线通常更陡峭 - **骨干网络移动距离**:污染数据集需要更少的参数更新来拟合 这些信号组合形成污染指纹,从而区分干净与污染数据集。 ## 实验验证:覆盖6个模型与187个数据集 研究团队在 **6个主流TSFM**(如TimesNet、PatchTST等)和 **187个公开数据集** 上进行了评估,利用文档化的训练来源证据作为监督标签。与从大语言模型(LLM)领域改编的 **10种基线方法** 对比,TSFMAudit 在多个指标上均取得领先。 ## 意义与展望 这项研究填补了时间序列基础模型可信度评估的重要空白。随着TSFM在金融、气象、能源等关键领域的落地应用,数据污染审计将成为模型选型和部署的必备环节。未来工作可能进一步扩展到多模态时间序列场景,以及更细粒度的污染类型识别。 > 论文以22页篇幅详细阐述了问题形式化、方法设计及实验分析,目前已发布于arXiv(2605.26161)。

HuggingFace5个月前原文

谷歌在2026年Google I/O大会上发布了一项名为**Gemini Omni**的全新AI视频能力,旨在将视频创作提升到与Nano Banana图像生成同等的革命性水平。Omni号称能“从任何输入创建任何内容”,支持文本、图像、音频和视频作为输入,并基于Gemini的推理能力生成高质量视频。 核心功能之一是**“克隆自己”**——用户可以通过视频、音频等素材创建自己的AI数字分身,用于内容创作或虚拟互动。谷歌强调,Omni将首先应用于视频领域,未来可能扩展到其他媒体类型。该工具将以模型层级形式推出,首发为**Gemini Omni Flash**,并集成到Gemini应用、Google Flow和YouTube Shorts中。 然而,这一技术也引发了**信任与伦理担忧**。AI视频克隆可能加剧虚假信息传播,增加“AI垃圾内容”泛滥的风险。ZDNET资深编辑David Gewirtz认为,Omni既可能帮助创作者高效产出高质量视频,也可能被滥用。目前,Omni已开始逐步推送,但记者尚未提前体验。 **行业背景**:这项技术延续了谷歌在AI多模态领域的布局,类似于此前Nano Banana对图像生成的颠覆,但视频生成对真实感和一致性要求更高。Omni的推出标志着AI视频生成从“实验性”走向“实用化”,但如何平衡创新与监管将是关键挑战。

ZDNet AI5个月前原文

对于 Linux 用户来说,Shell 是与操作系统内核沟通的桥梁。绝大多数 Linux 发行版默认使用 **Bash**(Bourne Again SHell),它功能强大、历史悠久,但也因此显得保守——几乎没怎么进化。如果你觉得 Bash 用起来有些“冷冰冰”,不妨试试 **Fish**(Friendly Interactive SHell),它更像一位主动协助你的伙伴,而非被动执行的工具。 ### 核心差异:被动 vs. 主动 Bash 的工作方式很简单:你输入命令,按回车,它执行。它不会给你任何提示或帮助,一切全靠你的记忆和熟练度。而 Fish 则完全不同: - **智能建议**:当你开始键入命令时,Fish 会根据你的历史记录实时给出建议。例如,输入 `ssh`,它可能自动补全为 `ssh 192.168.1.26`,你只需按右方向键接受,再回车即可。 - **颜色反馈**:Fish 用颜色区分命令状态。输入无效命令时显示红色,修正为有效后变为蓝色;文件路径也会高亮显示,帮助快速识别错误。 这些特性让 Fish 对新手尤其友好,也大幅提升了老手的工作效率。 ### 安装与切换:比你想象的简单 想尝试 Fish?无需卸载 Bash,只需安装并切换默认 Shell 即可。在大多数发行版中,一条命令就能完成安装: ```bash sudo apt install fish # Debian/Ubuntu sudo dnf install fish # Fedora ``` 安装后,使用 `chsh -s /usr/bin/fish` 将默认 Shell 切换为 Fish,重启终端即可生效。如果想回到 Bash,同样用 `chsh` 改回去。 ### 脚本兼容性:一个需要注意的点 Fish 的语法与 Bash 不完全兼容。如果你有大量现有的 Bash 脚本,直接迁移可能会遇到问题。不过 Fish 提供了 `bash` 命令,允许你在 Fish 中运行 Bash 脚本,反之亦然。对于日常交互式使用,Fish 的便捷性足以让你忽略这个小麻烦。 ### 谁应该考虑 Fish? - **Linux 新手**:自动建议和颜色提示极大降低了学习曲线。 - **效率追求者**:频繁输入长命令或路径的用户,Fish 的智能补全能节省大量时间。 - **喜欢尝鲜的玩家**:Fish 的社区插件和主题系统让终端更个性化。 当然,如果你深度依赖 Bash 特有的脚本功能或习惯完全掌控每个命令,Bash 依然是稳妥之选。但如果你想让命令行体验更“友好”,Fish 绝对值得一试。

ZDNet AI5个月前原文

近日,一篇发表在 LessWrong 论坛上的分析引发轩然大波:教皇利奥十四世(Pope Leo XIV)的首部通谕《Magnifica Humanitas》——主题正是人工智能对人类社会的影响——部分段落可能由 AI 撰写。分析者 Linch Zhang 使用流行的 AI 检测工具 Pangram 逐章扫描发现,某些段落的 AI 生成概率在 **40% 至 100%** 之间。例如,通谕中频繁出现“genuinely”一词,这与 Anthropic 的 Claude 模型写作风格高度吻合,而此前教皇文书中该词使用率极低。 另一位独立检测者将通谕第一章逐节输入 Pangram,结果显示 **62% 被标记为 AI 生成**。The Verge 也进行了验证:随机抽取约 2000 字文本,Pangram 判定其中 **46% 为 AI 写作**。 ## 并非全篇如此 但并非所有段落都“可疑”。Zhang 指出,Pangram 对部分章节的判定为“基本 0% AI”。例如,将最近四份通谕的前 20 段输入检测器,结果均为 **100% 人类写作**;教皇利奥的演讲转录文本也被判定为 100% 人类撰写。 ## AI 检测的局限 AI 检测并非万无一失。不同检测工具可能给出截然不同的结果,即便一致也无法保证绝对正确。不过,Pangram 在 AI 研究社区中享有较高声誉。2025 年 3 月,Pangram 曾声称其将人类写作误判为 AI 生成的**假阳性率约为万分之一**。 ## 背景与争议 通谕是天主教皇发布的正式文书,旨在针对时代重大道德与社会挑战传达教义。本次通谕是利奥十四世就任后的首部,也是**首部聚焦 AI 议题**的教皇通谕。值得注意的是,教皇在发布该通谕时,特邀了 Anthropic 联合创始人 Christopher Olah 一同出席。 梵蒂冈尚未对检测结果作出回应。此事引发双重思考:若 AI 确实参与了通谕写作,是否意味着教皇在“用 AI 写关于 AI 危险的文本”?这种“自我指涉”的悖论,恰如其分地映射了 AI 时代人类面临的深层困境——我们是否已在不自知中让 AI 介入了最需要人类智慧的领域? 目前尚无确凿证据证明教皇或教廷有意使用 AI 撰写通谕。但这一事件无疑为围绕 AI 伦理的讨论增添了新的注脚:当 AI 开始替我们思考 AI 的风险时,我们该相信谁?

The Verge5个月前原文