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

据《华尔街日报》，57岁的美国顶尖数学家小野健（Ken Ono）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的学生，一位24岁年轻人洪乐潼（Carina Hong）创办的AI数学公司Axiom Math，成为第15号员工。

传奇数学家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度量的一 ...

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

据悉，57岁的小野健（在美国出生的日裔）即将会卸下他在维珍尼亚大学的数学教授终身职位，而且无意回归学术界。他将会加盟洪乐潼（Carina Hong）在三藩市创办的AI初创公司Axiom Math，追寻其对数学超级智能的梦想。

美媒周四（4日）报道，数学界传奇人物维珍尼亚大学日裔教授小野健（Ken Ono）决定离开学术界，将搬到硅谷加入由他的学生洪乐潼（Carina Hong）与他人合伙创办的的人工智能（AI）初创公司Axiom ...

人工智能领域迎来重大突破，DeepSeek团队近日在Hugging Face平台发布了全新数学推理模型DeepSeek-Math-V2。该模型在定理证明能力上实现质的飞跃，不仅超越了Gemini DeepThink等主流模型，更在国际数学奥林匹克竞赛（IMO）级别的测试中达到金牌标准。