陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”，让开放模型与可负担的算力成为数学研究的共享基石。
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”，旨在让开放模型与可负担的算力成为数学研究的共享基石。
让开放模型与可负担的算力成为数学研究的共享基石
本条情报归属 AITOP「模型」核心栏目，重点聚焦北美前沿实验室与硅谷科技巨头。在跨区域产业观察坐标中，该动态直接关联「中美大模型技术代差与商业化对照」研究主线，反映出当前技术演进与商业落地的最新风向。涉及核心实体与技术议题包括：SAIR Foundation、开放数学模型计划、陶哲轩、数学研究，读者可通过下方标签进入对应专题页查阅历史脉络与关联对比。
信源核验说明：本文原始线索采编自「量子位」（@量子位的朋友们），经 AITOP 多维评分管线结构化提炼。
DeepMind 把降雨估算做到了 15 分钟一次，精度还提升 30% 以上，SatWeave 还能把多颗卫星拼成一张实时云图。做气象、灾害预警或农业应用的开发者可以直接关注这两个模型能提供什么数据，比传统雷达覆盖范围广得多。
Google 新出的 Gemini 4 Hydrogen 主打快，比 Gemini 3.8 Flash 快 2.5 倍，还带 1M 上下文和 4 档思考模式。跑 agent 或批量任务的开发者可以关注下这个价格和 Terminal-Bench 成绩，算算换过来省不省。
腾讯 Hunyuan Hy4 这次在安全任务上跑赢了 DeepSeek 和 Grok，价格还只要 Grok 的十一分之一，输出 token 也更省。做安全自动化或者想给智能体挑便宜模型的开发者可以看看这份对比数据。
腾讯混元这个 Hy Realtime 语音模型挺有意思，除了对话还能点歌唱歌，跟腾讯音乐团队一起做的，比如你说“放首 2010 到 2020 年的英文民谣”它就唱给你听。还能自己判断什么时候联网搜答案，做智能客服的同学可以关注下它的 API。
中科院团队做的 M³Net 挺有意思，它不再只看单尺度特征，而是像医生那样从整体肺部到结节细节层层分析，在 LIDC-IDRI 数据集上比了十二种算法都有提升，对那种边界模糊的难判断结节特别有用。做医疗影像 AI 的人可以看看它的多尺度对齐思路，论文发在 Information Fusion 上。
中文教育这个细分赛道出垂直模型了，学习者能拿即时评测和答疑，老师一句话生成备课素材，机构还有标准接口可接。做教育产品或对外汉语教学的团队可以看看它开放到什么程度。
