保持浏览器更新有时令人头疼,但最新版本往往会带来新功能并修复安全漏洞。Firefox最新发布的版本正是如此。
周二正式发布的Firefox 150对多项核心功能进行了强化,包括分屏视图、标签页管理、语言翻译以及内置PDF编辑器。更值得关注的是,借助AI的力量,这一新版本共修复了多达271个安全漏洞,创下历史记录。
新功能与改进
分屏视图最初于今年3月引入Firefox,允许用户在同一窗口中并排查看两个网页,此功能在Chrome和Microsoft Edge中早已存在。
Firefox 150进一步完善了这一功能:用户现在可以在任意页面上右键点击链接,将其在分屏模式下打开,与当前页面并排显示;在分屏模式下,还可以搜索已打开的标签页,并交换两个页面的位置。
在标签页共享方面,Firefox 150支持一次性共享多个标签页。用户只需选中想要分享的标签,右键点击其中任意一个,选择"共享"并复制多个链接,粘贴后将同时包含页面标题和网址。不过,记者在实测版本150时,发现右键多个标签并未出现"共享"选项,目前已就此问题联系Mozilla方面进行确认。
翻译功能方面,用户只需在地址栏输入"about:translations",即可进入类似谷歌翻译的页面,粘贴需要翻译的文字,选择源语言(或让系统自动识别)和目标语言后,译文随即呈现。
PDF编辑器功能在此次更新中也得到提升。在Firefox中打开PDF文件后,点击左上角的"管理页面"图标,即可看到所有页面的缩略图,支持选择页面进行删除、复制、剪切或粘贴,也可拖拽页面调整顺序,并可将单独页面导出为独立文件,最终保存修改后的PDF。
如需将Firefox更新至最新版本,点击右上角三条横线图标,选择"帮助",再点击"关于Firefox",浏览器将自动下载并安装最新版本,重启后即可生效。
AI助力创纪录的安全修复
Firefox 150此次共修复了271个安全漏洞,涵盖高危、中危和低危多个等级,与以往每次更新仅修复数十个漏洞相比,堪称历史之最。而这一成果的背后,正是AI技术的功劳。
据Mozilla官方博客披露,Firefox团队使用了Anthropic公司Claude Mythos Preview的早期版本来排查潜在安全缺陷。自今年2月起,Mozilla便开始借助前沿AI模型扫描浏览器中的安全隐患。此前,他们曾使用Anthropic的Opus 4.6模型对Firefox 148进行扫描,发现并修复了22个安全漏洞。
通常情况下,Mozilla依赖人工安全研究人员寻找漏洞,即便借助先进工具,这一过程也相当耗时。而Anthropic的AI模型能够更快速、高效地发现大量漏洞,且覆盖范围与人工排查相当,不会遗漏任何类别或级别的安全问题。
苹果、谷歌和微软等科技巨头目前也在参与名为"Project Glasswing"的项目,共同与Claude Mythos展开合作。AI在网络安全领域的应用或许正在成为一个重要转折点。长期以来,防御方往往处于被动局面——攻击者只需找到一个关键漏洞便可得手,而防御者则需要找出所有漏洞才能确保安全。如今,合适的AI模型正在为防御方提供强有力的工具,Mozilla显然已走在了这一探索的前列。
Q&A
Q1:Firefox 150修复了多少个安全漏洞?是如何做到的?
A:Firefox 150共修复了271个安全漏洞,涵盖高危、中危和低危多个等级,创下历史记录。Mozilla借助Anthropic公司Claude Mythos Preview的早期版本,对浏览器进行了全面的安全扫描。相比传统的人工排查方式,AI模型能够更快速、高效地发现漏洞,且覆盖范围与人工相当,不会遗漏任何类别的安全问题。
Q2:Firefox 150的分屏视图功能有哪些新变化?
A:Firefox 150对分屏视图功能进行了升级。用户现在可以直接右键点击页面上的任意链接,将其在分屏模式下打开,与当前页面并排显示。此外,在分屏模式下还新增了搜索已打开标签页的功能,以及交换两个页面左右位置的选项,操作更加灵活便捷。
Q3:Claude Mythos是什么?为什么能发现这么多安全漏洞?
A:Claude Mythos是Anthropic公司开发的前沿AI模型。它能够以远超人工的速度和效率扫描代码中的潜在安全漏洞,且覆盖范围全面,能够识别人类安全研究人员可发现的所有类别和级别的漏洞。苹果、谷歌、微软等科技巨头也在通过"Project Glasswing"项目与该模型展开合作,探索AI在网络安全领域的应用潜力。
好文章,需要你的鼓励
无人机食品配送服务商Flytrex与全球知名披萨连锁品牌Little Caesars宣布合作,推出全新Sky2无人机,最大载重达4公斤,可一次配送两个大披萨及饮料,满足全家用餐需求。Sky2支持最远6.4公里的配送范围,平均从起飞到送达仅需4.5分钟。首个试点门店已在德克萨斯州怀利市上线,并实现与Little Caesars订单系统的直接集成。
FORTIS是专门测量AI代理"越权行为"的基准测试,研究发现十款顶尖模型普遍选择远超任务需要的高权限技能,端到端成功率最高仅14.3%。
法国社会住房项目ViliaSprint?已正式完工,成为欧洲最大的3D打印多户住宅建筑,共12套公寓,建筑面积800平方米。项目由PERI 3D Construction使用COBOD BOD2打印机完成,整体工期较传统建造缩短3个月,实际打印仅用34天(原计划50天),现场操作人员从6人减至3人,建筑废料率从10%降至5%。建筑采用可打印混凝土,集成光伏板及热泵系统,能源自给率约达60%。
荷兰Nebius团队提出SlimSpec,通过低秩分解压缩草稿模型LM-Head的内部表示而非裁剪词汇,在保留完整词汇表的同时将LM-Head计算时间压缩至原来的五分之一,端到端推理速度超越现有方法最高达9%。