TechFlow 情報局：OpenAI GPT-5.6 Sol Ultra 不到一小時證明數學猜想，霍爾木茲海峽衝突引發全球能源危機

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% 時，你會發現：算力革命和能源危機，從來都是同一枚硬幣的兩面。