美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）今年57岁，学术声誉卓著。但前不久他刚辞去教职，加入了一家成立仅4个月的AI创业公司Axiom Math。 公司的创始人是他曾经的学生洪乐潼，今年24岁。 12月3日，Axiom Math宣布：其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。同一天，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。 洪乐潼形容 ...

伴随模型同步亮相的技术论文 《DeepSeek Math-V2：迈向可自验证的数学推理》显示，该模型在数学推理严谨度、定理证明能力以及多项权威基准上均取得显著突破，部分能力超越了谷歌旗下的 Gemini DeepThink（IMO Gold）。

DeepSeek团队的研究成果表明，DeepSeek-Math-V2模型的核心突破在于成功实现了“自我验证”的数学推理机制。与传统AI数学推理训练方式不同，传统模型的奖励机制仅仅依赖于最终答案的正确性，这种模式容易导致模型在逻辑推理上出现缺陷，成为“自信的骗子”。而DeepSeek-Math-V2则转向了过程导向的训练方法，教会AI如何像数学家一样严谨地审查证明过程。通过模仿人类数学家的思考方式， ...

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

人工智能领域迎来新突破，DeepSeek团队在开源社区Hugging ...

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。

新发布的模型DeepSeek-Math-V2DeepSeek-Math-V2是一个基于DeepSeek-V3.2-Exp-Base的垂类模型，主攻是的数学，数学推理与证明能力很强：在 IMO 2025 与 CMO 2024 上获得金牌水平成绩，并在 Putnam 2024 上通过扩展测试时计算取得几乎满分的 118/120。

谷歌 DeepMind 联合创始人兼 CEO 德米斯・哈萨比斯对当前 AI 创业热潮发出了清醒提醒。德米斯・哈萨比斯认为，部分现象已经显露出不可持续的迹象。 在最新一期《Google DeepMind：The Podcast》播客节目中，哈萨比斯直言 ...

人工智能领域迎来新突破，DeepSeek近日在Hugging Face平台悄然开源了一款名为DeepSeek-Math-V2的数学推理模型。该模型不仅成为行业首个达到国际奥林匹克数学竞赛（IMO）金牌水平的开源项目，更在多项基准测试中展现出超越谷歌旗舰模型的实力，引发全球科技圈关注。

肖杰，杨雯婉，袁程在复分析与算子理论中，Carleson测度和Toeplitz算子既是研究很多问题的工具，也是重要的研究对象。有限型凸域是多复变函数论中一类非常重要的域。本文利用光滑有界的有限型凸域中Bergman核的估计和Kobayashi度量的一 ...

大数据文摘受权转载自头部科技文丨谭梓馨继OpenAI发布GPT-5.1、谷歌推出Gemini 3、Anthropic迭代Claude Opus 4.5之后。11月27日晚间，DeepSeek团队在开源社区低调发布了一款新模型DeepSeekMath-V2，该模型展现出强大的定理证明能力，在IMO 2025和CMO 2024上取得了金牌水平成绩，并在Putnam 2024上取得接近完美的118分（满 ...