每经记者｜赵雯琪 每经编辑｜董兴生
｜ 2025 年 12 月 25 日 星期四 ｜
NO.1 孙进担任东方甄选执行总裁
12 月 24 日，有市场消息称，俞敏洪任命新东方集团副总裁孙进担任东方甄选执行总裁。东方甄选方面向 《每日经济新闻》 记者确认，孙进担任东方甄选执行总裁情况属实。公开资料显示，孙进于 2006 年加入新东方，现任新东方教育科技集团副总裁、广州学校校长。其深耕出国考试培训领域，同时有着丰富的校区管理经验和教学、运营经验。11 月 6 日，新东方创始人、东方甄选行政总裁俞敏洪曾在其社交平台宣布东方甄选前 CEO（首席执行官） 孙东旭已正式离职。
点评：俞敏洪任命孙进担任执行总裁，体现出内部培养、稳健过渡的管理思路。当前直播电商行业竞争日趋激烈，内容同质化、流量成本攀升等问题凸显，东方甄选需在巩固现有优势的同时，持续探索差异化路径。此次人事安排或有助于稳定团队，但其能否在电商赛道实现突破，仍需观察后续战略与执行效果。
NO.2 京东：七鲜小厨在北京已开出 30 家门店
12 月 24 日，京东黑板报发布消息称，京东旗下餐饮平台七鲜小厨自今年开出首店后，用 4 个月时间便在北京开出 30 家门店，基本实现五环内主要城区全覆盖。
点评：当前生鲜零售与即时餐饮竞争激烈，盒马、美团等平台已占据相当市场份额。京东依托供应链与物流优势切入，有助于提升消费频次与用户黏性，但线下门店运营、品类差异化及持续盈利能力仍面临考验。快速覆盖利于抢占点位，但其长期发展需在效率与体验间找到平衡。
NO.3 字节推出形式化数学推理专用模型 Seed Prover 1.5
12 月 24 日，字节跳动 Seed 团队宣布推出形式化数学推理专用模型 Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 「IMO 2025」 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。Seed Prover 1.5 的技术报告已对外公开，后续将开放 API，邀请感兴趣的数学和 AI 研究者体验该模型。
点评：字节跳动在形式化数学推理领域的突破，反映出 AI 行业竞争正加速向高门槛专业领域纵深。当前，头部科技公司均在强化垂直能力建设，数学、科学计算等严谨推理赛道成为构建技术壁垒的关键。此举短期内主要提升字节技术声誉与学术影响力，但商业转化路径较长，需与教育、科研等场景深度结合。开放 API 有助于生态培育，但面对国际顶尖团队的竞争，持续投入与场景落地能力将是长期考验。
免责声明：本文内容与数据仅供参考，不构成投资建议，使用前请核实。据此操作，风险自担。
文章转载自 每经网
