夜雨聆风大家好，我是AI视听小学生。
今天AI圈又炸了！DeepSeek旗舰模型转正、马斯克要建10GW超级算力帝国、AI竟然攻克了困扰数学家150年的难题……一起来看看今天最炸裂的7条AI新闻！
🚀 DeepSeek V4 Pro正式上线！Agent能力拉满，同时宣布调价
8月13日凌晨，DeepSeek正式将API模型版本切换至DeepSeek-V4-Pro-0813，Chat端与开发者接口同步生效。正式版最大亮点是强化了智能体编排能力——原生接入Responses API、Codex工具链与函数调用，首次支持原生图像推理。基准测试中，DeepSWE得分从12.8飙升至62.7，Terminal Bench获得87.9分，在CyberGym和AutomationBench两项评测中甚至超过了Anthropic的Fable 5。定价方面，输入3元/百万Token、输出6元/百万Token。来源
同时，DeepSeek宣布8月17日起实施峰谷定价：高峰时段（9:00-12:00、14:00-18:00）输出价格最高27元/百万Tokens，空闲时段降至高峰的50%。还开源了Agent开发框架DeepSeek Harness，采用MIT协议，"一切皆插件"设计，支持会话日志、轨迹回放等调试能力。来源
小学生点评：DeepSeek这次真的猛！V4 Pro不仅Agent能力直接对标甚至超过Claude Fable 5，还搞了个峰谷定价引导错峰使用——这波操作既照顾了开发者的钱包，又优化了算力资源分配。从"价格屠夫"到"Agent王者"，DeepSeek的进化速度让人头皮发麻。
⚡ 马斯克放话：已建成全球最强AI集群，2027年扩到10GW
马斯克在SpaceX员工会议上宣布，SpaceXAI（原xAI）已建成全球最强AI训练集群，当前供电容量约1.4GW，计划2027年底提升至10GW——规模扩大约7倍，训练能力提升至当前的10倍。他预测，若10GW算力全面投运，按每瓦30-50美元价值测算，相关AI业务年收入有望达到3000亿至5000亿美元。不过这些数据目前尚未获得第三方验证。来源
小学生点评：10GW什么概念？相当于10座核电站的发电量全给AI训练用！马斯克这波画的饼确实够大，但考虑到他确实把火箭回收都搞定了，还真不能小看。如果真能实现，AI算力将进入一个全新的量级，整个行业格局可能被彻底改写。
🧮 Claude攻克黎曼猜想关键一步！150年数学难题迎来重大突破
Anthropic的一个未公开版Claude取得了重大数学突破：将黎曼Zeta函数在临界线上零点的已证明下界从41.6%提升到了67.2%——这是几十年来该问题的首次重大进展！虽然没完全解决黎曼猜想（价值100万美元奖金），但已经是里程碑级别的成果。来源
最惊人的是过程：一名没有深厚数学背景的Anthropic员工让Claude尝试解题，系统自动编排了约60个子智能体，丢弃了650个失败方案，执行了2400条Shell命令，处理了3100万Token输出，最终用Lean证明助手完成了形式化验证。Anthropic内部数学家和外部数论专家共同验证了结果。
小学生点评：这可能是AI做科研最震撼的一次展示！不是人教AI怎么做，而是AI自己组织团队、自己试错、自己验证，最终做出了人类数学家几十年没做到的事。60个子智能体协作、丢弃650个失败思路……这不就是AI版的"科研团队"吗？如果这种多智能体模式能普及，未来科研的方式将被彻底改变。
📱 Google Gemini月活突破10亿！语音交互占63%
Google CEO Sundar Pichai确认，Gemini应用月活用户突破10亿，成为Google第14个月活破10亿的服务。这意味着Gemini已经和ChatGPT站在了同一量级（ChatGPT于今年6月达到10亿月活）。来源
关键数据：语音命令占Gemini交互的63%，每日图像生成量超过1.5亿张，独立iOS应用月活超1亿。Google能到这个规模，靠的是把AI嵌入搜索、Android、Chrome、Workspace等所有产品线——当你是操作系统+浏览器+办公套件的主人时，10亿用户不过是分发渠道的延伸。
小学生点评：Google这波赢在生态！别人做AI产品是从零开始找用户，Google是直接把AI塞进已有10亿用户的产品里。语音交互占63%这个数据很有意思——说明大家越来越习惯"说话"而不是"打字"来用AI了。未来AI助手的入口可能真的是你的嘴巴。
🔥 阿里千问开源2.4T万亿参数模型！MoE架构95B激活参数
8月12日，阿里正式开源Qwen3.8-2.4T-A95B——这是Qwen3.8-Max的核心模型，总参数量2.4万亿，每次推理仅激活950亿参数，采用MoE混合专家架构。模型在Hugging Face上提供BF16和FP8两种精度下载。来源
同日，阿里云还宣布灵骏真武M890超节点实例正式上线，这是国内首个成功运行超2万亿参数大模型的超节点算力，Kimi K3、Qwen3.8-Max均已通过该实例对外服务。支持FP8、FP4低精度计算，卡间互联带宽达800GB/s，训练性能比上一代提升3倍。来源
小学生点评：2.4万亿参数还开源！阿里千问这波格局打开了。之前Kimi K3以2.8万亿参数成为史上最大开源模型，现在Qwen也跟上节奏。加上真武M890超节点能直接在云端跑2万亿参数模型，国内大模型的基础设施越来越完善了。开源才是王道，闭源玩不下去了。
💰 Databricks融资50亿美元！估值1900亿创AI领域纪录
8月13日，数据与AI平台Databricks完成了50亿美元融资，估值达到1900亿美元，创下AI领域最大单轮融资纪录之一。本轮由Blackstone、Coatue、Founders Fund、Sequoia Capital、Thiel Capital等顶级机构联合投资。来源
同一天还有多笔重磅融资：Moonshot AI（月之暗面）以35亿美元估值350亿美元完成融资，为IPO做准备；瑞典AI编程平台Lovable以133亿美元估值完成4亿美元C轮融资，年化收入已达5亿美元。来源
小学生点评：50亿美元单轮融资，整个AI行业的钱都在加速往基础设施和数据平台跑。Databricks做的是"帮企业用AI处理数据"的底层活，不抢大模型的聚光灯，但赚得比谁都实在。加上月之暗面要IPO了、Lovable年入5亿美元——AI领域的商业化正在加速落地，不只是PPT了。
🎵 MiniMax Music 3.0开源！一键生成完整五分钟歌曲
8月13日，MiniMax发布了开源音乐模型Music 3.0，可以一次性完成作曲、编曲、演奏和制作整首五分钟的歌曲。模型采用开放权重，开发者可以自由下载部署。这是目前开源领域最强的端到端音乐生成模型。来源
小学生点评：以前AI做音乐都是"拼积木"——先生成旋律、再加伴奏、最后混音。MiniMax这波直接"一条龙"搞定，五分钟的歌一次出！对于独立创作者和短视频UP主来说，这简直是降维打击。未来做音乐可能真的不需要会乐器了——但审美和品味依然是人独有的。
以上就是今天的AI新闻全部内容！你觉得哪条最炸裂？是DeepSeek的V4 Pro、马斯克的超级算力计划，还是Claude攻克数学难题？欢迎在评论区聊聊你的看法～
别忘了点赞、在看、转发三连，让更多朋友看到今天的AI大事！我们明天见～
Tips：有你们的支持，就是我最大的动力~~~、