开源日报 | OpenAI发布o1完整版；月之暗面与投资人纷争再起波澜；React v19正式发布；博通痛失云厂商大客户
欢迎阅读 OSCHINA 编辑部出品的开源日报——您探索和理解开源世界的日常指南。在这里，我们每天从宏观到微观，全面展现开源技术和文化的动态图景。
每日一更，风雨无阻。
OpenSource Daily # 2024.12.6省流概览
- React v19 正式发布
- 英国云厂商将 2 万多台虚拟机从 VMware 迁移到开源平台
- OpenAI 正式发布 o1 完整版
- 谷歌 DeepMind 宣布世界模型 Genie 2
- 月之暗面与投资人纷争再起波澜
- 人形机器人板块投资机会凸显
- 抱着黄仁勋哭完，孙正义又砸了 100 亿
- 大厂疯抢 GPU，马斯克要买 100 万个？
今日要闻
博通痛失大客户，英国云厂商将 2 万多台虚拟机从 VMware 迁移到开源平台
英国云厂商 Beeks Group 近日宣称，VMware 高达 1000% 的惊人涨价迫使其转向开源竞争对手 OpenNebula。
据悉，Beeks Group 已将其 20000 多台虚拟机中的 “大多数” 迁移至 OpenNebula 平台，目前仅保留少量 VMware 虚拟机。迁移原因之一是 VMware 账单是以前购买软件许可证的支出的 10 倍。
Beeks Group 主要为金融服务提供商提供虚拟专用服务器和裸机服务器。该公司表示，转向 OpenNebula 不仅大幅降低了成本，还使其虚拟机效率提升了 200%，并将更多裸机服务器资源用于客户端负载，而非像以往使用 VMware 时那样用于虚拟机管理。
OpenAI 正式发布 o1 完整版，并上线每月 200 美元的「ChatGPT Pro」
o1 模型完整版主要特性：
比 o1 Preview 更快、更智能。
支持多模态推理，可同时处理图像和文本输入。
在数学、编程等领域性能显著提升，错误率减少 34%，推理速度提升 50%。
在 MMU、Math Vista 等标准基准测试上表现达到行业领先水平。
OpenAI 的测试显示，o1 完整版比预览版的错误率降低了约 34%，思考速度提高了约 60%。
月之暗面与投资人纷争再起波澜：朱啸虎炮轰张予彤隐瞒免费股份
金沙江创投的主管合伙人朱啸虎公开指责张予彤在涉及月之暗面公司的问题上存在严重的不当行为。
张予彤被指控在金沙江创投时期主导了循环智能的投资，并在月之暗面的成立和高估值融资中扮演了关键角色，最终因隐瞒自己在新公司中拥有的 14% 免费股份而被解雇，这一行为违反了基金合伙人和公司董事的责任。
谷歌 DeepMind 宣布世界模型 Genie 2
谷歌 DeepMind 最近宣布了名为「Genie 2」的大规模基础世界模型 (world models)，这是一款能够根据单张图片和文字描述生成可玩 3D 世界的新模型，标志着人工智能在虚拟世界创建领域的一大进步。
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
依旧是现代计算机语言的本质。
- 微博 有个梨GPT
马斯克又在推特上给大家做题了
马斯克又在推特上给大家做题了，说做出来的都是天才。
- 微博 Ridiculeisnormalcy
AI-FFmpeg 就是一个在线视频处理工具
它利用 FFmpeg 的强大功能，为用户提供了一个简单易用的界面来处理视频文件。支持视频转码、压缩、音频提取、裁剪、旋转和基本效果调整等多种功能。你把音视频文件上传后，告诉它你想干嘛，它就会给你生成命令，然后哐哐地干活。
https://ffmpeg-online.top/
- 微博 摇摆时间线ZHLMI
媒体观察
人形机器人板块投资机会凸显
分析人士认为，在政策和技术双重助推下，人形机器人突破关键核心技术和产业化的步伐将加快，商业化落地可期。随着 AGI 技术持续突破、供应链格局趋于完善、下游应用需求持续打开，人形机器人行业作为高端制造成长板块的明珠，2025 年将迎来板块性投资机会，建议关注受益于人形机器人量产的国内一体化关节、减速器、电机龙头企业。
- 中国证券报
裸眼 3D 技术加速落地 谁能分得一杯羹？
裸眼 3D 技术目前正处于风口，并且有巨大的发展潜力。从产业角度看，雷曼光电、兆讯传媒、奥拓电子、洲明科技、国星光电、康达新材、苏大维格、丝路视觉、电声股份等多家上市公司均在裸眼 3D 技术上有所布局。
- 证券日报
抱着黄仁勋哭完，孙正义又砸了 100 亿
可以说，如果在黄仁勋怀里的表演，是孙正义发自肺腑的 “后悔”，那么 OpenAI 和它所引领的人工智能，就是孙正义目前最认可的 “后悔药”。
- 东四十条资本
李飞飞，带出一个学生军团
李飞飞是谁？现年 48 岁，被誉为 “AI 教母”，她是全球研究 AI 领域的标志性人物，长期主导着斯坦福大学的人工智能学科研究。而她带出的学生军团，正成为全球 AI 界的中流砥柱。
- 投资界
对话朱啸虎：可以跟月之暗面和解，张予彤必须公开承认错误
朱啸虎在第二条朋友圈表示，愿意豁免月之暗面及其两位创始人，支持其追求 AGI 梦想。但这不代表他能够容忍 “违背受托责任”、“违背商业伦理道德甚至法律” 的张予彤。
朱啸虎的此番炮轰异常激烈。至此，张予彤已无法继续处在月之暗面的 “暗面”，而不得不走到聚光灯下。
- 界面新闻
大厂疯抢 GPU，马斯克要买 100 万个？
在 GPU 广受欢迎的当下，英伟达无疑是最大的赢家。但 AMD 也不甘人后，正在努力成为这个市场的另一个重要角色。除此以外，微软、Meta、谷歌、AWS 等巨头，也都在打造自主的 AI 芯片，希望在这个市场凭借自研的加速器，去英伟达 GPU 之间找到另一个平衡点。
- 半导体行业观察
今日推荐
开源项目
k0sproject/k0s
https://github.com/k0sproject/k0s
k0s 是一个开源的、包罗万象的 Kubernetes 发行版，它配置了构建 Kubernetes 集群所需的所有功能，并打包为单个二进制文件以方便使用。
开源之声
用户观点
观点 1：在互联网越来越失去交流功能，失去互联网原初的共享精神，彻底沦为彼此割裂的信息茧房的今天，这事真的令人唏嘘不已
观点 2：这都是推荐算法搞的。让大家纸相信自己看到的，结果算法只推你愿意看的。变信息茧房了。
观点 3：人人影视开源人人都有自己的私人影视！
观点 4：难的不是库，而是源。
观点 5：开源到百度网盘？我已经 PTSD 了
观点 6：就说哪个网盘不限速
观点 7：对得起人人二字
观点 8：变成分布式了
程序员梗图
References
https://mp.weixin.qq.com/s/q5sq9BfK8poDBzeCkjFhZg
https://tech.ifeng.com/c/8f5Um2vCv8r
https://github.com/k0sproject/k0s
https://mp.weixin.qq.com/s/JYK3quM94kMiDThV0Srm1A