字节推出形式化数学推理 专用模型Seed Prover 1.5

字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。

“杭州六小龙”之一云深处

已公布上百项专利

12月23日，“杭州六小龙”之一的云深处科技启动IPO辅导，辅导券商为中信建投证券。爱企查App显示，杭州云深处科技股份有限公司已公布上百项专利，专利类型涵盖外观设计、发明专利与实用新型，涉及人形机器人、足式机器人、无人机等。

商报记者 吕文鹃 整理