全国客服热线：
来源：乐鱼网官网入口 发布时间：2025-01-16 06:19:12
欢迎阅读 OSCHINA 编辑部出品的开源日报——您探索和理解开源世界的日常指南。在这里，我们每天从宏观到微观，全方面展现开源技术和文化的动态图景。
博通痛失大客户，英国云厂商将 2 万多台虚拟机从 VMware 迁移到开源平台
据悉，Beeks Group 已将其 20000 多台虚拟机中的 “大多数” 迁移至 OpenNebula 平台，目前仅保留少量 VMware 虚拟机。迁移原因之一是 VMware 账单是以前购买软件许可证的支出的 10 倍。
Beeks Group 主要为金融服务提供商提供虚拟专用服务器和裸机服务器。该公司表示，转向 OpenNebula 不仅大幅度降低了成本，还使其虚拟机效率提升了 200%，并将更多裸机服务器资源用于客户端负载，而非像以往使用 VMware 时那样用于虚拟机管理。
在数学、编程等领域性能明显提升，错误率减少 34%，推理速度提升 50%。
在 MMU、Math Vista 等标准基准测试上表现达到行业领先水平。
OpenAI 的测试显示，o1 完整版比预览版的错误率降低了约 34%，思考速度提高了约 60%。
「ChatGPT Pro」，是一个每月 200 美元的高级订阅服务，允许用户无限制使用高阶模型，包括 o1 模型的 Pro 版本。
金沙江创投的主管合伙人朱啸虎公开指责张予彤在涉及月之暗面公司的问题上存在严重的不当行为。
张予彤被指控在金沙江创投时期主导了循环智能的投资，并在月之暗面的成立和高估值融资中扮演了关键角色，最终因隐瞒自己在新公司中拥有的 14% 免费股份而被解雇，这一行为违反了基金合伙人和公司董事的责任。
谷歌 DeepMind 最近宣布了名为「Genie 2」的大规模基础世界模型 (world models)，这是一款可以依据单张图片和文字描述生成可玩 3D 世界的新模型，标志着AI在虚拟世界创建领域的一大进步。
Genie 2 的应用场景范围相当广泛，包括快速原型设计、AI 智能体评估等，为研究人员快速生成多样化的环境提供了一个强大工具，能够为未见过的任务场景提供评估支持。
比如一个运算放大器，opamp，它有一个 model，它的 input 会转换成 output，它可搭配一个无源器件网络实现信号的变换，包括不同频率的不同放大倍数。这里的每个器件都被物理学定律 govern，这相当于他们的 operational semantics，就像我们在计算机语言里定义的那样。
计算机语言当然也是有 model 的，但是一段程序的 operational semantics 很变态，尤其是传入参数可能带着一根指向宇宙的指针，这就吐血了。
一颗运算放大器的内部并不简单，但是它有一个 ideal model 的描述，当一个放大器经过简单组合成为 4-stage 8th order low pass filter 时，我们得知它的 semantics 的 composition 产生的结果，仍然是足够简单的，这一点是计算机语言表达的程序非常难以做到的。
在很大意义上说计算语言被称为语言是一个谎言，因为如果一大坨语言描述都是语法上的，它没有解决用户要用语言表达「meaning」的需求，或者「meaning」没办法简单被理解，这个就失去了语言的意义。
所以今天的计算机语言，说它是 formal language，这是对的，但如果说程序是 formal system，definitely no，因为 compiler 最终只是把它拿去翻译成机器指令让计算机可以运行这段程序，这就是「中国盒子」的例子；虽然今天的计算机语言实现，类型系统的设计，编译优化等等，无论在工程上还是在科学上都比龙书出来的时候大有进步，但是，龙书封面上写的那句：syntax directed translation
它利用 FFmpeg 的强大功能，为用户更好的提供了一个简单易用的界面来处理视频文件。支持视频转码、压缩、音频提取、裁剪、旋转和基本效果调整等多种功能。你把音视频文件上传后，告诉它你想干嘛，它就会给你生成命令，然后哐哐地干活。
分析人士认为，在政策和技术双重助推下，人形机器人突破关键核心技术和产业化的步伐将加快，商业化落地可期。随着 AGI 技术持续突破、供应链格局趋于完善、下游应用需求持续打开，人形机器人行业作为高端制造成长板块的明珠，2025 年将迎来板块性投资机会，建议关注受益于人形机器人量产的国内一体化关节、减速器、电机龙头企业。
裸眼 3D 技术目前正处于风口，并且有巨大的发展的潜在能力。从产业角度看，雷曼光电、兆讯传媒、奥拓电子、洲明科技、国星光电、康达新材、苏大维格、丝路视觉、电声股份等多家上市公司均在裸眼 3D 技术上有所布局。
可以说，如果在黄仁勋怀里的表演，是孙正义发自肺腑的 “后悔”，那么 OpenAI 和它所引领的人工智能，就是孙正义目前最认可的 “后悔药”。
李飞飞是谁？现年 48 岁，被誉为 “AI 教母”，她是全球研究 AI 领域的标志性人物，长期主导着斯坦福大学的人工智能学科研究。而她带出的学生军团，正成为全世界 AI 界的中流砥柱。
朱啸虎在第二条朋友圈表示，愿意豁免月之暗面及其两位创始人，支持其追求 AGI 梦想。但这不代表他能够容忍 “违背受托责任”、“违背商业伦理道德甚至法律” 的张予彤。
朱啸虎的此番炮轰异常激烈。至此，张予彤已无法继续处在月之暗面的 “暗面”，而不得不走到聚光灯下。
在 GPU 广受欢迎的当下，英伟达无疑是最大的赢家。但 AMD 也不甘人后，正在努力成为这一个市场的另一个重要角色。除此以外，微软、Meta、谷歌、AWS 等巨头，也都在打造自主的 AI 芯片，希望在这一个市场凭借自研的加速器，去英伟达 GPU 之间找到另一个平衡点。
k0s 是一个开源的、包罗万象的 Kubernetes 发行版，它配置了构建 Kubernetes 集群所需的所有功能，并打包为单个二进制文件以方便使用。
观点 1：在互联网越来越失去交流功能，失去互联网原初的共享精神，彻底沦为彼此割裂的信息茧房的今天，这事真的令人唏嘘不已 观点 2：这都是推荐算法搞的。让大家纸相信自身看到的，结果算法只推你愿意看的。变信息茧房了。 观点 3：人人影视开源人人都有自己的私人影视！ 观点 4：难的不是库，而是源。 观点 5：开源到百度网盘？我已经 PTSD 了 观点 6：就说哪个网盘不限速 观点 7：对得起人人二字 观点 8：变成分布式了
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
登上医学顶刊，临床研究证实，下午5点后不吃饭，可有效减肥并促进心血管健康
《编码物候》展览开幕 北京时代美术馆以科学艺术解读数字与生物交织的宇宙节律
古尔曼：苹果计划年底推出 2025 款 HomePod mini 和 Apple TV
英特尔推出首批嵌入式系统用 Bartlett Lake 处理器，采混合架构