至顶网软件频道消息: 微软对其已经将操作系统再次进行精简,据悉,该系统主要面向虚拟化和软件容器环境。
以操作系统为人们所熟知的Windows Server Core,取消了诸如花哨的用户界面之类的非必要组件,以减少对系统资源的占用。这减轻了运行在服务器上的负载,因为减少了攻击面而增加了安全性。

微软对Windows Server Core最近一次的升级--17079版本,已经被压缩到只有1.58GB下载量,比以前的版本少了1/3。一旦下载和解压,占用3.61GB的硬盘空间。
微软项目经理Weijuan Shi Davis在一篇博客文章中表示,Windows Server Core团队成功应用了一些和缩小Nano Server镜像大小相同的技术。此外,团队还评估了GitHub代码库中的公开可用图片、反馈和论坛帖子,以查看哪些功能可以安全地剥离,而不会删除任何基本功能。
"我们考察了Server Core中所有可用的各种角色、功能和可选组件,并根据使用情况将其分解为几个部分:经常在容器中,很少在容器中,那些我们认为不会在容器中使用的,在容器中不支持的,"Davis说。
除了为Windows Server Core瘦身之外,团队还增加了在容器中安装Microsoft消息队列的功能,允许在网络上的应用之间进行异步通信。
微软还使其早期访问计划的成员Windows Insiders能够更轻松地测试新版本。 Windows Server Core现在可以执行从1709版本到最新版本的就地升级,而无需从头开始安装所有内容。
好文章,需要你的鼓励
当前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设计能力,为未来自动化机器设计系统奠定了基础。