【TechWeb】12月1日消息，近日， DeepSeek在Hugging ...

11 月 27 日晚，DeepSeek 在毫无预告的情况下，于 Hugging Face 和 GitHub 上开源了全新数学推理模型 DeepSeek-Math-V2，685B ...

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

论文还提到，Math-V2在IMO 2025和CMO 2024等国际数学竞赛中取得了金牌级成绩，并在Putnam 2024竞赛中通过扩展测试计算实现了接近满分的表现（118/120）。这些成绩充分证明了该模型在数学推理领域的领先地位。DeepSeek团队认为，尽管仍有许多挑战需要克服，但可自我验证的数学推理是一个可行的研究方向，有望推动更强大的数学AI系统的开发。

在AI领域，11月27日无疑是一个值得铭记的日子。DeepSeek团队正式发布了他们的新作——DeepSeek-Math-V2，这款拥有236B参数的庞然大物，采用了前沿的MoE架构，活跃参数仅为21B，同时上下文长度提升至128K tokens，令人期待。

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

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

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

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

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

【ITBEAR】月之暗面公司旗下的人工智能项目Kimi，近日推出了其最新研发的数学推理模型k0-math。据第一财经和新浪科技的联合报道，这款新模型在数学能力方面表现出色，足以与OpenAI的o1系列模型中的o1-mini和o1-preview相媲美。 Kimi的k0-math模型经历了严格的基准测试。