今日AI新闻晚报（2026-07-20）：全天科技热点一文总结

今日科技圈最受关注的两大焦点：一是国产AI大模型再度传来重磅消息，Kimi K3登顶全球榜首、阿里Qwen3.8预览版亮相、DeepSeek V4灰测曝光，中国AI军备竞赛持续升温；二是数学与AI交叉领域迎来历史性时刻——雅可比猜想被AI找到反例，成为轰动学界的大事。与此同时，新能源汽车、金融市场等领域亦有诸多看点，以下为今日晚报全文。

1. 代数几何著名猜想「雅可比猜想」被AI证伪

北京时间2026年7月20日，数学界传来重磅消息：著名代数几何猜想——雅可比猜想被找到反例，成为AI辅助数学研究的又一里程碑事件。此次证明简洁且可独立验证，引发业内对AI在纯数学领域潜力的广泛讨论。雅可比猜想是代数几何中历史悠久的未解难题，此次被证伪意味着该领域一个重要假说正式画上句号。

来源：知乎

2. Kimi K3大模型登顶全球榜单，美国AI领先中国认知被打破

月之暗面Kimi K3大模型发布后迅速登顶全球权威榜单，多项基准测试超越现有最强模型。彭博社发表评论称，美国在AI领域领先中国的固有认知已被打破，中国AI企业的技术突破正在重塑全球AI竞争格局。Kimi K3的强大表现也直接导致算力需求暴涨，Kimi官方于7月19日宣布暂停C端新用户开放，以保障已有订阅用户的体验。

来源：IT之家

3. Kimi算力告急暂停新用户订阅，K3发布致需求超预期

自Kimi K3发布以来，用户请求量远超预期，逼近现有集群承载极限。Kimi官方7月19日宣布暂停C端新用户订阅，将全部算力投入服务已订阅用户，同时正全力推进算力扩容。Kimi表示将把主权益与Kimi Code权益拆分销售，以更精准匹配算力、保障用户体验。这是国产大模型商业化进程中首次因算力告急而暂停开放，具有标志性意义。

来源：知乎

4. 阿里Token Plan个人版发布，Qwen3.8预览版同时亮相

阿里AI产品线密集上新：Token Plan个人版正式发布，限时优惠每月39元起，降低大模型使用门槛；与此同时，千问Qwen3.8预览版模型上线，拥2.4T参数量，官方宣称“可能是除GPT-5外最强大的模型”。两条产品线同步推进，显示阿里在AI商业化与模型能力两端的全面布局。

来源：IT之家

5. DeepSeek V4正式版灰测曝光：代码游戏能力受关注

近日有网友晒出疑似DeepSeek V4正式版的灰度测试结果，引发业内高度关注。测试主要集中在代码和游戏生成能力上，有测试者称新模型可根据一句话生成《我的世界》《CSGO》类游戏内容，单次生成成本约0.9元。今年4月DeepSeek已上线V4预览版，官方目前尚未公布正式版发布时间，但灰测消息已让外界对正式版充满期待。

来源：知乎

6. 特斯拉因大灯过亮在美国召回近2万辆Model 3/Y

美国国家公路交通安全管理局（NHTSA）披露，特斯拉因大灯过亮问题在美国召回近2万辆Model 3和Model Y，刷新了近年来特斯拉召回规模记录。值得注意的是，此次召回无法通过OTA软件更新解决，需要到店进行硬件维修或更换，引发车主对特斯拉质量管控体系的关注与讨论。

来源：IT之家

7. 比亚迪王朝首款D级旗舰轿车“大汉”实车曝光

比亚迪王朝系列首款D级旗舰轿车——大汉实车今日曝光，定位高于现有秦L系列，是比亚迪冲击高端轿车市场的重磅车型。新车预计将搭载比亚迪最新纯电或插混技术，直接对标蔚来ET9、奔驰EQS等高端纯电旗舰轿车。比亚迪高端化进程再度加速。

来源：IT之家

8. 美国汉堡三巨头温蒂汉堡宣布重返中国，十年千店目标

美国第三大汉堡连锁温蒂汉堡（Wendy's）宣布重返中国市场，立下十年千店目标。温蒂汉堡以方形现煎鲜牛肉饼和常年在线“怼”麦当劳的毒舌营销著称，但多次入华均未能成功。此次加码国内市场，面临华莱士、塔斯汀已深耕下沉市场、麦当劳肯德基稳固中端的格局，能否撕开市场缝隙尚存悬念。

来源：虎嗅

9. 中国平安、新华保险齐发声：坚定看好资本市场

7月20日，中国平安与新华保险先后发布公告，均表态将加大权益资产投资强度，支持科技创新与新质生产力。两大保险巨头同时发声力挺资本市场，在A股震荡调整的背景下，具有较强的政策信号意义。保险资金作为A股重要的长线耐心资本，其态度对市场情绪影响显著。

来源：虎嗅

10. 无问芯穹CEO：算力需求指数级攀升，仅靠产能线性增长已远远不够

2026年世界人工智能大会上，无问芯穹联合创始人兼CEO夏立雪表示，从预训练到后训练、从推理时扩展到智能体扩展，四条Scaling Law正在互相叠加，计算需求正以指数级速度攀升，仅靠产能线性增长已无法弥合持续扩大的供需缺口。无问芯穹首次公布"前店后厂一中心"战略，通过"算力集散中心+Token工厂+AI生产力商店"三大产品体系，旨在实现智能资源规模最大化与效率最优解。

来源：虎嗅

明日科技圈仍将围绕AI大模型进展、新能源汽车交付动态及资本市场走向持续演进，AI推理算力瓶颈如何突破或将成为下一阶段最核心的讨论议题。

📱 推荐阅读：全网热点一站搞定

想要第一时间掌握全网最热话题？推荐你一个超好用的热榜聚合站——吾爱热榜（hot.wuaishare.cn）！

✅ 支持微博、知乎、抖音、B站、百度等50+平台实时热榜
✅ 自动刷新，热门话题实时追踪
✅ 紧凑布局，一屏尽览全网热点
✅ 自定义分类和导航，想看什么由你做主

👉 点击访问 吾爱热榜，一站看完全网热搜，吃瓜永不落后！