字节推出形式化数学推理专用模型Seed Prover 1.5！科创人工智能ETF华夏(589010) 午后拉升涨超1.2%，星环科技领涨逾7%

截至14点08分，科创人工智能ETF（589010）在午后延续强劲走势，上涨1.28%，价格直逼日内高点，目前正处于均线支撑上方运行。持仓股方面多点开花，超八成个股飘红，其中星环科技-U与恒玄科技双双大涨超7%，带动板块情绪显著回暖。流动性方面，成交额突破4100万元，市场交投活跃，资金承接有力，显示出投资者对科创AI赛道修复行情的信心正在增强，建议关注后续量能配合情况。

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

银河证券表示，中国人工智能产业已初步构建覆盖基础层、技术层与应用层的完整体系，国产产品在硬件、软件、机床、机器人以及通信领域逐步实现技术自主可控。市场普遍对替代前景持乐观态度，中国人工智能市场规模2022年超过400亿美元，预计2030年突破1500亿美元。

科创人工智能ETF华夏（589010）紧密跟踪上证科创板人工智能指数，覆盖全产业链优质企业，兼具高研发投入与政策红利支持，20%涨跌幅与中小盘弹性助力捕捉AI产业“奇点时刻”。