所有文章

Axiom 宣布完成有限單群分類定理的 Lean 形式化。從 4,310 萬行自報產出、UGT 修補與公開程式碼，分清定理目標、證明檢查和獨立重建，判斷這次發布的實際價值。

第一題變快，第二題還找得到原句嗎？從 TokenGate 的學習式選詞出發，用四組保留預算建立品質與成本工作表，分清單輪結果、重新讀原文和跨輪快取重用。

Gemini 4 Carbon 登上 AA 綜合能力榜首，程式 Agent 評測卻仍落後 Opus 5.5。拆開兩個 59 分、資安測試與受限開放，判斷何時值得測試與遷移。

GitHub 正式推出 Copilot Fusion，讓系統自動安排模型分工。對照 Artificial Analysis 的 60 分與每題 US$5.59，拆開測試成本、計費折扣、模型審查與工作區復原，判斷你的團隊該如何驗收。

DeepMind 的 Genie 4 加入原生音訊、角色對話與即時文字引導。從官方展示、Gemini 的推理分工到物件恆存限制，拆解互動世界的創作價值，以及成為可靠 Agent 訓練環境仍需要哪些證據。

幣市回暖，資金卻沒同步回頭：BTC與ETH的ETF流向分歧，聯準會決議牽動情緒，Coinbase與Bithumb資安事件接連浮上檯面。

GM 預期 11 月 17 日轉往 Nasdaq，代號仍是 GM，既有股東無須為轉板採取行動。從官方公告與指數方法書，分清掛牌批准、Nasdaq-100 候選資格及正式納入。

Keystone 承認外洩金鑰可能讓仿冒機通過驗證，另稱韌體簽署金鑰獨立且未受影響。對照官方驗證頁，釐清通過結果的限制，以及持有人需要追加確認的裝置範圍。

滙豐第三季營收 186.20 億美元，稅前利潤 96.32 億美元。拆解法律準備金基期、banking NII、預期信用損失，以及 CET1 與流動性變化。