[开源日报 | 2024 系统编程语言调查报告；M4 MacBook Air 明年发布；IBM 为开源项目提供永久免费服务器；智能代理 RAG 与传统 RAG 区别；中国 AI 的趋势与思考]
# 2024.12.24
今日要闻
小米申请注册 “Xiaomi Open Source” 商标
近日，小米科技有限责任公司申请注册多枚 “Xiaomi Open Source” 商标，国际分类包含广告销售、网站服务、科学仪器等，当前商标状态均为等待实质审查。
2024 年系统编程语言调查报告：Rust 稳居榜首、Zig 紧随其后、Ada 潜力巨大
《2024 年系统编程语言调查报告》对 C、Rust、Ada、Zig、Odin 和 Jai 等主流系统编程语言进行了全面的比较和评估，涵盖了性能、基本类型系统、泛型、内存安全（空间安全 & 时间安全）、模块和包系统，以及独立编译等多个维度。
根据上述维度，这份报告针对这些主流的系统编程语言进行了评分，结果如下：
C
平均值：3.7 +/- 2.9
中位数：2.5
Ada
平均值：5.7 +/- 2.6
中位数：6.25
Jai
平均值：4.75 +/- 3.0
中位数： 5.0
Rust
平均值：7.8 +/- 2.3
中位数：9.0
Zig
平均值：7.9 +/- 2.1
中位数：8.5
Odin
平均值：6.4 +/- 1.7
中位数：6.5
Hare
平均值：6.2 +/- 2.7
中位数：7.0
苹果将于 2025 年发布 M4 MacBook Air
记者 Mark Gurman 透露，苹果将于 2025 年推出新款 MacBook Air，届时将搭载 M4 处理器亮相，同时 Gurman 还提到，苹果还会带来第 11 代入门款 iPad。
目前，据知情人士透露，M4 的 MacBook Air 已开始进入量产阶段，将搭载 M4 处理器，外观与此前的 M3 MacBook Air 保持一致，代号为 J713 和 J715，分别为 13 英寸和 15 英寸两个版本的 MacBook Air。
星动纪元发布端到端原生机器人大模型 ERA-42
星动纪元端到端原生机器人大模型 ERA-42 正式亮相，官方称其为**「纪元原生机器人大模型」**。
星动纪元称，这是业界首次仅通过同一个具身大模型就实现了五指灵巧手像人手一样使用多种工具完成上百种灵巧复杂操作任务。模型不需要任何预编程技能，完全基于其泛化和自适应力，能在不到 2 小时内通过收集少量数据就学会执行新的任务。
博通 CEO：正忙于 AI 半导体业务，目前对收购 Intel 没有兴趣
博通 CEO 陈福阳（Hock Tan）在接受媒体采访时表示，目前对收购陷入困境的竞争对手 Intel 没有兴趣，因为正忙于将博通打造成 AI 领域的强者。
陈福阳指出，博通正在 AI 芯片领域努力增加市场份额，他表示这一任务占据了他的大部分资源和注意力，并且他也没有收到参与收购 Intel 的邀请。
陈福阳还提到，自从 2018 年美国总统以国家安全为由阻止博通收购高通后，他就对敌意收购失去了兴趣，当时博通的注册地还在新加坡，但后来已经转移到了美国。博通和 Intel 的市值自 2022 年底 AI 火热以来呈现出相反的走势，今年，博通的市值已经翻倍，达到 1.03 万亿美元，而 Intel 的市值则下跌了一半以上，目前市值为 820 亿美元。
罗永浩「最后一次创业」最新进展：密集招聘大模型人才，或开发 AI 硬件
根据凤凰网科技的独家报道，按照计划，罗永浩创立的初创公司 —— 细红线将在 2025 年春节前后发布首款新品。
细红线是罗永浩在两年前宣布创办的 AR 公司，也被称作罗永浩的最后一次创业。从招聘平台公开的信息来看，细红线正在招聘 AI 产品经理、数据标注实习生、大模型算法工程师等岗位。
从职位要求来看，细红线可能正在打造融合大模型的硬件。 而据凤凰网科技报道，罗永浩的细红线将在蛇年春节前后发布首款新品。据了解，这个新品的主菜是软件方案，并附带了一款 AI native 硬件。
报道称，2024 年一季度，团队最终决定将软件的开发方向固定在 AI Agent 上。报道指出，目前细红线仍在大力招聘 AI 算法工程师。主要任务就是探索大模型与端侧应用结合的软硬一体交互技术，主要工作内容也是领域大模型的训练微调、智能体构建、RAG（检索增强）、多模态理解等。
值得注意的是，今年 1 月份，也曾有报道称 “罗永浩的细红线公司业务从 AR 转向大模型” 一事，当时细红线内部人士回应称：报道不实，罗永浩仍专注于 AR 软硬件。
今日观察
社交观察
从截图还原网页，Claude sonnet 3.5 最强，o1 都比不上
Claude：
GPT-4o：
- 微博 宝玉 xp
IBM 云计算平台为开源项目提供永久免费服务器
IBM 云计算平台为开源项目提供永久免费服务器，提供 2 核心 8GB 内存 100GB 硬盘。
申请链接：https://community.ibm.com/zsystems/form/l1cc-oss-vm-request/
- 微博 林亦 LYi
智能代理 RAG 与传统 RAG 区别
看到了 Daily Dose of Data Science 发布的智能代理 RAG 与传统 RAG 区别图，讲下我的理解：
传统 RAG 没有推理过程，基本是在向量数据库获取到数据后，直接回复结果。并且，传统 RAG 的触发只有一次，即用户提问 ->RAG 生成结果。这一条路径。因此搜索的对不对。搜索结果跟用户提问是否相关这一切都要看脸。如果搜索出来的风马牛不相及，最后 LLM 就会硬回答，得到的结果比出现幻觉还要离谱。
另外传统 RAG 只有检索向量数据库这一个步骤，检索完毕了是否要计算？是否要二次清洗？是否要聚合？这些完全都没有。
而智能代理 RAG 就是为了解决这些问题的。智能代理 RAG 在系统的每个阶段都引入 Agent，然后 LLM 决定下一步该干什么，而不是无脑搜向量数据库。当得到初步结果后，Agent 会讲优化后的 prompt + 结果重新塞给 LLM，来确定是否需要更多信息或者进行处理。处理完毕后，还要检查答案相关性。最后再将结果反馈给用户。
- 微博 karminski - 牙医
媒体观察
人形机器人产业不能仅满足于概念的狂欢
近年来，人形机器人商业化 “元年论” 屡见不鲜。2025 年再次被冠上人形机器人商业化元年之名。但笔者认为，这更多像是一种对未来的期待。人形机器人产业不能仅满足于概念的狂欢，而应理性看待行业现实的处境。
- 证券日报
我国数字经济核心产业企业总量突破 450 万家
根据全国组织机构统一社会信用代码数据服务中心统计数据，截至 2024 年 11 月 30 日，我国数字经济核心产业企业总量超过 457 万家，与 2023 年底相比增长 17.99%。
- 新华社
新旦智能，深圳走出一个隐秘 AI 团队
这位前腾讯 AI 员工，有着近 10 年的互联网 SaaS 和 AI 从业经历。与多数大模型公司不同的是，成一鹏和团队早早就意识到 “粗放式算力的不可持续性”，转而借助算法和架构的深究进入到 AI 的下一个阶段：复杂智能体架构。他将未来的 AI 行业称为 “后算力时代”，对应此前走过的 AI 1.0 时期，AI 原生应用将会在下一个阶段爆发。
- 投资界
2025 年，中国 AI 的趋势与思考
两年前，ChatGPT 横空出世，掀起一场超强的 “AI 旋风”；最近，OpenAI 用连续 12 天的发布会再次让全球进入 “AI 狂欢”。但不同于两年前的震惊、兴奋与困惑，今天的学界和产业界对于 AGI 路线有了更多的 “中国思考”。
- IT 时报
清华、智谱团队：探索 RLHF 的 scaling laws
数据的多样性和规模：增加训练数据的多样性和数量能够显著提升奖励模型（RM）的性能；
策略训练的效率：初期增加响应样本能够提高策略训练效果，但收益会迅速趋于平稳；
RLHF 的 scaling 效率低于预训练：RLHF 的计算资源投入带来的回报递减，整体 scaling 效率低于模型预训练阶段。
- 学术头条
大模型，在内卷中寻找出口
首先可以感受到的，就是公众和投资者的失望。2023 年，人们都用 “AI 一天，人间一年” 来形容 AI 的发展，美股 “七姐妹”（苹果、微软、谷歌母公司 alphabet、亚马逊、英伟达、特斯拉、Meta）更是在这一股热潮下屡创新高。而近来我们明显看到，这股热情已经回落。
- 脑极体