在人工智能领域，数学推理能力的突破一直是备受瞩目的焦点。近日，DeepSeek在Hugging Face平台悄然开源了一款名为DeepSeek-Math-V2的数学模型，这一动作迅速引发了行业内外的广泛关注。该模型不仅成为行业首个达到国际奥林匹克数学竞赛（IMO）金牌水平且开源的模型，更在数学推理能力上展现出了卓越的实力。

市场方面，上周通信（申万）指数上涨8.70%，同期上证综指上涨1.40%，深证成指上涨3.56%。上周，我们观察到国产算力和太空算力迎来新进展：1）国产算力：阿里发布FY2Q26财报，阿里云季度营收同比+34%超出彭博一致预期，公司或将在此前提出的3800亿投入的基础上额外新增投资；DeepSeek开源新模型DeepSeek- ...

CAPE TOWN, Dec. 11 (Xinhua) -- Matric exam papers were leaked ahead of the tests in South Africa, with two officials from the Department of Basic Education (DBE) suspended, Minister of Basic Education ...

最终，他们得到了 DeepSeekMath-V2 模型，其展现出了强大的定理证明能力：在 IMO 2025 和 CMO 2024 上取得金牌级成绩，并在 Putnam 2024 中以扩展测试计算实现了接近满分的 118/120。

12月17日上午10:30，香港中文大学（深圳）荣幸地邀请到 加州大学伯克利分校数学系荣休杰出数学教授及研究生院教授Kenneth A. Ribet做客大师讲堂。他将以“斐波那契《平方数书》与同余数问题” 为主题做英文演讲。

作者：白铂 博士 白铂 博士，华为 2012 实验室理论研究部主任 信息论首席科学家 2022 年底，ChatGPT 横空出世，其能力震惊了整个世界。2024 年底，DeepSeek ...