「极客头条」—— 技术人员的新闻圈！
CSDN 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。
整理 | 苏宓
出品 | CSDN（ID：CSDNnews）
-
字节跳动估值达到约 3000 亿美元
-
雷军：小米 SU7 Ultra 目前已有 10% 女性用户预定
-
月之暗面创始人杨植麟：AI 的下一个重要方向是具备 「思考能力」
-
腾讯新一轮内部轮岗：张孝超调任 PCG 负责人，姚晓光聚焦游戏业务
-
李小龙：华为手机无密码完全无法获取数据，拆“内存”都不行
-
苹果用户意外惊喜：多年前 AppleCare+ 服务费突然退回
-
英伟达新一代 Blackwell GPU 被曝存在过热问题，导致交付延迟
-
苹果自研电视在评估中
-
Grok-3 疑似证明黎曼假设，已被暂停训练
-
Rust 基金会发布报告：C++ 与 Rust 互操作性取得新突破，未来合作更紧密
-
Kimi 发布新一代推理模型，数学能力对标 OpenAI o1 系列
字节跳动估值达到约 3000 亿美元
据路透社报道，知情人士透露，字节跳动在最近几周联系了投资者，回购报价为每股 180.70 美元（当前约 1308 元人民币），最新估值约 3000 亿美元（当前约 2.17 万亿元人民币）。这是字节跳动自 2022 年以来进行的第三次投资者回购计划，此价格较去年回购价的 160 美元（IT之家备注：当前约 1158 元人民币）上涨 12.9%。一位消息人士称，字节跳动没有任何上市计划，并补充说回购计划是为字节跳动提供流动性的一种方式。
雷军：小米 SU7 Ultra 目前已有 10% 女性用户预定
小米创始人雷军在微博透露，小米 SU7 Ultra 已有 10% 的女性用户预定，他对此表示惊讶。这款高性能车被称为大女主座驾，量产车将于 2025 年 3 月正式发布，预售价为 81.49 万元。此前数据显示，小米 SU7 女性购买者占比达 28%，女性车主预计占比 40-50%。
月之暗面创始人杨植麟：AI 的下一个重要方向是具备 「思考能力」
月之暗面公司创始人杨植麟在沟通会上透露，AI 助手 kimi 每月使用人数已达到 3600 万，且持续增长。公司最新发布的数学模型 k0-math 将在教育场景和公司技术迭代中发挥价值，并计划将其应用于 k12 教育等领域以及提升 kimi 的搜索能力。杨植麟还表示，月之暗面是人数最少但人效比最高的大模型公司，强调团队规模对创新的重要性。
腾讯新一轮内部轮岗：张孝超调任 PCG 负责人，姚晓光聚焦游戏业务
腾讯宣布重要人事变动，副总裁张孝超从微信事业群调任至平台与内容事业群，负责社交平台与应用线。副总裁姚晓光结束兼岗，专注担任互动娱乐事业群天美工作室群总裁，并作为社交平台和应用线顾问，推动业务战略变革。
华为李小龙：华为手机无密码完全无法获取数据，拆“内存”都不行
近期网络传闻一款手机取证机可以读取所有手机信息，无视iOS、安卓锁屏密码读取数据。有博主了解到该产品所属公司创始人，确认这款设备存在，但只是在特定情况下才能做到，至少iPhone没有锁屏密码不行。华为终端BG CTO 李小龙转发消息称：“华为手机没有密码是完全无法获取手机内数据的。要是能找到什么漏洞解密，可以找华为申请奖励。”另外他还强调，“内存”（闪存）拆下来的硬件同样读不到数据，因为保存的全是加密数据。
苹果用户意外惊喜：多年前 AppleCare+ 服务费突然退回
苹果公司向部分用户退款，这些用户曾参与以旧换新活动购买了 AppleCare + 服务。受影响的用户范围涵盖多个 iPhone 型号，从 iPhone 11 Pro 系列到 iPhone 14 Pro 系列。退款金额不等，苹果公司尚未公开退款金额的计算方式。部分用户在收到退款后约两周收到苹果的电子邮件通知。尽管苹果尚未公布退款的具体原因，但已收到退款的用户反馈显示退款已成功打入他们的账户。建议曾购买 AppleCare + 服务并参与过以旧换新活动的用户，若尚未收到退款，可尝试联系苹果客服获取更多信息和帮助。
英伟达新一代 Blackwell GPU 被曝存在过热问题，导致交付延迟
当地时间周日，据《The Information》报道，英伟达新一代 Blackwell 处理器在高容量服务器机架中存在严重的过热问题。这些问题导致设计调整与项目延期，使谷歌、 Meta 和微软等主要客户对能否按计划部署 Blackwell 服务器感到担忧。
知情人士透露，Blackwell GPU 专为 AI 和高性能计算（HPC）设计，但在配置 72 个处理器的服务器中出现过热问题，此类服务器每个机架功耗最高可达 120 千瓦。过热问题迫使英伟达多次修改机架设计，不仅限制了 GPU 性能，还可能损坏硬件。客户因此担心，这些技术问题会延迟数据中心的处理器部署进程。
苹果自研电视在评估中
苹果公司正考虑制造苹果电视，同时还在开发一款类似 iPad 的智能家居显示器，旨在控制智能家居设备并成为家庭智能中枢。如果这款设备成功，苹果电视有望推出上市，但可能需要几年时间。自 2014 年起，苹果通过 HomeKit 套件布局智能家居领域，允许用户连接操控支持 HomeKit 协议的智能家居设备。随着智能家居市场竞争加剧，苹果以其影响力和号召力，正成为该领域的重要竞争者。
Grok-3 疑似证明黎曼假设，已被暂停训练
马斯克 xAI 实验室的研究员 Hieu Pham 在 X 上发文称其开发的人工智能模型 Grok-3 已经证明了「黎曼假设」。黎曼假设是由德国数学家波恩哈德·黎曼 1859 年提出，是千禧年七大假设之一。这一消息引起了广泛关注，因为如果证明被确认为正确，这将是一个极其重大的数学突破。作为预防措施，团队决定暂停对 Grok-3 的进一步训练，以检查其证明的正确性。并且，如果证明确实无误，他们计划不再继续训练该 AI，因为担心其过于高级的智能可能对人类构成潜在威胁。不过，从评论区的讨论来看，这似乎是一个玩笑。
Rust 基金会发布报告：C++ 与 Rust 互操作性取得新突破，未来合作更紧密
谷歌年初向 Rust 基金会捐赠 100 万美元，推动 C++ 与 Rust 的互操作性改进，引起广泛关注。Rust 基金会发布的报告显示，已取得显著成果，首要任务是增强 Rust 功能性和解决技术难题，为两种语言长期互操作打下基础。面临内存管理和类型系统差异等难题，多个社区项目如 BuFFI 已展开以促进语言融合。Rust 基金会强调与 C++ 社区的紧密合作，共同探索利用双方语言优势，旨在未来实现无缝协作，提升开发者编程体验。
Kimi 发布新一代推理模型，数学能力对标 OpenAI o1 系列
Kimi 公司发布新一代数学推理模型 k0-math，该模型在多个数学基准测试中表现优异，超过 OpenAI 的 o1-mini 和 o1-preview 模型。k0-math 模型和 Kimi 探索版将在未来几周内分批上线至 Kimi 网页版和 Kimi 智能助手 APP。
CSDN学院新课上新了，前京东研发工程师、60万程序员粉丝的程序员小灰亲授的「算法与数据结构」课程来了。