从 159 条内容中筛选出 34 条重要资讯。

1. 韩国 7 月出口创历史第二高 半导体出口飙升 179% ⭐️ 8.0/10
2. DeepSeek V4-Flash-0731 模型 ⭐️ 8.0/10
3. 政治局会议划重点：消费投资协同发力 ⭐️ 8.0/10
4. 日本外汇干预引全球关注，高市成众矢之的 ⭐️ 8.0/10
5. 美国对 60 国新关税刚落地即遭小企业起诉 ⭐️ 8.0/10
6. 苹果市值突破 5 万亿美元：最强财报，AI 仍显短板 ⭐️ 8.0/10
7. 美国企业改用中国 AI 模型降低成本 ⭐️ 7.0/10
8. 8 月 1 日起中国强制实施充电桩 CCC 认证 ⭐️ 7.0/10
9. OpenAI 或因投资者担忧资本消耗与竞争压力推迟 IPO 至 2027 年 ⭐️ 7.0/10
10. 全球央行购金大增 62% 二季度黄金需求创历史新高 ⭐️ 7.0/10
11. 中国加大逆周期调节，政策组合再发力 ⭐️ 7.0/10
12. 美以计划猛轰伊朗能源设施 伊朗誓言全面反击 ⭐️ 7.0/10
13. 以色列官员称美国更接近批准对伊朗重大军事打击 ⭐️ 7.0/10
14. 2026-2031 年全球 AI 基础设施资本支出预测发布 ⭐️ 7.0/10
15. 马斯克自研大模型，却把豆包装进特斯拉，见证中国 AI 崛起 ⭐️ 7.0/10
16. Lean 内核可靠性缺陷复盘揭示验证局限 ⭐️ 6.0/10
17. 9 点 1 氪丨马斯克回应特斯拉剥离中国业务；国内航线燃油附加费将再次下调；中国最高薪本科专业易主 ⭐️ 6.0/10
18. 鸿蒙智行 7 月交付超 4.5 万台 ⭐️ 6.0/10
19. OpenAI 称其下一代模型 Astra 解决了 10 个老数学难题 ⭐️ 6.0/10
20. 发改委：下半年宏观政策发力提效扩内需 ⭐️ 6.0/10
21. 发改委就下半年经济工作释放积极信号 ⭐️ 6.0/10
22. 电动汽车充电设备 8 月 1 日起强制实施 CCC 认证 ⭐️ 6.0/10
23. 伊朗警告已制定全面计划应对美以潜在袭击 ⭐️ 6.0/10
24. 2030 年全球 DRAM 需求总量预测发布 ⭐️ 6.0/10
25. AI 大厂掀起 Token 价格战，模型趋同争留存 ⭐️ 6.0/10
26. 数百万本书，被 Claude“阅后即焚” ⭐️ 6.0/10
27. 蔡崇信离婚：没瓜可吃恰是财务安排的教科书 ⭐️ 6.0/10
28. 如何让 GPU 不“闲着”？榨出硅的极限 ⭐️ 6.0/10
29. Qwen 转向开源，手机智能体定价松动 ⭐️ 6.0/10
30. 字节重组 ToB 业务，押注 AI 办公套件 ⭐️ 6.0/10
31. 传音控股 V 型反弹后市场仍犹豫：“换挡之困”何解？ ⭐️ 6.0/10
32. 存储巨头暴赚，下游集体拒单 ⭐️ 6.0/10
33. FCC 禁令加大中国具身智能企业全球化难度 ⭐️ 6.0/10
34. 谁将成为人形机器人的一级供应商？ ⭐️ 6.0/10

韩国 7 月出口创历史第二高 半导体出口飙升 179% ⭐️ 8.0/10

韩国 7 月出口同比增长约 63%至 989.9 亿美元，创历史第二高单月出口额，其中半导体出口暴增 179%至 410 亿美元。受 AI 数据中心投资推动，对美出口激增 68.7%至 174 亿美元。 这一激增凸显了全球对存储芯片和 AI 相关半导体的旺盛需求，也巩固了韩国作为半导体供应链风向标的地位。强劲的芯片出口为科技行业盈利提供支撑，并预示全球 AI 数据中心投资仍将持续增长。 进口增长 26.5%至 685.6 亿美元，贸易顺差达 303.2 亿美元。半导体出口连续第二个月突破 400 亿美元，韩国 20 个主要出口类别中有 19 个实现增长。

rss · 36氪 - 最新资讯 · 8月1日 12:00

背景: 韩国是全球存储芯片（如 DRAM 和 NAND）的主要出口国，三星和 SK 海力士等本土企业为 AI 加速器供应高带宽存储器（HBM）。AI 服务需求的爆发带动了全球数据中心投资，推高存储芯片价格和出货量，使半导体出口成为韩国经济的重要引擎。

标签: #South Korea, #Semiconductors, #Exports, #AI, #Trade

DeepSeek V4-Flash-0731 模型 ⭐️ 8.0/10

DeepSeek 的 V4-Flash-0731 模型拥有强大的智能体能力，以低成本实现卓越的智能性价比，性能表现超乎其规模。

rss · Simon Willison · 8月1日 07:59

标签: #AI, #DeepSeek, #Large Language Models, #Model Release, #Machine Learning

政治局会议划重点：消费投资协同发力 ⭐️ 8.0/10

