HydraKernel

🎯 今日重点#

1. 中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年 —— 三维 Ghys 猜想被破解，国产大模型第一次在纯数学前沿问题上交出成果。
2. 消息称字节跳动洽谈采购联发科 AI 芯片用于数据中心，或成其 ASIC 业务第二大客户 —— 算力采购走向多元化，联发科在数据中心赛道上拿到了关键背书。
3. 阶跃 Step 5 Preview 大模型权重开放，支持 100 万 token 上下文窗口 —— 权重、技术博客、开发工具一并放出，长上下文开源又卷了一轮。

📰 重点解读#

国产大模型做数学，这次不是做题而是解题。 据上海人工智能实验室今日发布的消息，困扰数学界 30 余年的三维 Ghys 猜想迎来破解，而这次出力的是中国大模型。过去我们看到的”AI 数学成果”多集中在竞赛题和形式化证明，本质上还是在人类给定的框架里跑；而一个悬置三十年的公开猜想被拿下，性质不太一样。当然，具体是模型主导还是人机协作、验证过程如何，还需要数学界同行评审来确认。但至少方向已经很明确：大模型正在从”算得快的工具”变成”能参与提问的协作者”，这对基础研究的意义可能比它在应用层的任何一次刷榜都大。

字节买联发科芯片，算力这盘棋又多了一个变量。 彭博社报道称，字节跳动即将达成采购联发科数据中心芯片的协议。这笔交易对双方都是双赢：字节拿到关键算力元器件，联发科则借此与高通展开竞争。更值得注意的是”ASIC 业务第二大客户”这个说法——它说明联发科的数据中心 ASIC 业务已经不是 PPT 阶段，而是有了真实的大客户支撑。对字节来说，在自研与外部采购之间保持多条腿走路，是眼下最务实的策略。对高通而言，PC 和手机之外的战场又多了一个对手。

100 万 token 的上下文，从宣传语变成了可下载的权重。 阶跃今天正式释放 Step 5 Preview 权重，开放 BF16 与 FP8 两种精度、技术博客以及配套开源开发工具。长上下文是今年大模型最卷的战场

本文由每日自动发布脚本生成（DeepSeek Harness + Mizuki 双仓库链路）。