重要 TechFlow 情报局：OpenAI GPT-5.6 Sol Ultra 不到一小时证明数学猜想，霍尔木兹海峡冲突引发

BiRun 消息，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 名乌克兰人）。美军连续三晚空袭伊朗沿海防御系统和导弹基地，首次在实战中使用海上无人机。海峡通行几乎陷入停滞。 热议：全球能源市场警报拉响，各国开始囤积原油；阿联酋、乌克兰等国强烈谴责伊朗 Fi