7 月 30 日，中共中央政治局召开会议，分析经济形势并部署下半年工作，强调“推动经济持续向新向优向好发展”，要求消费与投资协同发力。国家信息中心研究员魏琪嘉对下半年经济工作重点进行了解读。 作为高层政策信号，这次会议将影响未来数月的市场预期和投资策略。会议明确将消费与投资并列，显示宏观政策注重平衡，以稳增长为目标。 会议于 7 月 30 日举行，官方通稿未全文公布，但摘要强调推动经济“向新向优向好发展”。国家信息中心研究员魏琪嘉的解读强调消费与投资应相互促进，而非割裂对待。

rss · 中新网 - 财经 · 8月1日 17:04

背景: 中央政治局会议是例行的顶层经济研判机制，为下一阶段政策定调。在中国宏观经济框架中，消费和投资是两大需求引擎；在外部不确定性增加的背景下，让二者协同发力被视为稳增长的关键。

标签: #经济政策, #消费, #投资, #政治会议, #宏观经济

日本外汇干预引全球关注，高市成众矢之的 ⭐️ 8.0/10

2026 年 7 月 30 日，日本政府与日本央行实施买入日元、卖出美元的外汇干预。此举引发全球媒体关注，并引发关于日本当前政策与市场困境应归咎于高市本人的争论。 此次干预是影响全球金融与外汇市场的重要事件，可能产生超越日本本土的外溢效应。围绕责任归属的政治争论，也凸显了财政政策与央行独立性之间的紧张关系。 此次干预采取在外汇市场卖出美元、买入日元的方式。报道未披露干预规模等更多操作细节。

rss · 中新网 - 国际 · 8月1日 22:45

背景: 外汇干预是指政府或中央银行通过在市场上主动买入或卖出货币来影响汇率的行为。在日本，通常由财务省授权、日本央行负责执行，目的常是对冲日元过度贬值或升值。报道标题中的“高市”指日本首相高市早苗，意指她被舆论批评为日本当前政策与市场困境的主要责任者。

标签: #Japan, #FX intervention, #yen, #central bank, #monetary policy

美国对 60 国新关税刚落地即遭小企业起诉 ⭐️ 8.0/10

2026 年 8 月 1 日，美国对全球 60 个国家和地区的新关税正式生效，当天至少九家小型企业即向美国政府提起诉讼。这些诉讼在新关税落地当日迅速到来，构成对关税政策的直接法律挑战。 如此迅速的法律反弹表明，贸易政策行动可能立即遭遇国内阻力，尤其是来自承担更高进口关税成本的小型企业。这些诉讼的结果可能影响未来关税的设计与实施方式，并对全球贸易和供应链产生连锁影响。 这些关税覆盖 60 个国家和地区，至少九家小型企业在关税生效当日提起诉讼。文章将此举描述为“反噬”，强调美国政府因新的贸易壁垒而面临来自本国公民的法律后果。

rss · 中新网 - 国际 · 8月1日 16:33

背景: 关税是对进口商品征收的税，常被用于保护本国产业，但同时也会提高依赖进口的企业的成本。小型企业通常比大公司更容易受到这类成本上涨的冲击，而美国法律允许受影响方在法院对政府贸易行动提出挑战。这些诉讼提醒人们，重大贸易政策决定可能受到司法审查，从而给市场和公司增添不确定性。

标签: #tariffs, #trade policy, #US economy, #global trade, #legal challenge

苹果市值突破 5 万亿美元：最强财报，AI 仍显短板 ⭐️ 8.0/10

苹果市值达到了 5 万亿美元这一历史性里程碑，同时发布了有史以来最强的财报。然而，其 AI 进展被普遍视为短板。 突破 5 万亿美元市值门槛凸显了苹果的财务统治力及其在全球市场中的核心地位。强劲业绩与 AI 战略滞后形成的反差，凸显了苹果在 AI 转型中证明自己领导地位的压力。 文章将苹果的处境称为“全球市值第一的 AI 转型答卷”，暗示尽管财务业绩创纪录，投资者和分析师仍在密切关注其 AI 路线图。摘要中未提供具体的营收或产品数据。

rss · 钛媒体 · 8月1日 16:19

背景: 苹果长期以来一直是全球市值最高的上市公司，其市值得益于强劲的 iPhone 销量和服务收入而稳步增长。近年来，生成式 AI 热潮重塑了科技行业，由 OpenAI、微软和谷歌等公司引领。苹果在推出大规模 AI 产品方面相对较慢，使其 AI 战略成为未来增长的关键问题。5 万亿美元里程碑是投资者信心的象征性标志，同时也提高了外界对苹果带来实质性 AI 创新的期望。

社区讨论: 提供的材料中未包含社区评论。

标签: #Apple, #财报, #AI, #市值, #金融市场

美国企业改用中国 AI 模型降低成本 ⭐️ 7.0/10

Coinbase 和 Airbnb 等美国大公司开始转向中国 AI 模型以降低成本。Coinbase 表示正在改用中国模型，爱彼迎则采用了阿里巴巴的 Qwen 模型，并称赞其“快速且便宜”。 美国主流企业实际采用中国 AI 模型，标志着全球 AI 竞争格局的转变，显示中国大模型的商业化竞争力正在增强。这可能会给美国 AI 服务商带来压力，并改变企业的采购决策。 报道提到，月之暗面新一代开源大模型 Kimi K3 撼动资本市场，被比作 DeepSeek 在 2025 年发布时引发的市场恐慌。马斯克也称赞该模型“令人印象深刻”。

rss · 36氪 - 最新资讯 · 8月1日 15:30

背景: 从 AlphaGo 到 ChatGPT，美国在大型 AI 模型领域长期拥有先发优势，但中国开源模型近年正在挑战这一领先地位。面对高昂的 AI 成本，企业开始寻找更便宜的替代方案，例如阿里巴巴的 Qwen，而月之暗面、DeepSeek 等中国开发者也正在推出能与美国产品匹敌甚至竞争的大模型。

