11月27日晚，中国AI公司DeepSeek悄然在Hugging Face平台开源了其最新成果—— ...

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

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

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

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

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

Actuarial Science student Olivia Suarez is turning her love of numbers into a way to help people while strengthening the ...

传统的AI训练模式往往陷入“结果导向”的陷阱，即只要最终答案正确就给予模型奖励（Reward）。这种机制容易导致AI产生投机行为，为了获取奖励而猜测答案，即便中间逻辑混乱甚至错误。DeepSeek在技术论文中一针见血地指出，正确的答案并不保证正确的推 ...

It all started with an innocuous TikTok video posted by a high school student named Gracie Cunningham. Applying make-up while speaking into the camera, the teenager questioned whether math is “real.” ...

一个看似激进但有希望的尝试，“数学+AI”的吸引力与潜力真的到了转折点。

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

Math proficiency scandal shows need for standardized tests and folly of dumbing school down” (Nov. 30): Common Core Math was ...