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

11 月 27 日晚，DeepSeek 在毫无预告的情况下，于 Hugging Face 和 GitHub 上开源了全新数学推理模型 DeepSeek-Math-V2，685B 参数，从模型名称就可以直接分辨出这是一款专注于数学方面的模型。这是业内首个达到国际奥林匹克数学竞赛（IMO）金牌水平且全面开源的数学模型，一经发布便引发全球学界与开发者的高度关注。

传奇数学家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此次推出的Math-V2模型不仅在技术上取得了重大突破，也在行业内引发了热烈讨论。许多海外网友表示，DeepSeek的回归令人惊喜，其以显著优势击败谷歌的IMOGold模型更是超出了预期。有网友猜测，DeepSeek可能还隐藏着更多惊喜，例如编程模型的发布。毕竟，在行业头部厂商纷纷迭代模型的背景下，DeepSeek的旗舰模型更新备受期待。

DeepSeek-Math-V2模型在国际数学奥林匹克IMO 2025模拟赛中解出5道题（共6题），在中国数学奥林匹克CMO 2024中获得金牌级评价，更在被誉为“地狱难度”的普特南 (Putnam)数学竞赛2024中取得了118/120的接近满分成绩，远超人类最高分90分。

11月27日晚，DeepSeek悄悄地在Hugging Face 上开源了一个新模型：DeepSeek-Math-V2。这是一个数学方面的模型，也是目前行业首个达到IMO（国际奥林匹克数学竞赛）金牌水平且开源的模型。

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

专注AIGC领域的专业社区，关注微软&OpenAI、百度文心一言、讯飞星火等大语言模型（LLM）的发展和应用落地，聚焦LLM的市场研究和AIGC开发者生态，欢迎关注！DeepSeek发布的DeepSeek-Math-V2，在IMO 2025（2025国际奥数）和CMO 2024（2024中国奥数）上获得了金牌级分数，在Putnam ...

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

12月4日，AI初创公司Axiom Math宣布著名数学家、弗吉尼亚大学前教授小野健Ken Ono加入公司，担任创始数学家（Founding Mathematician）职位。 Axiom ...

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