每日经济新闻 2025-12-24
字节推出形式化数学推理专用模型Seed Prover 1.5!科创人工智能ETF华夏(589010) 午后拉升涨超1.2%,星环科技领涨逾7%
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_caijing1.html

 

截至 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 产业 " 奇点时刻 "。

每日经济新闻

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

人工智能 etf 数学 ai 星环科技
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论