AI / 大模型

OpenAI 新模型 GPT-5.6 Sol Ultra 在不到一小时内证明循环双覆盖猜想

这是图论领域悬而未决数十年的重要猜想，AI 数学能力迈入新台阶。知乎讨论热度达 190 万。

热议：数学家们在争论这是否意味着 AI 已经具备真正的数学直觉，还是只是强大的符号推理能力

知乎

德国电信与 OpenAI 合作用 AI 重构电信网络

欧洲最大电信运营商之一押注 AI 驱动的网络管理和客户服务。

OpenAI Blog

比特币矿企 TeraWulf 签订 190 亿美元、20 年 Anthropic 租赁协议，彻底退出挖矿

联合创始人 Paul Prager 表示"比特币挖矿已成过去"，全力转向 AI 数据中心。计划 2028 年满负荷运营。

热议：加密社区对矿企集体"叛逃"AI 感到失望，但也承认 AI 基建回报率更稳定

CoinDesk

> 辣评：曾经"去中心化信仰"的矿工们，现在排着队给 Claude 打工了。

加密 / Web3

Aave 选择 Chainlink CCIP 作为新移动应用跨链基础设施

DeFi 最大借贷协议采用 CCIP 进行跨链金库再平衡、存款和转账。LlamaRisk 评估显示 CCIP 在跨链安全性上得分最高。

Chainlink

比特币在霍尔木兹海峡冲突期间守住 6.3 万美元

伊朗冲突升级、美股暴跌背景下，BTC 表现出相对韧性。BTC 和 ETH ETF 结束连续八周净流出。

CoinDesk

Hyperscale Data 比特币库存达 1,032 枚，约 6580 万美元

该公司在截至 7 月 12 日的一周内增持 130 枚比特币。

Reuters

芯片 / 硬件

SK 海力士暴跌超 9%，半导体指数重挫 5%

美股 ADR 交易中 SK 海力士跌超 9%，韩国 KOSPI 指数一度下挫 9%（上市首日后）。市场担忧 6 月 CPI 数据和美联储鹰派立场，叠加霍尔木兹海峡地缘风险。

热议：投资者质疑 AI 芯片需求是否已见顶，还是纯粹地缘恐慌

KuCoin Blog | CNBC | Nikkei Asia

> 辣评：SK 海力士刚在纳斯达克敲钟，第二天就体验了一把美股"欢迎仪式"——暴跌 15%。

科技公司

小米回应网传澎程价格推测：部分推测显著低于成本

小米呼吁"推测要讲科学"，暗示外界低估了澎程芯片成本。知乎讨论热度 62 万。

知乎

微软测试无广告和冗余信息的 Windows 搜索菜单

长期被诟病的 Windows 搜索终于要清爽了？测试版本移除了大部分广告和推荐内容。

The Verge

Uber 产品负责人：不想成为"所有人的一切"

Uber 谈酒店业务、自动驾驶出租车，强调要保持专注而非盲目扩张。

TechCrunch

美股

高盛、美银齐发卖出警报，对冲基金却重返科技股

机构仓位信号出现分歧：投行看空，对冲基金加仓。市场对 AI 股票的信心出现分化。

华尔街见闻

AI 恐慌缓和，美股盘前存储芯片股普涨

韩股深 V 反弹，SK 海力士等芯片股回升。市场对前一日暴跌的恐慌情绪有所缓解。

华尔街见闻

财经 / 宏观

霍尔木兹海峡冲突升级，布伦特原油飙升至 85 美元

伊朗用巡航导弹击中两艘阿联酋油轮（Mombasa 和 Al Bahiyah），造成 1 名印度船员死亡、8 人受伤（含 2 名乌克兰人）。美军连续三晚空袭伊朗沿海防御系统和导弹基地，首次在实战中使用海上无人机。海峡通行几乎陷入停滞。

热议：全球能源市场警报拉响，各国开始囤积原油；阿联酋、乌克兰等国强烈谴责伊朗

Financial Times | CNN | BBC

特朗普：美国将"运营"封闭的霍尔木兹海峡，今晚继续攻击伊朗

美国中央司令部确认打击伊朗布什尔、恰赫巴哈尔、贾斯克、阿布穆萨岛、阿巴斯港等地军事目标。中国外交部表示"高度关切海湾地区军事冲突重启"。

Zero Hedge | Rapid Response

> 辣评：特朗普说"我们今晚攻击他们"的语气，就像在说"今晚吃什么"。

俄罗斯克拉斯诺达尔地区 Afipsky 炼油厂遭无人机袭击起火

地缘冲突外溢，俄罗斯能源设施也受到攻击。

FirstSquawk

富国银行二季度净利息收入 123.2 亿美元，符合预期

富国银行称劳动力市场和工资增长依然强劲，但对负担能力和通胀的担忧仍存在。

Reuters

新产品 / 新趋势

实时卫星追踪地图上线，可查看 Starlink 等 3 万颗卫星位置

Hacker News 热度 94，45 条评论。太空爱好者的新玩具。

Satellite Map | Hacker News

东方空间"引力一号"遥四运载火箭 7 月 22 日执行海上卫星发射任务

中国民营航天继续推进海上发射能力。

IT 之家

全国首次：无人机在无信号区直连卫星巡检成功

中国无人机卫星通信应用取得突破。

IT 之家

今天的暗线

AI 正在两个方向上重塑世界：OpenAI 用不到一小时攻克数学难题，而曾经的加密信仰者 TeraWulf 签下 190 亿美元订单为 Anthropic 挖 AI 算力。与此同时，真实世界的能源战争在霍尔木兹海峡打响——油价飙升、海峡封锁、无人机首次参战——提醒我们无论 AI 多聪明,物理世界的石油和芯片供应链仍然脆弱。当 SK 海力士因地缘恐慌暴跌 15% 时，你会发现：算力革命和能源危机，从来都是同一枚硬币的两面。