标签: #AI/ML, #中国AI, #企业采用, #技术竞争, #成本优化

8 月 1 日起中国强制实施充电桩 CCC 认证 ⭐️ 7.0/10

自 2026 年 8 月 1 日起，中国市场监督管理总局（国家认监委）对电动汽车供电设备强制实施 CCC 认证。所有此类设备必须通过防触电、短路保护、耐火耐燃等安全测试，方可出厂、销售、进口或在经营活动中使用。 这一监管变化直接影响到中国电动汽车充电基础设施的制造商、进口商和运营商，收紧市场准入和安全合规要求。它凸显了充电桩作为支撑中国新能源汽车普及的关键基础设施的重要性。 8 月 1 日前已投入运营的设备仍需遵守《产品质量法》和《消费者权益保护法》的相关规定。认证包括产品安全测试以及企业现场质量保证能力和产品一致性检查。

rss · 36氪 - 最新资讯 · 8月1日 15:15

背景: CCC 是中国强制性产品认证制度，涵盖多种产品类别以保障消费者安全。电动汽车充电桩常被称为电动车的‘加油站’，随着中国新能源汽车市场的扩大而迅速增长。新规定通过标准化测试和工厂审核，确保触电、火灾等安全隐患得到有效防范。

标签: #EV, #regulation, #China, #charging infrastructure, #manufacturing

OpenAI 或因投资者担忧资本消耗与竞争压力推迟 IPO 至 2027 年 ⭐️ 7.0/10

据报道，OpenAI 可能会将首次公开募股（IPO）推迟到 2027 年，原因是投资者对其现金消耗表示担忧。与此同时，竞争对手 Anthropic 正在加快秋季 IPO 计划，并已开始与潜在投资者会面。 这两家公司 IPO 的时机很重要，因为 OpenAI 和 Anthropic 是生成式 AI 热潮中的核心参与者，它们的上市将塑造投资者对整个行业的预期。Anthropic 更快的营收增长和不断上升的估值可能改变市场领导地位的叙事，并迫使 OpenAI 做出回应。 一些 OpenAI 的大投资者已私下对其相对于增长的现金消耗速度表示担忧，其中部分人通过投资 Anthropic 来对冲风险。Anthropic 近期的营收增长和估值已超过 OpenAI，并正强调其对 ChatGPT 制造商所保持的领先优势。

rss · 36氪 - 最新资讯 · 8月1日 12:45

背景: 首次公开募股（IPO）是私营公司在证券交易所向公众投资者发售股票的过程，通常用于筹集资金和提供流动性。像 OpenAI 和 Anthropic 这样的 AI 初创公司需要大量资金来支持算力、研发和人才，因此投资者信心和相对增长指标会严重影响估值和上市时机。OpenAI 运营着 ChatGPT，而 Anthropic 开发 Claude 模型系列，二者在快速扩张的生成式 AI 市场中是直接竞争对手。

标签: #OpenAI, #Anthropic, #IPO, #AI竞争, #融资

全球央行购金大增 62% 二季度黄金需求创历史新高 ⭐️ 7.0/10

世界黄金协会 7 月 30 日发布的 2026 年二季度《全球黄金需求趋势报告》显示，二季度全球黄金总需求为 1269 吨，同比基本持平；上半年总需求达 2522 吨，总值约 3800 亿美元，创历史新高。央行购金量大增 62%，凸显官方部门对黄金的持续青睐。 这些数据表明，在金价涨势暂歇之际黄金需求仍具韧性，对关注黄金作为对冲和多元化配置工具的投资者及政策制定者具有重要意义。在金价走高推动下，需求总值创下纪录，进一步巩固了黄金在全球储备和资产配置中的地位。 二季度黄金需求为 1269 吨，与去年同期持平；上半年总需求 2522 吨，总值约 3800 亿美元，创历史新高。报告还指出，央行购金、金饰消费和科技行业用金是支撑需求韧性的重要组成部分。

rss · 中新网 - 财经 · 8月2日 06:38

背景: 世界黄金协会是黄金行业的市场发展机构，每季度发布黄金需求趋势报告，追踪金饰、科技、投资和央行储备等领域的黄金消费情况。多年来央行一直是黄金的净买家，将其视为避险资产和对冲货币及地缘政治风险的工具。央行购金量大幅上升，可能反映出对经济稳定性的担忧，或使储备多元化、减少对传统货币依赖的意愿。

标签: #黄金, #央行购金, #全球需求, #金融市场, #宏观经济

中国加大逆周期调节，政策组合再发力 ⭐️ 7.0/10

中央政治局近日为 2026 年下半年经济工作定调，要求实施更加积极的财政政策和适度宽松的货币政策，并充分发挥存量政策效能、及时推出务实管用的增量政策，加大逆周期调节力度。 这一高层政策信号受到金融市场和企业高度关注，因为它决定了全球第二大经济体在财政支出、利率和流动性方面的预期。强调存量与增量政策结合，表明在内外压力下将以协同方式推动经济稳定。 “适度宽松的货币政策”是值得关注的表述，表明降息或降准仍有空间。会议还强调“及时谋划出台务实管用的增量政策”，意味着在现有措施之外可能推出新的政策工具。

rss · 中新网 - 财经 · 8月1日 20:59

背景: 中央政治局会议通常为下一季度或半年度的宏观经济政策指明方向。更加积极的财政政策一般指增加政府支出或减税，“适度宽松的货币政策”则着重降低融资成本、保证流动性充裕。逆周期调节是指通过政策措施对冲经济下行或过热；“存量政策”与“增量政策”的区分，体现了既要用好现有措施、又要在必要时追加新刺激的策略。

