Group 1 - The fire in Hong Kong's Tai Po has resulted in 94 fatalities, with 78 injured, including 12 in critical condition [2] - Ideal Auto's CEO Li Xiang admitted to governance errors and announced a return to a startup model, moving away from a professional management system [5] - ByteDance is reportedly in negotiations to sell its subsidiary, Shanghai Mutong Technology, to Saudi Savvy Games Group, with the outcome still uncertain [13][14] Group 2 - Sichuan province has significantly increased marriage leave from 5 days to 20 days and extended maternity leave for women by 90 days, while also increasing paternity leave for men to 30 days [8][9][10] - Xiaomi, OPPO, and Vivo have canceled their Air model projects, shifting the planned eSIM features to regular models due to poor market performance of similar products [16][17] - NIO's CEO Li Bin stated that the automotive industry is entering a decisive phase, predicting a clearer competitive landscape by 2030 [31]

Core Insights - DeepSeek launched a new mathematical reasoning model, DeepSeekMath-V2, on HuggingFace, featuring a self-verifying training framework [1] - The model is built on DeepSeek-V3.2-Exp-Base and utilizes an LLM verifier to automatically review generated mathematical proofs, continuously optimizing performance with high-difficulty samples [1] - Achievements include gold medal levels in IMO 2025 and CMO 2024, and a score of 118/120 in Putnam 2024, validating the feasibility of self-verifying reasoning paths [1] - The model's code and weights have been open-sourced and are available on Hugging Face and GitHub [1]

DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。 ...