数学推理模型
搜索文档
早报|香港大埔火灾已完成灭火程序;宗馥莉正式卸任娃哈哈董事长;李想称理想汽车将回归创业公司模式;昆明列车碰撞事故造成11人死亡
虎嗅APP· 2025-11-28 07:58
大家早上好!这里是今天的早报,每天早上,我都会在这里跟你聊聊昨夜今晨发生了哪些大事儿。 昨夜今晨 【香港大埔火灾已致94人遇难:已完成灭火程序,后续将全力救援】 此外,普京重申俄方总体上同意将美方解决乌克兰问题的清单作为未来谈判的基础。 【李想承认治理体系错误:李想称理想重回创业公司模式,告别职业经理人体系】 理想汽车昨日发布2025年第三季度财报。据报道,理想汽车CEO李想在财报电话会的一番自白中承认了过去的 错误,过去3年理想都在尝试用职业经理人的组织模式,但这种模式并不符合当下不稳定的市场环境以及理想 实际情况,因此,理想汽车从今年四季度开始全面回归创业公司模式。 【DeepSeek推出DeepSeekMath‑V2 模型】 据香港电台等港媒报道,截至11月28日5时,大埔宏福苑火灾已造成94人遇难。78名伤者中,有12人危殆、28 人严重、16人稳定,22人已出院。 香港消防处28日凌晨发布救援工作最新消息称,当天凌晨已完成灭火程序,后续将全力救援,将搜索所有房屋 确保无其他被困人员。 【普京:美方代表团将于下周到访莫斯科】 据央视新闻,当地时间11月27日,俄罗斯总统普京表示,美方代表团将于下周到访 ...
重磅!DeepSeek推出DeepSeekMath‑V2模型
每日经济新闻· 2025-11-27 22:46
每经编辑|程鹏 11月27日,DeepSeek在HuggingFace推出新型数学推理模型DeepSeekMath-V2,采用可自我验证的训练框架。该模型基于DeepSeek-V3.2-Exp-Base构建,通 过LLM验证器自动审查生成的数学证明,并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平,Putnam 2024获118/120分。团队 表示,该成果验证了自验证推理路径的可行性,为构建可靠数学智能系统提供新方向。模型代码与权重已开源,发布于Hugging Face及GitHub平台。 编辑|程鹏 杜恒峰 校对|金冥羽 封面图片来源:视觉中国 来源:每经快讯 ...