字节推出形式化数学推理专用模型Seed Prover 1.5，AI人工智能ETF(512930)红盘向上

截至2025年12月24日 13:01，中证人工智能主题指数(930713)上涨0.03%，成分股北京君正(300223)上涨 11.33%，深桑达A(000032)上涨6.38%，德赛西威(002920)上涨2.84%，浪潮信息(000977)上涨2.45%，中 科星图(688568)上涨2.31%。AI人工智能ETF(512930)上涨0.09%， 冲击4连涨。最新价报2.16元。 消息面上，字节跳动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大模型商业化进程持续推进，降本成为关键路径。长江证券认为，谷歌发布Gemini 3.0 Flash版本，旨 在以更低的成本提供前沿智能水平，反映出当前AI行业已从技术验证转向商业化落地阶段，而成本控 制成为影响用户采纳 ...