家庭教育暑期打卡活动在微博过暑假 Day232026-08-03 科技新闻速递（AI/算力/开源大模型·10条精简版）每日科技热点 1. OpenAI Astra 攻克10道数十年数学难题：未发布内部模型在高维几何、群论、格密码学给出新证明，Lean形式化、总成本约2000美元，标志AI切入原创数学研究。每日科技 2. GPT-5.6 全线降价：Luna输入输出降80%、Terra降20%，Sol新增Fast mode（2.5倍速/价格翻倍），自称重写GPU Kernel降本20%。3. DeepSeek-V4-Flash 正式版公测：284B MoE激活13B、百万上下文，Terminal Bench 2.1达82.7，缓存命中0.2元/百万tok；双DGX Spark桌面机跑出82 tok/s本地推理。4. MiniMax H3 全模态模型发布：统一文/图/音/视频理解与原生双声道输出，15秒2K，几天内开放权重。5. 小米 MiMo-V2.5 登OpenRouter全球调用榜首：1M上下文全模态+Agent/代码强项，MoE激活42B，API低至1元/百万tok（缓存2分），央视8-2报道。6. 华为 openPangu-2.0-Pro 5050亿参数开源：带权重+推理代码+技术报告上线，昇腾原生训练，面向Agent底座。7. 阿里平头哥 T-Head SAIL 开源：自研AI软件栈对标CUDA生态，真武M890超节点已跑通2万亿参数Qwen3.8，2027/2028规划V900/J900芯片。8. 华为昇腾384超节点累计落地750+套：Atlas 350（950PR）FP4算力1.56P、112GB显存，训练MFU提升30–45%。9. Kimi K3 开源后C端暂停注册：超大参数开放权重多模态推理模型访问过载，OpenRouter多供应商路由比价成采购新范式。10. 商汤 SenseNova-Vision-7B 全开源：单7B模型通吃检测/分割/深度/3D重建，Apache 2.0代码+CC BY-NC权重，视觉大一统信号增强。11. 美股AI链反弹·微软单日+15.51%：单日市值增4497亿美元创纪录，AMD+13%、SK海力士+17.5%、费城半导体+8.19%，AI资本开支疑虑暂缓。无尽夏夏子视角说明：本批避开"Kimi K3登顶/Helios量产/Vera Rubin/AMD Zen6/Qwen3.8"等历史高频条目，转向Astra数学证明、GPT-5.6降价、MiMo-V2.5登顶、openPangu-2.0-Pro、SAIL开源、SenseNova-Vision、DGX Spark本地推理、美股AI反弹等本轮新素材。要不要我把这10条按「模型开源 / 算力硬件 / 产业资本」三类再排个优先级短表？