「极客头条」—— 技术人员的新闻圈！
稀土掘金 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。
一分钟速览新闻点！
- 小米董事长雷军：我们要做支持苹果生态最好的汽车
- 达摩院公布 2024 阿里巴巴全球数学竞赛决赛试题：五个赛道、8 月出成绩
- 小米 SU7 推送澎湃 OS 1.2.2 新版本，新增制动盘除锈功能
- 月之暗面回应进军美国市场：目前没有开发和发布任何海外产品的计划
- 面临资金短缺的 Stability AI 据悉获新投资，任命新 CEO
- 马斯克 「开源」 X 平台：购买 Premium 订阅，方可直播
- 苹果或将在AI 领域与 Meta 合作
- 特斯拉全球员工仅剩下约 12 万人，今年已裁员超 14%
- 英伟达将为卡塔尔电信公司Ooredoo提供人工智能技术
- SUSE 将操作系统支持期限提高到 19 年
- 华为自研新一代编程语言，仓颉语言首次公开
国内要闻
小米董事长雷军：我们要做支持苹果生态最好的汽车
小米公司董事长雷军在视频中宣布，小米 SU7 能轻松连接 Apple CarPlay，并强调小米要做支持苹果生态最好的汽车。尽管苹果取消了电动汽车计划，小米依然坚定地推进造车计划，并重视苹果用户，希望小米 SU7 成为苹果用户购车的首选。据统计，小米 SU7 车主中，苹果用户占比达到 51.9%。
达摩院公布 2024 阿里巴巴全球数学竞赛决赛试题：五个赛道、8 月出成绩
北京时间 6 月 22 日 24 时，2024 阿里巴巴全球数学竞赛决赛正式结束（https://damo.alibaba.com/events/32024062317190737996317599?language=zh）。本届决赛共有来自全球 17 个国家和地区的 800 多名选手入围。接下来将进入专家组独立阅卷阶段。阅卷包括初评、交叉复审、最终核验等流程。决赛的五个赛道将按成绩分别评出金奖 1 名、银奖 2 名、铜奖 4 名以及优秀奖 10 名。总共 85 人获奖选手名单将于 8 月公布。阿里达摩院还公布数学决赛题目，决赛分为五个赛道，分别为：1、代数与数论；2、几何与拓扑；3、分析与方程；4、组合与概率；5、应用与计算数学。题目包括解答题和证明题，选手可任选一个赛道，赛道一旦确定，不可改变。
阿里巴巴全球数学竞赛自 2018 年发起，旨在通过有乐趣的竞赛激发人们对数学的热爱，与社会各界携手推动这门基础学科的普及。
小米 SU7 推送澎湃 OS 1.2.2 新版本，新增制动盘除锈功能
小米 SU7 车型收到澎湃 OS 车机 1.2.2 新版本推送，增加多项实用功能。包括城市领航辅助功能扩展至 10 个城市，SR 路面感知系统优化，转向影像显示，HUD 抬头显示功能升级，车道级导航支持，制动盘除锈功能以及停车自动拍照功能。这些更新旨在提升驾驶辅助，优化行车安全，便捷和舒适性。
月之暗面回应进军美国市场：目前没有开发和发布任何海外产品的计划
月之暗面否认了其员工正在开发并准备进入美国市场的产品，包括 AI 角色扮演聊天应用程序 Ohai 和音乐视频生成器 Noisee 的传闻。同时，该公司确认正在经历新一轮融资，且腾讯可能成为新的投资者，但未提及融资的具体细节或估值。
国际要闻
面临资金短缺的 Stability AI 据悉获新投资，任命新 CEO
6月21日消息，知情人士称，英国人工智能初创公司Stability AI已任命Prem Akkaraju为新任CEO。Akkaraju曾任视觉特效公司维塔数码CEO。据悉，包括Akkaraju和Facebook前总裁肖恩·帕克在内的一批投资者已向面临资金短缺的Stability AI注资。该公司上月表示，正在与一批投资者洽谈大额股权投资事宜。（The Information）
马斯克 「开源」 X 平台：购买 Premium 订阅，方可直播
特斯拉和 SpaceX 的 CEO 埃隆・马斯克旗下的社交平台 X 推出新策略，向新用户收取小额费用并限制直播功能，仅限购买了每月 8 美元的 Premium 订阅用户使用。此举旨在提升平台营收能力，但网友对此反应不一，有人支持付费高质量服务，也有人担忧这可能导致直播用户数量下降。
特斯拉全球员工仅剩下约 12 万人，今年已裁员超 14%
特斯拉全球员工总数略高于 121000 人，包括临时工，较去年底减少超过 14%。马斯克表示，裁员是为了保持公司精益创新，并为下一阶段增长做准备。公司将进行全面审查，并为优秀员工提供股票期权奖励。
苹果或将在AI 领域与 Meta 合作
据 TechCrunch 报道，苹果正在 Meta 进行谈判，将Meta 的生成式 AI 技术引入 Apple Intelligence 中。苹果并没有把生成式AI当作一个全面重塑或颠覆的机会，而是从在现有产品中添加人工智能功能（如写作建议和自定义表情符号）开始。不过有媒体认为，强调实用性可能才是人工智能被采用的关键。然后，苹果可以利用合作关系来超越自身人工智能模型的能力。因此，与 Meta 达成协议可以让苹果减少对单一合作伙伴的依赖，同时也为 Meta 的生成式人工智能技术提供了验证。目前苹果和 Meta 的谈判尚未敲定，存在失败的可能。双方均未对此事发表评论。
英伟达将为卡塔尔电信公司Ooredoo提供人工智能技术
据彭博，总部位于卡塔尔多哈的电信公司Ooredoo首席执行官称，英伟达签署了一项协议，将在Ooredoo位于五个中东国家的数据中心部署其人工智能技术。Ooredoo在一份声明中表示，这将使Ooredoo成为该地区首家能够让其卡塔尔、阿尔及利亚、突尼斯、阿曼、科威特和马尔代夫数据中心的客户直接访问英伟达的人工智能和图形处理技术的公司。两家公司没有透露这笔交易的价值。（界面）
生成式AI可训练机器人执行多种任务
美国麻省理工学院研究人员为了训练更先进的多用途机器人，开发出一种技术：使用一种称为扩散模型的生成式人工智能（AI），可将不同领域、不同形式的多个数据源整合起来，用于多种任务。假设你想训练一个机器人，让它了解如何使用工具，然后快速学会用锤子、扳手和螺丝刀来维修你的房子。为此，你需要大量数据来演示工具的使用。（科技日报）
程序员专区
SUSE 将操作系统支持期限提高到 19 年
Linux 企业发行版 SUSE 宣布将操作系统 SUSE Linux Enterprise Server (SLES) 15 Service Pack (SP) 6 的支持期限提高到 19 年，成为企业 Linux 市场支持期限最长的操作系统。相比下，它的竞争对手如 Canonical 的 Ubuntu LTS 版的支持期限为 12 年。为什么选择 19 年的支持时间？SUSE Business Critical Linux (BCL) 总经理 Rick Spencer 解释说，是因为 32 位时间计数到 2038 年 1 月 19 日 03:14:08 GMT 将溢出。Linux 内核于 2020 年发布 Linux 5.6 时修复了该问题，但还有很多软件没有解决该问题。
华为自研新一代编程语言，仓颉语言首次公开
日前，华为开发者大会上正式揭晓了自研仓颉编程语言，并发布了HarmonyOS NEXT仓颉语言开发者预览版。这是华为首次公开发布仓颉编程语言。
据仓颉公众号介绍，仓颉编程语言项目于2019年在华为诞生，历经5年研发沉淀，大量研发投入，终于和全球开发者见面。仓颉编程语言通过现代语言特性的集成、全方位的编译优化和运行时实现、以及开箱即用的IDE工具链支持，为开发者打造友好开发体验和卓越程序性能。官方表示，仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。