据悉，洪乐潼曾是美国斯坦福大学博士生，目前退学创业。她本科毕业于美国麻省理工学院，获数学和物理双学位，后在英国牛津大学获得神经科学硕士学位。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。不久前，洪乐潼入选“福布斯30岁 ...

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

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

【TechWeb】12月1日消息，近日， DeepSeek在Hugging Face平台正式开源了DeepSeek-Math-V2模型，这是全球首个达到国际数学奥林匹克竞赛金牌水平的开源数学模型。该模型基于DeepSeek-V3.2-Exp-Base开发。DeepSeek-Math-V2模型在国际数学奥林匹克IMO 2025模拟赛中解出5道题（共6题），在中国数学奥林匹克CMO 2024中获得金牌 ...

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

DeepSeek-Math-V2是基于DeepSeek-V3.2-Exp-Base开发的，显著提高了数学推理能力。其前身DeepSeek-Math-7b在发布一年多前便以7B参数量达到了与GPT-4和Gemini-Ultra相媲美的表现。新版本不仅在性能上超越了GeminiDeepThink，甚至达到了国际数学奥林匹克（IMO）金牌级别，进一步凸显了其在数学推理领域的实力。

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

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

或许人们还沉浸在Gemini 3带来的冲击中，但就在11月27日晚间，DeepSeek在AI开源社区Hugging Face上发布其最新数学模型DeepSeek Math-V2一事，再次引起AI圈内一片沸腾。 在一同发布的论文中，DeepSeek方面表示，该模型通过自验证的方式突破了目前AI在深度推理方面的局限，尤其是针对大模型在数学领域“只是做题家，难成数学家”的症结，即，只重视答案却无法保证推 ...

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

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