1.【openEuler操作系统预计明年3月发布新版本，累计装机量已超1000万】 据开放原子开源基金会消息，11月15日，操作系统大会2024在北京中关村国际创新中心召开。会上介绍，2024年openEuler系操作系统新增装机量超过500万套，五年累计装机量超1000万套。预计2025年3月，openEuler将发布25.03创新版，全面增强AI能力。
2.【Kimi发布新一代推理模型，数学能力对标OpenAI o1系列】11月16日，Kimi正式发布新一代数学推理模型k0-math。基准测试显示，Kimi k0-math的数学能力可对标OpenAI o1系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中，k0-math初代模型成绩超过o1-mini和o1-preview模型。在两个难度更大的竞赛级别的数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%。Kimi创始人杨植麟介绍称，k0-math模型和Kimi探索版，未来几周将会分批上线Kimi网页版和Kimi智能助手APP。
3.【月之暗面创始人杨植麟：Kimi月活已超3600万，还在持续更快增长】11月16日，月之暗面创始人杨植麟在沟通会上透露，AI助手Kimi在10月月活超过3600万，而且还在持续更快的增长。当天，月之暗面发布了最新的数学模型k0-math，它具备很强的深度思考能力。杨植麟表示，该数学模型的推出有两个层面的价值，一是在教育场景应用，二是，这也是公司技术迭代和验证，未来会持续把技术放在更多场景里，比如，KIMI探索版。4.【可口可乐发布首个完全由 AI 生成的广告：致敬 1995 年经典，但反响不如预期】11 月 16 日消息，游戏媒体 IGN 11 月 16 日发布博文，报道称可口可乐公司推出了首个完全由 AI 生成的视频广告，长度为16秒，致敬1995年经典“Holidays Are Coming”广告，但推出后遭遇巨大争议。
可口可乐公司于1995年发布的“Holidays Are Coming”广告无疑是一代经典，成为不少美国人的美好回忆。可口可乐最新制作了16秒的广告，从配乐到那辆大而亮的卡车，与原版非常相似，这也是可口可乐首个完全由人工智能生成的广告。但该广告并未赢得太多人的认可，社交媒体上充斥着对广告的负面评论，许多网友称其为“垃圾”、“尴尬”甚至“令人毛骨悚然”。
尽管受到批评，广告的制作团队仍然为使用 AI 的效率辩护。创始人杰森・扎达指出，AI 制作广告的速度是传统方式的五倍，这在生产时间上带来了巨大优势。
此外，如果您还想查公司、找项目、看行业，深入了解人形机器人、商业航天、AGI等热门赛道，欢迎加入睿兽分析会员，解锁相关行业图谱和报告等。（活动期间加入会员可免费获赠一份产业日报）👇👇