标签: #China, #macroeconomic policy, #fiscal policy, #monetary policy, #markets

美以计划猛轰伊朗能源设施 伊朗誓言全面反击 ⭐️ 7.0/10

2026 年 8 月 1 日，美国国务院向中东地区美国公民发布广泛安全警告。据美方消息，美以正计划对伊朗能源基础设施发动“迄今最猛烈的轰炸”，行动或持续整个周末，但特朗普尚未下达最终命令。 打击伊朗能源设施可能直接扰乱全球石油供应，引发市场剧烈波动。这会加大能源安全风险，并可能使冲突升级为更大范围的地区战争。 伊朗外交部同日发表声明，强调决心继续抵抗，并表示全面反击方案已就绪。美国的安全警告建议公民考虑撤离或做好迅速撤离准备。

rss · 中新网 - 国际 · 8月2日 07:22

背景: 美以长期将伊朗的核计划、导弹计划及其地区代理人视为重大威胁，伊朗则否认寻求核武器。打击能源基础设施被视为高影响力选项，既可削弱伊朗经济，也会影响全球油价，因此这类威胁在国际市场上极为敏感。

标签: #geopolitics, #oil, #energy, #markets, #middle-east

以色列官员称美国更接近批准对伊朗重大军事打击 ⭐️ 7.0/10

2026 年 8 月 1 日，一名以色列官员透露，以色列方面评估认为，特朗普总统比以往任何时候都更接近批准对伊朗发动重大军事袭击，但相关计划尚未最终确定。 如果该计划获批，美国对伊朗的军事打击可能大幅升级中东紧张局势，并扰乱全球石油供应，对世界金融市场产生直接影响。此消息尚未得到证实，但由于其潜在的市场影响而具有重要意义。 该报道援引了一位未具名的以色列官员，且计划仍处于初步阶段，尚未做出最终决定。由于这是基于评估而非美国的官方宣布，相关信息应谨慎对待。

rss · 中新网 - 国际 · 8月2日 06:32

背景: 美国、以色列与伊朗之间的关系长期紧张，争议主要集中在伊朗核计划及其地区影响力上。潜在的军事打击将标志着该地区局势的重大升级，而该地区的石油生产和航运路线对全球经济至关重要。这一报道出现在外交和军事紧张持续之际，但尚未得到美国方面的独立证实。

标签: #geopolitics, #Iran, #oil, #markets, #US

2026-2031 年全球 AI 基础设施资本支出预测发布 ⭐️ 7.0/10

一份新预测展望了 2026 年至 2031 年全球 AI 基础设施资本支出的趋势，并附有原始数据表。该报告提供了对 AI 相关实体基础设施投资的多年期展望。 该预测为投资者、云服务商、芯片制造商和政策制定者提供了追踪 AI 驱动支出规模的重要参考。它揭示了未来六年资本向 AI 基础设施的配置可能如何塑造科技与金融市场。 该预测覆盖 2026 年至 2031 年，并附有包含详细数据的原始数据表。不过，文章本身未概括具体数值预测，读者需要查阅所附数据集。

rss · 199it · 8月2日 00:09

背景: AI 基础设施是指开发和运行大规模 AI 模型所需的物理与数字基础，如数据中心、GPU、网络和散热系统。近年来，随着生成式 AI 需求增长，大型科技公司在此类基础设施上的资本支出大幅攀升。这些支出预测被视为观察行业势头和更广泛 AI 投资周期的重要指标。

标签: #AI, #基础设施, #资本支出, #预测, #技术投资

马斯克自研大模型，却把豆包装进特斯拉，见证中国 AI 崛起 ⭐️ 7.0/10

文章透露，字节跳动的豆包大模型已搭载于包括特斯拉在内的 700 万辆智能汽车，主流车企覆盖率达到 100%。豆包日均 Token 调用量达 180 万亿，标志着中国 AI 从跟随全球领导者到被汽车行业需要的转变。 这表明，尽管埃隆·马斯克自研 AI，但中国 AI 模型已深入包括特斯拉在内的全球车企供应链。这一现象标志着中国 AI 技术正成为全球汽车产业中不可或缺的供应商，重塑着 AI 应用的竞争格局。 文章列举了三个关键数字：豆包日均 Token 调用量 180 万亿、搭载该模型的智能汽车达 700 万辆、主流汽车品牌覆盖率 100%。标题强调了一个反差：马斯克自研大模型，却仍将豆包装进特斯拉汽车。

rss · 钛媒体 · 8月1日 16:19

背景: 豆包是 TikTok 母公司字节跳动开发的大语言模型，也是中国领先的 AI 助手之一。大模型是基于海量数据训练、能够理解并生成类人文本的 AI 系统，正越来越多地被集成到智能汽车中，用于语音控制、导航和个性化车载体验。

标签: #AI, #大模型, #豆包, #特斯拉, #汽车科技

Lean 内核可靠性缺陷复盘揭示验证局限 ⭐️ 6.0/10

Leo de Moura 发布了 Lean 证明内核可靠性缺陷 #14576 的复盘，描述了该技术缺陷及其实际影响。分析指出，独立内核检查仍然可行，因为利用该缺陷需要两个不同实现中各自存在的 bug。 Lean 内核受到形式化验证项目的信任，因此即使是一个已修复的可靠性缺陷也会引发对验证证明绝对可靠性的质疑。这一事件强化了社区的共识：证明助手提供的是极强而非绝对可靠的保证。 触发该可靠性缺陷需要两个不同内核实现中各自存在的 bug，因此同时使用两个最新版本的用户仍然安全。复盘强调，只要所有实现都保持更新，独立内核检查就仍然可靠；使用旧版本的用户则可能面临风险。

