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

Group 1 - The core viewpoint of the news highlights the ongoing advancements in AI technology and its commercialization, with a focus on cost reduction as a key strategy for adoption [2] - The Zhongzheng AI Theme Index (930713) has shown a slight increase of 0.03%, with notable gains from constituent stocks such as Beijing Junzheng (300223) up 11.33% and Deep Sanda A (000032) up 6.38% [1] - The AI ETF (512930) has also experienced a minor increase of 0.09%, indicating a positive trend in the AI investment landscape [1] Group 2 - ByteDance's Seed team has launched the Seed Prover 1.5 model, which achieved a score of 35/42 in generating verifiable Lean proof code, meeting the gold medal standard for the IMO 2025 [1] - Longjiang Securities notes that Google's release of the Gemini 3.0 Flash version aims to provide cutting-edge intelligence at a lower cost, reflecting a shift from technology validation to commercial implementation in the AI industry [2] - The top ten weighted stocks in the Zhongzheng AI Theme Index account for 63.92% of the index, indicating a concentration of investment in key players within the AI sector [3]