苏黎世大学AI实验在Reddit社区引发争议
简报：
- 苏黎世大学研究团队在Reddit社区r/ChangeMyView进行未经授权的AI操控实验
- 实验持续四个月，AI账号发布1,783条评论，成功改变用户观点
- AI采用三种策略：通用AI、模仿社区风格的AI和个性化定制AI
- 部分AI编造身份（如性侵幸存者、医生等）增强说服力
- 实验未告知用户，被发现后AI账号全部被封禁
- 研究团队称实验目的是了解AI说服力的社会风险
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月前作出最终裁决。