hackernews · juhopitk · 8月2日 02:32 · 社区讨论

背景: Lean 是一个交互式定理证明器和证明助手，其内核是一个小型可信组件，用于验证每一个证明。可靠性（soundness）意味着内核绝不会接受伪造命题的证明，因此它是系统可靠性的基础。独立内核检查通过使用另一套实现来验证证明，从而降低单点故障风险，但前提是所有实现都可靠且保持更新。

社区讨论: 评论者 gr_norm 认为该 bug 并不令人意外，将其与 Rust 等更简单的类型检查器中的可靠性问题类比，并强调验证结果应被视为极强而非绝对的保证。michaelfm1211 认为可靠性缺陷的存在是这种理念的缺点，并建议采用 Metamath 这种更严密的替代方案；Gehinnn 则怀疑利用 bug 的证明是否总能进而证明 '假命题'。还有人引用 Knuth 的名言，并比喻 AI 自动生成的正式化会找到 Lean 中的裂缝。

标签: #formal verification, #Lean, #software bug, #soundness, #kernel

9 点 1 氪丨马斯克回应特斯拉剥离中国业务；国内航线燃油附加费将再次下调；中国最高薪本科专业易主 ⭐️ 6.0/10

本摘要涵盖马斯克否认特斯拉分拆中国业务、国内航班燃油附加费下调、中国最高薪专业转向微电子、字节跳动 Seedance 2.5 视频模型、长鑫存储市值突破 4 万亿、人形机器人电源解决方案、韩国综合股价指数上涨以及 Anthropic AI 模型测试事件。

rss · 36氪 - 最新资讯 · 8月1日 08:38

标签: #AI, #Semiconductors, #Financial Markets, #China, #Tesla

鸿蒙智行 7 月交付超 4.5 万台 ⭐️ 6.0/10

华为鸿蒙智行品牌在 2026 年 7 月交付 45,046 台车，1 至 7 月累计交付 28.6 万台，同比增长 13.7%。 稳健的交付增长表明华为在中国智能电动汽车市场的影响力不断提升，其软硬件一体化生态正赢得更多消费者。对于合作车企而言，这些数据直接反映了鸿蒙智能汽车生态的商业活力。 13.7%的同比增长表明增长稳定但并非爆发式，且未公布具体车型的销量明细。该数据涵盖了参与鸿蒙智行生态的所有合作车企的交付量。

rss · 36氪 - 最新资讯 · 8月1日 14:00

背景: 鸿蒙智行是华为与多家中国车企合作的智能汽车生态品牌，相关车辆围绕华为的智能座舱和先进驾驶辅助系统打造，华为提供核心软硬件。它并非独立的汽车公司，而是来自合作厂商的系列车型。月度交付数据被视为衡量华为在中国竞争激烈的电动车市场中渗透率的重要指标。

标签: #Huawei, #EV, #Automotive, #China Tech, #Deliveries

OpenAI 称其下一代模型 Astra 解决了 10 个老数学难题 ⭐️ 6.0/10

OpenAI 宣布，其下一代主要模型 Astra 的一个内部版本解决了十道数学问题，这些问题的主要结果至少十年来都没有进展，据称每个问题的成本按 GPT-5.6 Sol token 价格计算不到 2,000 美元。 这一突破标志着人工智能在处理长期未决的研究级数学问题方面的能力实现了重大飞跃，可能加速发现并重塑该学科走向人机协作。继 Anthropic 最近发现密码学弱点之后，这也加剧了 AI 实验室之间展示高级推理能力的竞争。 OpenAI 在 openai/ten-proofs 仓库中发布了 Lean 4 形式化验证结果，以及一篇论文和一份由 LLM 生成的 PDF，描述推理过程，但没有透露使用的提示词，也没有透露尝试了多少个未成功解决的问题。该公司也没有透露有多少个问题各花了 2,000 美元却未得到解决方案。

rss · Simon Willison · 8月2日 04:34

背景: Lean 4 是一种交互式定理证明器和函数式编程语言，数学家可以用它来形式化证明，从而让计算机验证其正确性。这种形式化有助于确保准确性，并让 AI 能够处理严谨的、机器可读的数学内容。提到 Deep Blue 是指 1997 年 IBM 的计算机击败国际象棋世界冠军加里·卡斯帕罗夫的那场比赛，那时许多人类专家开始反思机器超越人类技能的意义。陶哲轩提出的“大数学”概念设想未来人类与机器进行大规模协作，人类专注于创造性部分，而 AI 负责大部分技术性工作。

标签: #AI, #OpenAI, #mathematics, #AI research, #Astra

发改委：下半年宏观政策发力提效扩内需 ⭐️ 6.0/10

7 月 31 日，国家发展改革委表示，下半年宏观政策将发力提效，确保完成全年预期目标。今年 7550 亿元中央预算内投资已基本下达完毕，接下来将协同推进重大工程建设和促消费政策落地。 这一表态表明中国继续以宏观政策支撑经济增长，直接影响市场预期和企业信心。加大投资和促消费力度对于在内外部挑战下实现全年增长目标至关重要。 具体细节包括：7550 亿元中央预算内投资基本下达完毕，民生类政府投资力度加大；将协同推进 109 项重大工程和“六张网”规划建设，扎实推进“两重”建设和“两新”工作；针对民间投资意愿强的成长性行业推出政策措施，并大力稳定提振消费。

rss · 中新网 - 财经 · 8月1日 21:25

