数学推理模型
搜索文档
早报|香港大埔火灾已完成灭火程序;宗馥莉正式卸任娃哈哈董事长;李想称理想汽车将回归创业公司模式;昆明列车碰撞事故造成11人死亡
虎嗅APP· 2025-11-27 23:58
理想汽车组织架构调整 - 理想汽车CEO李想承认过去3年采用职业经理人组织模式存在错误 不符合当前不稳定市场环境及公司实际情况[5] - 公司宣布从2025年第四季度开始全面回归创业公司模式[5] DeepSeek数学推理模型进展 - DeepSeek推出新型数学推理模型DeepSeekMath-V2 采用可自我验证的训练框架[7] - 模型基于DeepSeek-V3.2-Exp-Base构建 通过LLM验证器自动审查生成数学证明 在IMO 2025和CMO 2024中均达到金牌水平 Putnam 2024获118/120分[7] - 团队表示该成果验证自验证推理路径可行性 为构建可靠数学智能系统提供新方向 模型代码与权重已开源[7] 字节跳动游戏业务动态 - 字节跳动或重启沐瞳科技出售计划 沙特Savvy Games Group正与字节跳动谈判收购其子公司上海沐瞳科技[13] - 2023年11月字节跳动曾寻求以不低于50亿美元出售沐瞳科技 但2024年10月决定保留并更换CEO[14] - 沐瞳科技旗下《Mobile Legends: Bang Bang》在东南亚市场表现强劲 2021年被字节跳动以40亿美元收购 2022年跻身中国游戏出海收入榜第8位[14] 手机行业产品策略变化 - 小米、OPPO、vivo等手机厂商近期已取消Air机型项目 原计划搭载eSIM方案将转移至常规机型[16] - iPhone Air自2025年10月22日发售后市场表现不佳 销量未达预期 富士康已拆除大部分生产线 立讯精密已于10月底停产[17] - 苹果或将下一代iPhone Air从发布计划中移除 但供应商称尚未明确终止 iPhone Air技术或为折叠屏产品做准备[17] 娃哈哈集团管理层变动 - 宗馥莉卸任杭州娃哈哈集团有限公司法定代表人、董事长、总经理职务 由许思敏接任[11] - 杭州娃哈哈集团有限公司成立于1993年2月 注册资本约5.26亿人民币 由杭州上城区文商旅投资控股集团有限公司、宗馥莉等共同持股[11] 台积电与英特尔商业纠纷 - 台积电向智慧财产及商业法院提出对前资深副总经理罗唯仁的诉讼 指控其退休后加入英特尔可能使用或泄露营业秘密[27] - 英特尔否认台积电有关员工泄密相关指控 表示没有理由相信指控具有任何依据 公司实行严格政策严禁使用第三方机密信息[27] 华为新产品发布 - 华为Mate 80系列于11月28日正式开售 搭载HarmonyOS 6操作系统 起售价4699元[28] - 产品具备超透亮灵珑屏、户外探索模式、无网应急通信和第二代红枫影像等四大首发"黑科技"[28] 电力建设行业动态 - 中国电力建设企业协会在北京召开《中国电力建设行业年度发展报告2025》编撰启动会 讨论报告编写大纲、体例和进度安排[29] 蔚来汽车行业展望 - 蔚来CEO李斌表示汽车行业已迈入决赛阶段 竞争格局预计在2030年相对清晰 2035年形成相对稳定局面[31] - 公司未来将专注汽车业务 认为中国汽车市场每年三千万辆左右的总量仍有巨大增量空间[31]
重磅!DeepSeek推出DeepSeekMath‑V2模型
每日经济新闻· 2025-11-27 14:46
模型发布与技术亮点 - 11月27日,DeepSeek在HuggingFace平台推出新型数学推理模型DeepSeekMath-V2 [1] - 模型采用可自我验证的训练框架,基于DeepSeek-V3.2-Exp-Base构建 [1] - 通过LLM验证器自动审查生成的数学证明,并利用高难度样本持续优化性能 [1] - 团队表示该成果验证了自验证推理路径的可行性,为构建可靠数学智能系统提供新方向 [1] 性能表现与成就 - 模型在IMO 2025和CMO 2024数学竞赛中均达到金牌水平 [1] - 在Putnam 2024数学竞赛中获得118/120分的高分 [1] 模型开源与获取 - 模型代码与权重已完全开源 [1] - 开源内容发布于Hugging Face及GitHub平台 [1]