V4
PulseAugur coverage of V4 — every cluster mentioning V4 across labs, papers, and developer communities, ranked by signal.
- developed by SpaceX 95%
- developed Alibaba Group 90%
- instance of Enterococcus faecalis V583 90%
- instance of SpaceX 90%
- instance of Starlink 90%
- developed input/output 90%
- instance of input/output 90%
- developed Rayneo 90%
- developed Seedance 90%
- used by Huawei Ascend 90%
- instance of Minimax 70%
- competes with Alibaba Group 70%
5 天有情绪数据
-
PixVerse AI视频生成器：免费套餐、定价及积分用量说明
PixVerse 是一款AI视频生成服务，提供免费套餐，每天可生成1-2个带水印的视频片段。新用户初始获得90积分，之后每天获得60积分，未使用则会过期。虽然一些评论称赞其慷慨，但另一些人认为这是引导用户付费的策略。付费套餐价格从每月10美元的1200积分到每月199美元的25000积分不等，年度订阅有折扣。每个视频片段的成本取决于模型、分辨率和时长，V6等新模型更经济。
-
LLM-统计模型混合模型提高了足球比分预测的准确性
研究人员开发了一种新颖的可审计工具，该工具结合了统计模型和大型语言模型（LLM），以提高足球比分预测的准确性。该系统通过四个迭代（V1至V4）进行了记录，旨在将LLM的上下文理解与统计方法的概率严谨性相结合。最终迭代V4在重播英格兰足球超级联赛比赛时，在Top-1准确率上达到了14.7%，在Top-3准确率上达到了30.7%，同时还提高了候选覆盖率，从而提高了精确比分的准确性。
-
DeepSeek V4 用户通过简短查询比较来排查模型问题
一位 Reddit 用户报告了 DeepSeek V4 模型的问题，指出该模型在浏览器中可以工作，但在其应用程序中却不行，并且长对话有时无法遵循指令。该用户建议了一种故障排除方法：与其猜测或重复长提示，不如使用一个简短、中性的查询来比较浏览器和应用程序版本，以查看差异是否可重现。如果简短查询在不同平台上的结果相同，那么问题很可能出在长对话或文件中，而不是界面之间存在根本性差异。
-
中国AI模型发布，抖音本地生活服务超预期
包括MiniMax、DeepSeek和Seedance在内的多家中国AI公司发布了新模型，预示着国内AI发展进入了繁忙时期。另外，抖音本地生活服务部门因短视频和搜索流量的强劲表现，已超出其交易量目标，并因此上调了全年目标。与此同时，呷哺呷哺预计2026年上半年净亏损收窄，将其归因于供应链优化和会员运营的提升。
-
如祺出行预计营收增长132.6%；五粮液完成股份回购
如祺出行预计上半年营收将大幅增长132.6%，预计营收至少达到39亿元。这得益于网约车订单量的显著增长和技术服务收入的增加。公司预计其净利润同比改善超40%，这得益于运营效率的提升、成本结构的优化以及技术服务业务的规模化发展，延续了近年来毛利率为正的趋势。另外，五粮液已完成回购超过1330万股股份，占总股本的0.34%，耗资约10亿元。
-
中国AI模型发布，韩国银行恢复黄金购买
今日发布了多家中国开发者推出的AI模型，包括MiniMax H3、Seedance 2.5和DeepSeek V4。与此同时，韩国银行宣布自2013年以来首次购买黄金，旨在增加黄金在其外汇储备中的份额。其他新闻方面，蔡崇信离婚但未出售阿里巴巴股票，瑞幸咖啡回应了员工不当行为。
-
新论文显示，多面体的锥形宽度在顶点插入时可以增加
一篇新发表在arXiv上的论文提出了一个反例，反驳了2015年关于多面体锥形宽度的猜想。研究表明，在某些条件下，向多面体添加一个顶点可以增加其锥形宽度。该论文提供了一个在3D空间中的具体实例，包含六个整数点，显示在顶点插入后，锥形宽度平方从48/353增加到36/133。证明依赖于锥形宽度与面距离之间的等价性，所有计算均由整数支撑超平面认证。
-
DeepSeek应用更新引发对V4模型集成的困惑
DeepSeek在Google Play上的应用更新引发了用户对其V4模型集成情况的困惑。尽管此次更新标志着应用的新版本，但它并不证实V4模型正在积极服务用户会话。DeepSeek API的更新日志提到了V4 Flash和V4 Pro，但移动客户端、API和服务器端部署可能不同步。建议用户依赖应用内明确的模型标签或API文档，而不是仅凭应用更新来推断模型版本。
-
DeepSeek 于 7 月 24 日停用旧版 API 模型名称；建议迁移
DeepSeek 将于 7 月 24 日弃用两个旧版 API 模型名称：deepseek-chat 和 deepseek-reasoner。依赖这些旧名称的集成，尤其是那些具有动态模型 ID 选择的集成，可能会面临中断。建议用户明确迁移到新的 V4 模型 ID，例如 deepseek-v4-pro 或 deepseek-v4-flash，并在截止日期前通过真实场景进行彻底测试。此次迁移不仅仅是更改名称；它需要验证响应结构、工具调用功能…
-
DeepSeek将于7月24日停用API模型别名，影响插件用户
DeepSeek将于2026年7月24日停用两个API模型别名：deepseek-chat和deepseek-reasoner。这些别名是为了在V4模型（Flash和Pro）于4月24日推出后，确保平稳过渡而维护了90天。直接调用API的用户必须更新其代码以使用显式模型ID，而依赖插件或其他工具的用户可能并未意识到底层模型的变化。
-
Starlink V5套件发布：更小、更轻、更节能
埃隆·马斯克的Starlink发布了新的V5家用套件，该套件更小、更轻，功耗几乎是前代产品的一半。这款更新的终端提供高达375 Mbps的下载速度，略低于前代型号，但仍足以满足流媒体、游戏和视频通话的需求。V5套件设计上更易于安装，并在恶劣天气条件下提高了耐用性，使其成为应急通信的宝贵工具。
-
Starlink 发布更小、更节能的 V5 卫星天线
Starlink 推出了其新的 V5 住宅卫星天线，与前代产品相比，它更小、更轻、更节能。虽然它不提供更快的速度，最大数据速率略低于 V4 型号，但其降低的功耗和更小的外形尺寸旨在简化安装并降低电费。V5 天线最初在特定地区提供，随附 Router Mini 和管道适配器，目前仅提供 Starlink 最经济实惠的互联网套餐。
-
SpaceX 发布更小、更高效的 Starlink V5 卫星天线
SpaceX 推出了其新的 Starlink V5 卫星天线，现已在部分地区上市。这一最新版本比之前的 V4 型号更小、更轻，并提高了能效。V5 天线预计将很快更广泛地上市。
-
Cooler Master 发布 V4 和 V8 散热器，采用新的 3DHP 热管技术
Cooler Master 推出了新款 V4 和 V8 CPU 散热器，采用了其 3DHP 热管技术，该技术被描述为风冷技术的重大进步。然而，这项新技术对于早期采用者来说成本更高。
-
DeepSeek 正在开发定制人工智能推理芯片以减少对英伟达的依赖 · 跟踪到 1 个来源
中国人工智能公司 DeepSeek 正在据报道开发自己的 AI 芯片，旨在减少对英伟达和其他硬件供应商的依赖。该芯片专为推理而非训练设计，目前处于早期阶段，DeepSeek 正在与芯片设计公司、代工厂和内存供应商接洽。此举是在获得约 510 亿元人民币（约合 74 亿美元）的巨额融资后进行的，并符合人工智能公司寻求定制硬件解决方案的更广泛行业趋势。
-
DeepSeek 将 V4 模型高峰时段 API 价格翻倍
中国知名人工智能公司 DeepSeek 正在调整其 V4 模型 API 定价策略。从 7 月中旬开始，该公司将在特定时段实施高峰时段定价模式，将该时段的 API 访问成本提高一倍。DeepSeek 表示，此举旨在改善资源分配和服务稳定性。例如，V4 Pro 模型的高峰时段价格将从标准的每百万输出 token 6 元提高到 12 元。
-
RayNeo在2026年第一季度和618销售中领跑全球AR智能眼镜市场
根据多份行业报告，RayNeo已巩固其在全球AR和智能眼镜市场的领先地位，在2026年第一季度的出货量和销售额方面均位居第一。该公司还在中国的618购物节中主导了AR+智能眼镜类别，这标志着其连续第五年位居榜首。RayNeo的成功归功于其自主核心光学技术开发、集成制造能力以及包括新款AI驱动设备和高保真AR眼镜在内的多元化产品线。
-
RayNeo AR眼镜销量五连冠，拓展AI+AR产品线
雷鸟创新在2026年上半年取得了显著的市场成功，在618购物节期间，AR及智能眼镜品类销量连续五年位居榜首。公司强劲的业绩得益于其自主研发的核心光学解决方案和一体化供应链，这使其能够实现产品创新和成本控制。雷Neo已将其产品线扩展到AR眼镜、AI拍摄眼镜以及AI+AR智能眼镜，其中GT Max和V4等新车型获得了积极的市场反响和行业认可。
-
美国出口管制下，中国竞逐万亿参数AI模型
受美国出口管制的影响，中国AI开发者正加速开发万亿参数模型。DeepSeek已发布其V4模型，阿里巴巴也推出了Qwen-3-Max-Preview。此前，Anthropic因新的美国法规决定限制其先进模型的全球访问。
-
AI模型多元化：GPT-5.4、Claude Opus 4.6、Gemini 3.1 Pro引领不同任务
AI领域已迅速实现多元化，OpenAI的GPT-5.4、Anthropic的Claude Opus 4.6以及Google的Gemini 3.1 Pro等众多前沿模型在不同领域各有所长。GPT-5.4在知识工作和计算机使用方面领先，Claude Opus 4.6在编码和专家推理方面表现更优，而Gemini 3.1 Pro则提供了最佳的性价比。这种碎片化意味着开发者现在必须为每个特定任务战略性地选择最合适的模型，而不是依赖单一模型。