背景: 国家发展改革委是中国最高经济规划机构，负责制定和实施宏观政策。“两新”指大规模设备更新和消费品以旧换新，“两重”指国家重大战略实施和重点领域安全能力建设。这些举措是政府扩大内需、稳定增长政策工具箱的重要组成部分。

标签: #China economy, #macro policy, #fiscal policy, #domestic demand, #investment

发改委就下半年经济工作释放积极信号 ⭐️ 6.0/10

2026 年 7 月 31 日，国家发展改革委就下半年经济工作举行新闻发布会。国民经济综合司副司长周宏伟表示，我国经济长期向好的支撑条件和基本趋势没有改变，并相信能够实现全年预期目标和“十五五”良好开局。 作为中国最高经济规划机构，发改委的表态为市场对下半年政策支持的预期定调，显示政府稳增长思路的延续性。投资者和企业会据此判断财政与货币政策的走向。 此次表态较为宏观，未公布具体数据或新举措，重点强调对克服困难的信心，并提到要加快落实党中央、国务院的各项既定部署。

rss · 中新网 - 财经 · 8月1日 17:07

背景: 国家发展改革委是中国负责宏观经济规划与改革的核心机构，主要职责包括制定经济政策和发展战略。“十五五”规划（2026–2030 年）是中国国家发展优先事项的蓝图，2026 年是开局之年，因此“良好开局”意义重大。下半年经济工作通常侧重于调整政策，以实现全年增长与就业目标。

标签: #China economy, #NDRC, #economic policy, #macroeconomics

电动汽车充电设备 8 月 1 日起强制实施 CCC 认证 ⭐️ 6.0/10

8 月 1 日起，国家市场监管总局（国家认监委）对电动汽车供电设备强制实施 CCC 认证管理。认证包括防触电、短路保护、耐火耐燃等关键安全指标测试，以及企业现场质量保证能力和产品一致性检查。 这一监管措施加强了对电动汽车充电设备的质量与安全监督，直接影响国内充电设备生产企业和整个电动汽车产业链。它有助于提高行业标准、淘汰劣质产品，并更好地保障消费者生命健康和财产安全。 强制认证覆盖“电动汽车供电设备”，既包含产品安全检测（如防触电、短路保护、耐火耐燃），也包含企业现场质量保证能力和产品一致性检查。此举是为了从源头管控产品质量安全风险，提升充电基础设施市场的整体可信度。

rss · 中新网 - 财经 · 8月1日 15:14

背景: CCC 认证（中国强制性产品认证）是中国对多种上市销售产品实行的强制性安全认证制度。此次将电动汽车供电设备纳入 CCC 认证管理，旨在防范充电设备可能引发的触电、火灾等安全风险。从此，该项认证成为相关制造商进入中国市场的必要条件之一，有助于统一行业质量和安全水平。

标签: #EV charging, #China regulation, #CCC certification, #electric vehicles, #policy

伊朗警告已制定全面计划应对美以潜在袭击 ⭐️ 6.0/10

据伊朗塔斯尼姆通讯社 2026 年 8 月 1 日报道，一名伊朗高级安全官员表示，伊朗已制定一项全面计划，以应对美国和以色列对其基础设施的潜在攻击。这一表态凸显了德黑兰在紧张局势下的高度战备姿态。 这一警告加剧了中东地缘政治风险，并可能影响全球石油市场，因为伊朗的能源设施对供应稳定至关重要。一旦真的发生攻击，可能扰乱原油供应并进一步加剧地区冲突，对能源价格和安全产生广泛影响。 报道未明确具体的设施目标或伊朗应对计划的内容，也未透露该官员身份。这一警告是在伊朗核计划、导弹能力及其支持地区代理人引发的长期紧张之后发出的，但目前尚无实际攻击发生。

rss · 中新网 - 国际 · 8月1日 09:08

背景: 伊朗与美国和以色列长期关系敌对，双方围绕伊朗核计划、导弹研发和地区影响力频繁对抗。石油终端、炼油厂和航运通道等能源基础设施在冲突中常被视为易受攻击的目标。伊朗惯用威慑性表态来展示战备状态，而市场则密切关注潜在的供应中断风险。当前声明看来是这一持续信号传递的一部分，但其可信度和具体内容仍不确定。

标签: #geopolitics, #energy, #oil, #Iran, #middle east

2030 年全球 DRAM 需求总量预测发布 ⭐️ 6.0/10

一份新报告发布了到 2030 年的全球 DRAM 需求总量预测，并附带了原始数据表。该预测为存储芯片市场提供了多年的前景展望。 DRAM 需求预测对于半导体制造商、投资者和科技公司制定产能扩张、定价和供应链策略至关重要。长期展望会影响整个计算和电子生态系统。 该报告包含原始数据表，但提供的摘要中未显示具体的预测数字。预测时间范围至 2030 年，提供了对预期 DRAM 需求增长的多年展望。

rss · 199it · 8月2日 00:08

背景: DRAM（动态随机存取存储器）是一种广泛应用于计算机、服务器、智能手机等设备的易失性存储器。全球 DRAM 需求预测帮助行业参与者预判市场趋势、为新建制造工厂分配资金并管理库存。这类预测通常由市场研究机构和行业分析师根据计算、数据中心和消费电子产品的发展趋势得出。

标签: #DRAM, #semiconductors, #memory, #industry forecast, #hardware

AI 大厂掀起 Token 价格战，模型趋同争留存 ⭐️ 6.0/10

