新浪科技讯 8月4日下午消息，近日，蔡崇信与妻子官宣离婚。消息传出后，一张蔡崇信与主持人王秋怡的合照被网友翻出。随后，王秋怡被传是蔡崇信的“绯闻女友”，引发广泛热议。

瑞士嘉盛银行外汇策略师Claudio Wewel表示，踏入7月全球金融市场风险进一步收紧，美元强势及美联储加息预期升温，持续对AI概念主导的牛市带来压力，当中油价走势成为最大不确定因素。他表示，目前对后市仍保持审慎乐观，预期即将公布的第二季度企业业绩表现将强劲，宏观经济数据亦将保持平稳。

Hanselman同时也驳斥了网上流传的这项服务只为笔记本电池管理功能而生的错误说法，他强调这一诊断机制的适用场景完全不局限于电池相关优化，已经被纳入到Windows全体系的通用诊断框架当中，和系统诞生多年就一直内置的性能计数器功能属于同一系列的设计 ...

消息面上，8月3日晚间，据宁德时代官网消息，公司2026年中期分红派息方案为以现有A股总股本剔除回购股份后的43.8亿股为基数，向全体股东每10股派发现金分红14.11元 (含税)。公告显示，公司此次A股实际派发现金分红总额约为61.8亿元，股权登记日为8月7日，除权除息日及现金红利发放日为8月10日。

在国内粉末涂料市场竞争日趋白热化的背景下，产能保障能力与综合服务水平正成为企业抢占市场、维系客户的核心要素。扎根云南昆明的云南领克粉末，依托规模化的生产布局与全流程的服务体系，在深耕西南本土市场的基础上，稳步向全国市场拓展，业务覆盖西南、华南、华中多 ...

7月美国非农与CPI显示就业放缓、通胀降温但核心PCE仍偏高，叠加中东局势阶段性升温与反复，推升短期波动率；7月30日FOMC维持利率不变且内部出现加息分歧，使市场对政策路径缺乏明确方向，从而限制黄金突破并维持区间震荡；月末日本意外干预外汇市场引发日 ...

Lean 是一款定理证明辅助系统，支持用户将数学公式和逻辑编写成程序，并由计算机验证证明的准确性。用户编写的 Lean 代码会把数学命题和证明写成可检查的程序，并由内核验证类型与逻辑一致性。

08月04日消息，截止13:50，工业软件板块大涨， 盈建科 ( 31.110, 3.89, 14.29%) 、 东土科技 ( 19.580, 1.59, 8.84%) 、 鼎捷数智 ( 35.440, 1.95, 5.82%) 、 汉得信息 ( 16.840, 0.84, 5.25%) 等个股涨幅居前。

摩根士丹利发表研报指，苹果第三财季业绩大致符合预期，但服务收入仅307亿美元，增长放缓至12%，低于市场预期，主要受到汇兑因素及手机游戏市场疲弱的拖累；服务毛利率环比收缩至75.6%，亦逊预期。苹果第四财季毛利率指引介乎47%至48%，撇除关税退款约1个百分点后，核心毛利率仅约46.5%，环比收缩150个基点，亦逊预期。该行认为指引疲弱反映供应链限制与存储器成本上涨的双重压力正在浮现，将2027财 ...

他说，政府不能再继续等待电动汽车制造商或经销商投资建设公共充电站了。政府可以对每辆售出的电动汽车征税，并将所得款项纳入基金，用于建设公共充电站。 新浪财经声明：此消息系转载自合作媒体，新浪财经登载此文出于传递更多信息之目的，文章内容仅供参考，不构成投资建议。

据 Woofun AI 消息，CoinMarketCap 发布的加密货币恐惧与贪婪指数连续两日定格于 35，这一数值精准锚定了当前市场的谨慎基调。尽管价格层面出现波动，但 35 的读数明确指向‘恐惧’区间，揭示出投资者在缺乏强劲买入信心下的观望姿态，市场整体并未陷入恐慌，却也难见乐观资金的大举入场。 该指数通过量化 0 到 100 的区间来界定从极度恐惧到极度贪婪的情绪光谱，其计算逻辑深度融合了多 ...

相较于现款EX40，全新EX50在车身长度与高度上均有所增加，内部驾乘空间得到优化。 定价方面新车主打亲民路线，入门版本预估起售价落在45000美元左右，而2026款沃尔沃EX40的起售价为56545美元。