Anthropic Claude 11 日完成費馬最後定理 Lean 形式證明：AI 寫碼之後，形式驗證成下一戰場
Anthropic Claude 11 日完成費馬最後定理 Lean 形式證明：AI 寫碼之後，形式驗證成下一戰場 Anthropic 於 2026 年 9 月 4 日公布，其 Claude 多代理系統在約 11 日內，以 Lean 證明助手完成費馬最後定理（Fermat's Last Theorem）的端到端、可機器...
吉爾吉斯推虛擬資產統一發牌平台與數位索姆：2026 年底先試 CBDC，2027 年實境推廣
吉爾吉斯推虛擬資產統一發牌平台與數位索姆：2026 年底先試 CBDC，2027 年實境推廣 2026 年 9 月 5 日，吉爾吉斯總統薩德爾・扎帕羅夫（Sadyr Japarov）在伊塞克湖州喬爾蓬阿塔（Cholpon-Ata）主持「虛擬資產與區塊鏈技術發展國家委員會」第三次會議，拍板兩條可核對時間表：國家銀行須在...
Operation Bluebird 被禁「Twitter」名改推 Tweet.app：法院指 X 放棄鳥標與 tweet
Operation Bluebird 被禁「Twitter」名改推 Tweet.app：法院指 X 放棄鳥標與 tweet 美國特拉華州聯邦法院就 X Corp. 控告新創 Operation Bluebird 商標案作出初步禁制令裁決後，Operation Bluebird 把平台品牌改為 Tweet.app。路透社...
《西雅圖時報》與 Newsday 聯手控告 OpenAI、Microsoft：新聞版權成訓練數據戰場
《西雅圖時報》與 Newsday 聯手控告 OpenAI、Microsoft：新聞版權成訓練數據戰場 2026 年 9 月 4 日，《西雅圖時報》（The Seattle Times）與長島《Newsday》在紐約南區聯邦法院（Southern District of New York）聯合起訴 OpenAI 多家實體...
切爾西球衣印上 USDC：香港球迷憂穩定幣條例下穿球衣算不算「主動推廣」
切爾西足球會與 Circle 達成 2026／27 球季球衣胸前贊助後，球衣正面出現 USDC 穩定幣品牌，立即在香港引發法律疑問：球迷穿上球衣、零售店出售複製品，會否觸犯《穩定幣條例》下「主動向公眾推廣」未獲發牌穩定幣的禁令？本文根據《南華早報》2026 年 9 月 6 日報道，並核對 Circle 官方新聞稿與金管...
國會要求調查：美軍關閉廣告識別碼後，商業位置數據仍可購買追蹤部隊
國會要求調查：美軍關閉廣告識別碼後，商業位置數據仍可購買追蹤部隊 美國國會議員近日要求國防部監察長介入調查：各軍種雖已在公發裝置關閉流動廣告識別碼（MAID），但與軍事設施相關的商業位置數據據報仍可在市場取得。本文已核對《The Register》2026 年 9 月 6 日報道、Wyden 參議員辦公室新聞稿、以及《...
NHTSA 審計 Tesla Cybercab：無軚盤自證合規，聯邦安全標準成上線門檻
NHTSA 審計 Tesla Cybercab：無軚盤自證合規，聯邦安全標準成上線門檻 美國國家公路交通安全管理局（NHTSA）在 Tesla 於德克薩斯州奧斯汀開始商業部署雙人座 Cybercab 後數小時內，即對其啟動「審計查詢」（Audit Query），審視該車如何自我認證符合聯邦機動車輛安全標準（FMVSS）...
iOS 27 推出 iPhone Handoff：雙機共用同一號碼，摺機時代換機更無縫
iOS 27 推出 iPhone Handoff：雙機共用同一號碼，摺機時代換機更無縫 Apple 即將隨 iOS 27 公開推出的 iPhone Handoff，讓用戶在兩部 iPhone 之間切換時，仍可使用同一個電話號碼接聽來電與收發短訊。功能最早在 2026 年 6 月 WWDC 以簡報一句帶過；近日 The...