红帽公司已经收购了“Permabit技术公司的资产与技术”以获取其数据“瘦身”方案,但具体交易金额尚未公开。Stallman指出,在Linux上使用ZFS几无可能,现在红帽能够在无需GNU许可的前提下实现重复数据删除。
Permabit公司专事提供重复数据删除与数据压缩软件,并于近期推出了内置于Linux内核模块当中的方案,作为对此前专注于OEM销售方向的补充。
红帽公司则认定,其企业Linux(简称RHEL)需要配合Permabit技术。红帽将把Permabit技术引入RHEL,并借此“通过更加高效的存储选项更好地实现企业数字化转换。”
红帽公司认为,Permabit将为其容器或者超融合型基础设施提供良好平台——具体来讲,Permabit的技术能够“增加应用程序的可用存储空间,但无需增加任何物理存储容量。”
很明显,重复数据删除与压缩已经成为存储方案买家最为关注的技术方案——其非常重要,而且已然成为一类不可或缺的功能。
收购Permabit公司的另一个原因可能在于,在Linux当中实现重复数据删除的方式之一在于使用ZFS。不过Richard Stallman宣称,ZFS采用的许可机制意味着红帽根本不可能选择这一路线。那么,红帽能否在回避GNU许可的同时,顺利将这些必要且深受客户期待的功能引入RHEL?
红帽方面指出,此次交易不会对该公司第二季度的营收指导预期产生重大影响。
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。