Group 1 - The world's first active AI headphones with visual perception capabilities have been launched by Lightwave Technology, aiming to serve as a personal assistant for high-frequency tasks in daily life and work scenarios [2] - Xiaomi's founder Lei Jun introduced the self-developed open-source inference model MiMo-V2-Flash, which features 309 billion parameters and ranks among the top two global open-source models in multiple agent evaluation benchmarks [2] - ByteDance's Seed team announced the release of the formal mathematical reasoning model Seed Prover 1.5, which achieved a score of 35/42 in generating complete verifiable proof code for the first five problems of IMO 2025 [2] Group 2 - The South Korean government plans to invest 700 billion KRW (approximately 478 million USD) next year to support AI transformation projects in the manufacturing sector, including the development of AI chips and the export of AI factories [2]
字节推出形式化数学推理专用模型Seed Prover 1.5；雷军介绍小米开源推理模型MiMo-V2-Flash丨AIGC日报
创业邦·2025-12-25 00:12