重要 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