V4
PulseAugur coverage of V4 — every cluster mentioning V4 across labs, papers, and developer communities, ranked by signal.
- developed by SpaceX 95%
- instance of SpaceX 90%
- developed Alibaba Group 90%
- instance of Minimax 90%
- instance of Enterococcus faecalis V583 90%
- used by Huawei Ascend 90%
- instance of Starlink 90%
- developed by FLASH 90%
- developed input/output 90%
- instance of input/output 90%
- developed Rayneo 90%
- developed Seedance 90%
2 天有情绪数据
-
Starlink 提供多种卫星天线选项以满足多样化的连接需求
Starlink 现在提供多种卫星天线选项以满足各种用户需求，打破了单一、一刀切的模式。V4 天线是 Standard 4 和 4 X 套件的一部分，专为住宅用户设计，具有 110 度视场角和软件辅助手动定向等功能。较新、更紧凑、更节能的 V5 住宅天线也已推出，但峰值速度略低且供应有限。对于需要在旅途中使用互联网的用户，Starlink Mini 提供高度便携的解决方案。
-
ElevenLabs 发布富有表现力的 v4 语音模型；Microsoft AI 发布转录工具
ElevenLabs 推出了其新的 v4 语音模型，该模型增强了 AI 生成语音的表现力和一致性，特别适用于有声读物和实时语音代理等任务。Microsoft AI 还发布了 MAI-Transcribe-2-Streaming，一个专注于实时转录的新模型。Eleven v4 模型的 Turbo 版本提供了快速的响应时间，并且该模型在 Artificial Analysis Voice Arena 排行榜上名列前茅。
-
开发人员为跨语言聊天产品迭代五次翻译函数
Connexa（一款跨语言聊天产品）的开发人员详细介绍了其翻译函数在五个版本中的演变。最初只是简单的文本翻译，随后发展到包含可控输出的语气，然后纳入对话上下文和团队特定术语表以确保术语一致性。最终版本引入了回退机制，当结构化输出失败时，优先考虑翻译文本而非语气，这反映了产品对准确翻译的核心需求。
-
DeepSeek V4 多模态模型权重已发布供检查
DeepSeek 发布了其 V4 多模态模型的权重和参考代码，允许研究人员检查其视觉处理能力。与简单的图像到文本的附加功能不同，V4 将视觉 token 直接集成到其现有架构中，使其能够参与注意力机制、专家混合（MoE）路由和代理推理。该模型采用 Vision Transformer (ViT) 进行初始编码，然后使用 Aligner 将视觉特征压缩并映射到语言模型的空间中。V4 内的专用机制处理视觉 token，包括修改后的注意力规…
-
DeepSeek 发布首个多模态视觉模型 DeepSeek-V4-Flash-Vision-Exp
DeepSeek 发布了其首个实验性多模态模型 DeepSeek-V4-Flash-Vision-Exp，该模型将视觉能力集成到其 V4-Flash 架构中。该新模型在多模态代理任务上提供了增强的性能，同时保持了可比的纯文本能力。它在 Hugging Face 上以 MIT 许可提供，支持 FP8 和 8 位量化，以降低本地推理的硬件要求。
-
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 亿美元）的巨额融资后进行的，并符合人工智能公司寻求定制硬件解决方案的更广泛行业趋势。