AI 大厂正在围绕 Token 调用价格展开激战，通过降价来吸引开发者和终端用户。随着模型之间的差距越来越小，用户留存已成为决定竞争胜负的关键因素。 这标志着 AI 竞争从单纯比拼模型能力，转向商业化能力、生态绑定和用户黏性的较量。短期内开发者和企业能以更低成本使用 AI，但小型服务商可能在价格战中难以承受利润压力。 文章将这场竞争形容为“奶茶大战”，暗示类似消费品促销的低利润定价策略。在模型输出质量逐渐趋同的情况下，迁移成本、开发者工具链和服务体验才真正构成差异化优势。

rss · 钛媒体 · 8月1日 17:06

背景: Token 是大型语言模型处理文本的基本单位，大致相当于单词或词片，API 服务商按处理的 Token 数量收费。当基础模型的能力趋于同质化时，厂商只能在价格、速度、功能特性和生态便利性上展开竞争。用户的留存越来越取决于围绕模型构建的开发者集成、数据反馈循环以及整体工作流体验。

标签: #AI, #competition, #pricing, #tokens

数百万本书，被 Claude“阅后即焚” ⭐️ 6.0/10

据报，Anthropic 使用数百万本书训练 Claude，将它们转换为非书籍格式后删除，引发版权和数据处理的质疑。

rss · 钛媒体 · 8月1日 16:41

标签: #AI, #Anthropic, #Claude, #copyright, #training data

蔡崇信离婚：没瓜可吃恰是财务安排的教科书 ⭐️ 6.0/10

钛媒体一篇分析文章审视蔡崇信的离婚，指出没有八卦恰恰说明他通过深思熟虑的财务与法律安排来保护阿里巴巴的市场稳定和控制权。 这很重要，因为对上市公司创始人来说，离婚等个人风波可能危及股价和控制权。此案例凸显了富豪企业家如何通过资产架构将私生活“证券化”，把情感风险转化为可管理的金融工程。 文章将离婚视为定价问题：一旦私生活被“证券化”，就必须定价并与公司治理进行平衡。不过，文章并未透露和解的具体细节，而是专注于背后的结构性逻辑。

rss · 钛媒体 · 8月1日 16:33

背景: 蔡崇信是阿里巴巴集团的联合创始人兼董事长，阿里巴巴是中国最大的科技综合企业之一。在上市公司中，创始人通常持有大量股份，因此离婚协议可能引发被迫出售股票和丧失控制权的担忧。为避免这种风险，高净值人士通常会提前通过法律架构进行资产保护，这也是蔡崇信离婚案中没有八卦消息反而值得关注的原因。

标签: #Joe Tsai, #Alibaba, #divorce, #wealth management, #corporate control

如何让 GPU 不“闲着”？榨出硅的极限 ⭐️ 6.0/10

这篇文章报道了一场以最大化 GPU 利用率为核心的 AI 基础设施效率革命。它探讨了通过技术手段减少 GPU 空闲时间的途径，但提供的内容仅停留在高层概括。 更高的 GPU 利用率能直接降低训练和运行 AI 模型的成本，影响 AI 公司的盈利能力和中小团队的资源可获得性。在 AI 算力需求持续增长的背景下，这场效率革命正成为关键竞争领域。 这则新闻没有给出具体技术、版本或厂商名称，仅将主题概括为“AI 基础设施的效率革命”。由于摘要缺乏具体方法，读者需要阅读原文才能了解其提出的解决方案。

rss · 钛媒体 · 8月1日 16:19

背景: AI 基础设施指用于训练和部署机器学习模型的软硬件体系，包括 GPU、网络、调度器和运行时系统。GPU 利用率衡量的是 GPU 用于有效计算的时间占比，而不是等待数据、通信或协调调度的时间。许多工作负载会因内存瓶颈、同步开销或任务调度不佳而让 GPU 闲置，因此提高利用率是降低算力成本的重要途径。

标签: #AI, #GPU, #AI基础设施, #效率, #计算成本

Qwen 转向开源，手机智能体定价松动 ⭐️ 6.0/10

据文章称，Qwen 转向了开源策略，这使其在手机智能体服务上的独家报价权出现松动。文章没有提及具体的模型版本或许可证细节。 这一变化意义重大，因为开源 Qwen 的智能体技术可能打破封闭生态，让更多开发者无需支付专有 API 费用即可部署智能体。这也表明 AI 智能体市场竞争加剧，以及阿里 Qwen 产品线的战略调整。 这则新闻非常简短，全文只有一句话，指出手机智能体的独家报价权正在松动。需要注意的是，文中没有提供任何技术规格、发布时间或市场影响数据。

rss · 钛媒体 · 8月1日 16:19

背景: Qwen 是阿里巴巴的大语言模型系列，此前同时有开源版本和基于 API 的商业版本。开源模型会把权重公开发布，开发者可以自行部署和定制，从而减少对厂商付费 API 的依赖。手机智能体是一种能够操作手机 App、代替用户完成任务的 AI 系统。当重要模型转为开源后，原厂商就很难再对基于该模型构建的智能体服务进行独家定价。

标签: #AI, #open source, #Qwen, #mobile agents, #business strategy

字节重组 ToB 业务，押注 AI 办公套件 ⭐️ 6.0/10

字节跳动正在重组其 ToB（企业服务）业务，将重心转向 AI 驱动的办公产品，并称竞争已进入“集团军”阶段。这一举措意味着资源将围绕 AI 办公能力进行整合，而不是分散在独立工具上。 这一战略转向表明 AI 办公套件已成为企业软件领域的关键战场，很可能加剧与微软等国际厂商及国内同行的竞争。对普通企业而言，这可能意味着日常办公工具中 AI 集成功能的迭代更快，工作流也更一体化。 目前可见的文章内容非常简短，主要观点是 AI 办公进入“集团军”时代，但没有披露具体产品、投资金额或时间表。此次重组将如何调整字节既有的 ToB 团队，以及会优先发力哪些 AI 办公功能，仍不明确。

