DeepSeek-Prover-V2发布，数学推理能力显著提升

简报：

• DeepSeek团队发布了DeepSeek-Prover-V2模型，包含7B和671B两种参数规模版本。
• 671B版本基于DeepSeek-V3-Base训练，在MiniF2F-test数据集上达到88.9%通过率。
• 7B版本支持32K token上下文长度，在某些问题上表现优于671B版本。
• 模型采用递归定理证明管道和强化学习技术，将复杂问题分解为子目标进行推理。
• 团队同时发布了ProverBench基准数据集，包含325个形式化数学问题。
• 模型已在Hugging Face和GitHub开源，技术报告同步发布。

阿里通义千问 Qwen3 系列模型正式发布

简报：

• Qwen3 系列模型包括 Qwen3-4B-Base、Qwen3-1.7B、Qwen3-0.6B 及 Qwen3-30B-A3B-Base 四款模型，采用 Apache License 2.0 开源协议。
• Qwen3-4B、Qwen3-1.7B 和 Qwen3-0.6B 分别对应 40 亿、17 亿和 6 亿参数，推测为单架构稠密模型，主打轻量化应用场景。
• Qwen3-30B-A3B-Base 为 MoE 架构基础模型，总参数 300 亿（30B）中动态调用 30 亿（3B）参数处理任务。
• Qwen3 支持高达 256K 的上下文长度，涵盖推理与非推理任务。

5分钟，520公里：这速度有点“神”

宁德时代又整了个大新闻！他们家的“神行”超充电池迎来第二代，这回直接把电动车充电速度卷到了新高度。官方数据是，充电5分钟，续航增加超过520公里——这可不是实验室里的理想参数，而是实打实的技术突破。想想看，一杯咖啡还没喝完，你的电动车就能满血复活，继续狂奔，这感觉怎么样？

5 Minutes, 520 Kilometers: This Speed is a Bit "Godly" 🤯

CATL has dropped another bombshell! Their "Shenxing" (神行) superfast charging battery has ushered in its second generation, directly pushing the charging speed of electric vehicles to a new level. Official data shows that a 5-minute charge can add more than 520 kilometers of range – this isn't just an ideal parameter in the lab, but a real technological breakthrough. Think about it, before you even finish a cup of coffee, your electric car can be fully recharged and continue to sprint. How does that feel? 🤩

OpenAI考虑收购Chrome浏览器

简报： OpenAI的ChatGPT产品负责人Nick Turley在谷歌反垄断庭审中表示，如果法院裁定谷歌必须剥离Chrome浏览器，OpenAI将有兴趣收购该产品。美国司法部此前建议谷歌出售Chrome以恢复搜索市场竞争，法官预计将在8月前作出最终裁决。

医疗新突破！谷歌AI碾压医生，诊断准确率惊人！

🤯 Medical Breakthrough! Google AI Crushes Doctors with Astonishing Diagnostic Accuracy! 🚀

谷歌AI"妙手"：诊断能力超越医生，医疗迎来AI新纪元

AI看病靠谱吗？谷歌最新发布的AI系统AMIE（Articulate Medical Intelligence Explorer）似乎给出了肯定的答案。这款专为临床诊断推理打造的AI，在多项关键指标上，已经超越了经验丰富的医生，为医疗领域带来了一场不小的震动。