Puzzles are a hands-on way to explore simpler and complex mathematical relationships, for everyone from kids to calculus ...

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

One in eight freshmen at UC San Diego place below high-school levels in math, according to a university report. One in 12 do ...

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

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

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

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在技术论文中一针见血地指出，正确的答案并不保证正确的推 ...