rss · 钛媒体 · 8月1日 16:19

背景: ToB 即企业服务，指面向公司而非个人消费者销售产品和服务。AI 办公则是利用机器学习和大型语言模型，辅助完成写作、总结、日程安排、数据分析等任务。“集团军”这个比喻意味着，未来的竞争需要的是由办公与 AI 能力协同整合而成的产品矩阵，而不再是孤立的单点工具。

标签: #ByteDance, #AI office, #ToB business, #business strategy, #AI

传音控股 V 型反弹后市场仍犹豫：“换挡之困”何解？ ⭐️ 6.0/10

文章探讨了即便在股价出现 V 型反弹之后，市场为何仍对传音控股保持犹豫态度。文章指出，公司的战略“换挡”挑战是市场担忧的核心。 传音是非洲智能手机市场的主导者，因此其向更高价值产品和新兴市场转型的能力，将对新兴市场科技消费者和投资者产生广泛影响。市场的谨慎态度反映了对该公司能否在传统优势之外实现增长的怀疑。 “换挡之困”字面意思是“换挡的困难”，形容传音在从传统的功能机和入门级智能手机业务，转向更加多元化、高端化模式时所面临的挑战。所提供的内容中未给出具体的财务数据和战略举措。

rss · 钛媒体 · 8月1日 16:19

背景: 传音控股是一家中国公司，因通过 Tecno、Infinix 和 itel 等品牌在非洲大陆占据主导市场份额，被称为“非洲之王”。该公司长期专注于为非洲消费者定制价格实惠的功能机和入门级智能手机。“换挡”是一个隐喻，指的是为保持增长所需的战略转型，例如向高端设备进军、扩展到非洲以外地区，或构建服务生态系统。V 型反弹是指公司股价大幅下跌后又迅速回升，但投资者仍质疑基本面增长故事是否完好。

标签: #传音控股, #非洲市场, #智能手机, #股票分析, #财经

存储巨头暴赚，下游集体拒单 ⭐️ 6.0/10

存储芯片上游厂商通过涨价实现盈利大增，而下游客户因成本压力集体拒单。这反映出 2026 年内存市场供需双方之间的激烈博弈。 这一紧张局面可能重塑整个半导体供应链的定价和合约条款，影响存储厂商、硬件 OEM、云服务商乃至最终设备价格。如果下游的抵制持续，可能迫使供应商放缓涨价或重新谈判长期供货协议。 文章没有提供具体公司名称、价格数据或产品类别，内容仅基于“上游吃尽红利、下游集体拒单”这一现象。这表明它描述的是存储市场的整体趋势，而非某个已披露的单一事件。

rss · 钛媒体 · 8月1日 16:19

背景: 存储芯片主要包括 DRAM 和 NAND 闪存，是周期性很强的产品，价格会随供需关系剧烈波动。当厂商缩减产出或需求增加时，价格快速上涨并推高上游利润，而使用这些芯片的设备、服务器和数据中心厂商则面临更高成本。在过去的周期中，持续涨价曾导致客户推迟采购或拒单，最终促使市场重新平衡。

标签: #存储芯片, #半导体, #供应链, #涨价, #科技硬件

FCC 禁令加大中国具身智能企业全球化难度 ⭐️ 6.0/10

分析指出，FCC 禁令未必会拖慢中国具身智能的研发速度，但会加大相关企业全球拓展的难度，甚至可能影响其参加 CES 2027 等国际展会的计划。 这很重要，因为许多中国机器人创业公司依赖国际展会和全球市场实现增长；美国更严格的监管壁垒可能重塑具身智能的竞争格局。这标志着地缘科技政策已直接延伸到机器人产业。 文章强调，FCC 禁令的主要影响是“全球化难度”，而非研发速度。该禁令可能影响需要美国认证的无线机器人，而 CES 2027 被视为检验全球市场准入的一个参考节点。

rss · 钛媒体 · 8月1日 14:31

背景: 具身智能指的是拥有物理身体的 AI 系统，例如能够感知并作用于真实世界的机器人。美国 FCC 负责监管射频设备，出于国家安全原因，针对部分中国科技企业的禁令范围不断扩大。CES 等国际展会则是硬件企业接触全球客户的重要入口。

标签: #FCC ban, #embodied intelligence, #robotics, #CES, #tech policy

谁将成为人形机器人的一级供应商？ ⭐️ 6.0/10

文章指出，来自汽车和消费电子行业的供应商已经在积极争夺人形机器人 Tier 1 供应商的位置，尽管人形机器人市场尚未证明自己能成为下一个大型产业。 这种提前布局可能重塑人形机器人的未来供应链，使这些供应商在可能发展为汽车规模的市场中获得决定性优势。这表明传统制造商正在押注该领域的长期潜力。 文章指出，目前人形机器人领域尚未出现明确的 Tier 1 领导者，这为来自其他行业的现有供应商提供了一个开放的竞争格局。这些供应商可能利用其在大规模生产、质量管理和既有客户关系方面的专长进入该领域。

rss · 钛媒体 · 8月1日 10:18

背景: 在汽车行业，'Tier 1'指直接向整车制造商交付完整部件或系统的一级供应商。人形机器人是一种模仿人类外形和动作的新兴机器人类型，许多行业观察者预计它们将成为重要市场。文章表明，来自成熟行业的供应商正在为这一转变做准备，在人形机器人技术充分证明自己之前，就将其视为汽车行业的潜在继任者。

标签: #humanoid robots, #supply chain, #robotics, #manufacturing