∞ 中科海钠首款商用车专用钠离子动力电池通过强检
今日上午,中科海钠官宣公司在中汽研汽车检验中心(天津)有限公司完成了全球首款商用车专用钠离子动力电池的强检测试。测试分为电性能、循环寿命、安全性三个部分,分别按照相应的国家标准进行。
此次通过测试的钠离子电芯,单体标称容量200Ah,-40℃至45℃环境下可以稳定运行,-20℃下放电容量超过90%,20-25分钟可以完全充满电,快充使用寿命超过8000次,是钠离子电池商用车动力电池解决方案“海星”的基础部件。
据介绍,2023年以来,电动重卡的产销量高速增长,市场对电池的充电速度、快充下的循环寿命、工作温域和热效率都提出了更高的要求。
钠离子电池具备长寿命、宽温区、高倍率的天然特性,完美契合以电动重卡为代表的商用车使用特性。
公司开发了基于钠离子电池的商用车动力电池解决方案“海星”,为用户提供“少装电池、快速充电、多次使用”的使用模式,明显降低用户电池投入成本的同时,大幅度提高车辆的总产出。通过本次强检测试,标志着商用车动力电池解决方案“海星”完成了合规性认证的关键一步。
∞ Microsoft Edge将集成Phi-4 mini模型 在Windows 11上启用“设备上”AI
微软正计划将基于 Chromium 的 Edge 浏览器打造成 Windows 11 上的 AI 优先浏览器,我们有理由相信这一点。早在 2024 年,Windows 最新消息就曾报道,Edge 可能会使用 Phi-3 实现其部分 AI 功能,但它可能并非依赖于云端,而是依赖于原生硬件功能。
正如 X 上的Leo指出的那样,Edge Canary 138.0.3323.0 或更高版本中已经存在几个与“Phi mini”相关的新标志。其中一个标志名为“Phi mini 的提示 API”,它允许您通过触发 Microsoft Edge 中的 Phi-mini 语言模型来运行 LLM 任务,但该公司随后表示,这只是一个“探索性提示 API”。
这意味着微软可能永远不会向普通用户推出该 API。微软正在测试这些 API,以确定是否有将小语言模式 Phi 集成到 Edge 中的潜在用例。
Phi-4 是一个小型语言模型,它与 ChatGPT(大型语言模型)不同。小型模型需要的计算更少,效率更高,并且适合推理甚至复杂的任务。根据微软的说法,Phi-4 拥有 140 亿个参数,在文本生成方面非常出色。
这也意味着 Phi-4 比将 ChatGPT 之类的东西集成到 Edge 浏览器中要便宜得多。
因此,在 Microsoft Edge 中使用 Phi-4,尤其是 Phi-4-mini 型号是合理的。此前,该公司曾尝试使用 Phi-3,但可能最终决定使用较新的 Phi-4,因为浏览器中的标志指向的是 Phi-4 型号页面。
Microsoft Edge 中的 Phi-mini API
正如微软所描述的,Edge 中的 Prompt API 可以在浏览器中原生处理诸如“摘要、分类或改写文本”之类的任务。但微软警告称,目前的原型并非用于事实核查。
Phi-4-mini 还有其他几个 API,包括:
Phi mini 的摘要 API,允许您使用内置的小型语言模型(Microsoft Edge 中的 Phi-mini 语言模型)摘要一段文本。
Phi mini 的 Writer API,允许您使用内置的小型语言模型(Microsoft Edge 中的 Phi-mini 语言模型)编写一段文本。
Phi mini 的重写器 API,允许您使用内置的小型语言模型(Microsoft Edge 中的 Phi-mini 语言模型)重写一段文本。
目前,Edge 确实具有“使用 Copilot 重写”功能,该功能实现了相同的目标,但与云端绑定。
Phi-4 的集成意味着 Edge 将依靠硬件功能来处理一些 AI 任务,但我们不知道这是否仅限于配备 NPU 的 PC,或者是否有任何 GPU 硬件可以完成这项工作。
是什么让我们相信 Microsoft Edge 正在探索“设备上”的人工智能?除了上述参考之外,还有两个附加标志,一个标题为“在设备 AI 模型性能参数覆盖上启用”,它可以绕过所有性能要求,然后有一个标志用于在本机使用 AI 时调试日志。这证实了 Edge 正在探索“设备上”的 AI。
我们不知道微软是否以及何时计划宣布为 Edge 实现“设备级”AI,但该公司可能正在尝试针对浏览器优化 Phi-4-mini 或其他模型。这可能永远不会像其他许多实验一样顺利实现。
∞ Gurman:下个月的 WWDC 上不太可能讨论 Siri 升级等内容
彭博社的马克·古尔曼在一篇关于苹果人工智能战略的全新长篇报道中详细列举了Apple Intelligence(Apple Intelligence)推出过程中的诸多战略失误。正如我们许多人早已深信的那样,苹果对新兴的生成式人工智能(Generative AI)趋势措手不及。
此外,据古尔曼称,苹果“不太可能”在今年的 WWDC 上花大量时间讨论 Siri。这包括未来的升级以及去年 WWDC 上已经宣布(但后来被推迟)的功能。
报道内容归纳如下:
苹果软件主管克雷格·费德里吉(Craig Federighi)“不愿在人工智能领域进行大规模投资”。古尔曼写道,苹果不喜欢投资没有明确终点的目标。但就人工智能而言,一位不愿透露姓名的苹果高管告诉他:“……在投资之前,你真的不知道产品是什么。” 这意味着需要昂贵的GPU,而苹果并没有急于购买,后来也没有足够的GPU来跟上竞争对手的步伐。
苹果起步较晚。另一位高管告诉古尔曼,在 2022 年底推出 ChatGPT 之前,Apple Intelligence“甚至都不是一个想法”。
苹果人工智能主管约翰·詹南德雷亚(John Giannandrea)认为人们并不想要人工智能聊天机器人。他告诉员工,客户通常希望能够禁用像 ChatGPT 这样的工具。
旧版 Siri 与新版 Siri 不兼容。苹果显然认为,将生成式 AI 功能强加到旧版 Siri 上是赶超 AI 的最快途径,但这一招行不通。“这就像打地鼠游戏。你解决了一个问题,又会出现三个问题,”一位员工告诉古尔曼。
詹南德雷亚与苹果的核心圈子格格不入。詹南德雷亚于2018年上任,是苹果罕见的空降高管,他的性格不像公司其他领导层那样“强势”。报道称,他没有足够努力地争取大笔资金。苹果员工告诉古尔曼,詹南德雷亚对员工的激励不够,而且他并不认为像OpenAI或谷歌这样的大型人工智能公司对苹果构成紧迫威胁。
市场营销失当。该公司的人工智能营销主要集中在承诺的功能上,例如改进的 Siri 或 Apple Intelligence,这些功能能够在系统应用程序尚未准备好之前就从系统中获取上下文信息——但这些功能后来被迫推迟。
Apple Intelligence 出了什么问题
简而言之,苹果软件主管克雷格·费德里吉(Craig Federighi)对人工智能不太信任。他“不愿”在这项技术上投入大量资金,也不认为它是“核心能力”。在费德里吉看来,人工智能会夺走其他一切,却不会带来实际回报。不过,这不仅仅是克雷格·费德里吉一个人的事:
其他领导人也和费德里吉一样持保留态度。“在人工智能的世界里,你真的不知道产品是什么,直到你投资完成,”另一位资深高管说道。“这不是苹果的思维方式。苹果坐下来开发产品时,就已经知道最终目标是什么了。”
报告还称,尽管其他高管“确信”人工智能将带来“革命性”影响,但他们却无法说服费德里吉。很多建议“被置若罔闻”。
除此之外,苹果AI主管约翰·詹南德雷亚(John Giannandrea)从未真正能够立即投入工作。他刚加入苹果时就认为,苹果需要投入比目前多得多的资金。然而,他的努力“常常受阻”。
未来
至于苹果计划如何从这次战略失败中恢复过来,我们目前还不得而知。古尔曼表示,这不会是下个月WWDC大会的焦点,因为苹果将在会上发布iOS 19及更多新功能。
Siri 的重大升级(包括近一年前承诺的升级)不太可能被广泛讨论,而且距离正式发布还有几个月的时间。
报告重申,苹果计划在其他应用程序中添加更多 Apple Intelligence 功能,并且该公司还计划添加一款由 AI 驱动的电池优化工具。此外,苹果还计划推出虚拟健康教练 Project Mulberry。
苹果还在为欧盟居民推出一项新功能:彻底抛弃 Siri。届时,你将不再使用 Siri 作为语音助手,而是可以使用第三方选项。虽然具体第三方选项尚未透露,但值得注意的是,这将与 Siri 中现有的 ChatGPT 集成功能截然不同。
最后但同样重要的是,苹果正在继续开发其新的“LLM Siri”基础设施,这将解决许多导致 Siri 严重延期的工程难题。尽管如此,该公司仍希望在营销活动中将 Siri 与 Apple Intelligence 区分开来:
苹果消息人士称,尽管苹果对LLM Siri 寄予厚望,但也准备在市场营销中将 Apple Intelligence 品牌与 Siri 区分开来。这等于默认了 Siri 糟糕的口碑对该公司 AI 信息传递的推广毫无帮助。
据报道,苹果还希望在新功能正式发布前几个月停止对外宣传,以免这种尴尬再次发生。
∞ KDE 终于有了一个名为“Karton”的原生虚拟机管理器
如果您大部分时间都在使用 GNOME,那么您可能已经使用过类似 GNOME Boxes 之类的工具来轻松启动虚拟机。然而,KDE 用户却经常发现自己依赖于virt-manager甚至GNOME Boxes 之类的工具。虽然这些工具功能强大,但它们在 Plasma 桌面中并不总是能完美地配合使用,而基于 Qt 的旧版qt-virt-manager的开发也停滞了多年。
现在,一个新的虚拟机管理器正在为 KDE Plasma 开发中。这个项目名为 Karton,其根源可以追溯到 Aaron Rainbolt 最初使用 QEMU 命令行界面构建前端的努力。后来,KDE 开发人员 Harald Sitter 接手了这个项目,并将其开发为 Google Summer of Code 项目。
目前,Karton由参加 Google Summer of Code 2025 的滑铁卢大学学生 Derek Lin开发。他的主要目标是提供一个真正属于 KDE 生态系统的虚拟机管理器。
为了更好地融入 KDE,Karton 采用 Qt Quick 和 Kirigami 构建。它使用 libvirt API 来处理虚拟机,最终可以跨平台运行。
目前,开发工作主要集中在核心部件的到位。Lin 正在开发一个新的域安装程序,该安装程序将不再直接调用virt-installlibosinfo,而是使用 libosinfo 进行操作。libosinfo 可以帮助检测操作系统镜像并生成正确的 libvirt XML,以便更精确地设置虚拟机。他仍在完善设备配置,并致力于更广泛的虚拟机管理程序支持。这项工作的另一个关键部分是使用 Qt Quick 从零开始构建一个自定义的 SPICE 查看器:
这里是Lin在他的 GSoC 提案中包含的具体可交付成果列表,尽管他指出该提案本身有点过时:
通过 libvirt 的 XML 格式而不是 virt-install CLI 安装和配置虚拟机
添加在 UI 中配置常用选项的功能
允许对虚拟机选项进行更精细的控制
实现自定义SPICE查看器,以允许用户与活动虚拟机交互并查看活动虚拟机(而不是 virt-viewer
虚拟机快照用于恢复/备份以前的状态
用于显示虚拟机的直观用户界面
通过解决社区反馈,打造用户友好且美观的 GUI
参考MacOS UTM 列表布局和 VM 预览
使 UI 融合(适合移动设备)
使用 libvirt API virEventRegisterImpl 函数检索虚拟机状态更新,而不是使用默认的内置事件循环。
允许它与自定义 Qt 事件循环集成
减少当前虚拟机列表页面的加载延迟
添加浏览工具,列出常用安装的操作系统
virt-manager 中绘制的 GPU/内存使用情况图表
可以在会话(用户)和系统(根)之间切换连接到 QEMU 虚拟机管理程序的功能。
GNOME Boxes 似乎仅支持“会话”,但添加对“系统”的支持可能对非 KVM/Linux 后端(如 bhyve(FreeBSD)或 Hyper-V)有用
对于那些对时间表感兴趣的人,Lin的 GSoC 提案称,官方 GSoC 开发将于 2025 年 6 月 2 日开始。目标是在 2025 年 7 月 14 日左右的中期评估之前准备好一个可运行的应用程序,并于 2025 年 9 月 1 日提交最终版本。
∞ 奶茶放入微波炉加热 30秒后火光冲天
近日,一则令人后怕的消息在网络上引发广泛关注:“将奶茶放进微波炉加热,结果差点把家烧了……”国家应急中心也专门针对此事发文提醒。事情就发生在福建福州,一位网友当时只是想把凉奶茶热一热,便随手将其放入了微波炉中,还设置了1分钟的加热时间。
仅仅过了30秒,平静的厨房就被一阵噼里啪啦的声响打破,紧接着,微波炉里竟冒出了火光!网友急忙暂停加热并迅速打开微波炉。
据当事人事后回忆,当时那火就像脱缰的野马,一下就冲了出来,场面十分惊险。好在她反应迅速,情急之下用锅铲将奶茶杯推翻,火才总算熄灭,避免了一场可能发生的重大灾难。
消防部门解释称,市面上常见的奶茶杯材质多为纸杯或塑料杯,而其中部分纸杯为了达到防水的效果,会添加金属涂层。
可别小看这层金属涂层,它在微波加热时会产生巨大的隐患。因为金属是良导体,在微波环境下,它会反射微波并产生感应电流。随着电荷不断积累,就会形成局部高压,进而击穿空气产生电火花。