标题：7B的DeepSeek反超R1满血版，上海AI Lab新成果 新方法使DeepSeek的Qwen数学能力超越R1满血版，7B模型反超671B。 上海AI Lab/清华哈工大/北邮团队的研究由齐弼卿和周伯文领导，探讨了Test-Time Scaling (TTS)在不同策略模型、过程奖励模型及问...

今天，月之暗面创始人杨植麟在京东科技大厦宣布，Kimi 数学模型 k0-math 正式发布，对标 OpenAI 的 o1 系列，并公布截至2024年10月，Kimi 月活跃用户已超3600万。 杨植麟表示，未来将更注重强化学习方法，以实现更复杂的任务。传统的Next-Token预测仅基于静态数据集，...

标题：AI开卷数学模型，哪家强？ Kimi近日推出数学版，名为k0-math，据称对标OpenAI o1系列。在MATH、中考、高考、考研四个基准测试中，Kimi数学版的成绩均超过OpenAI o1-mini和o1-preview模型。 Kimi在几何、代数及计算准确性方面表现出色，能够提供多种解题...