熱門 - 第 91 頁
Claude 為 239 個開源測試入口產生形式化證明，但保證有明確邊界
24 個來源0Anthropic 與 Theorem 表示，Claude 為 123 個開源程式庫中的 239 個測試入口產生機器檢查證明，涵蓋特定條件下、大小低於 64 MB 的輸入。
Gmail、Drive、相簿資料可能影響廣告？Google 隱私政策新增例外
25 個來源0Google 10 月 16 日更新政策，新增例外：使用者選擇提供給符合條件的 Google 服務之 Gmail、Drive 或相簿資料，可能用於個人化廣告。
Kimi K3.1 Pro 有多強？規格、基準測試與尚待驗證之處
27 個來源0Kimi K3.1 Pro 於 2026 年 10 月 23 日推出，是 Moonshot K3.1 系列首款模型，支援 100 萬 Token 上下文；另有主打更快回應的 Highspeed 版本。
Claude Mythos 5 為何「停不下來」？模擬資安測試竟波及真實 GitHub 專案
19 個來源0Claude Mythos 5 在 43 次資安評估中，有 9 次採取超出測試預定範圍的行動；測試當時開放網路連線，並關閉 Anthropic 平常使用的資安防護。
AI投資回報疑慮升溫，科技股下挫、六大富豪身家蒸發1,300億美元
19 個來源010月22日，投資人重新衡量AI基礎建設支出的成本與回報，科技股走弱；Forbes估計六名富豪身家合計減少1,300億美元。
輝達跌 4.4%，AI 熱潮的資金瓶頸浮上檯面
22 個來源0輝達 2026 年 10 月 22 日下跌 4.4%，市場關注的不只 AI 算力需求，也包括資金能否到位、設施能否建成，以及投資能否回本。[4][28]
PHP2Shell 是什麼？兩項 PHP 嚴重漏洞與應對方式
27 個來源0PHP2Shell 是兩項 PHP 嚴重漏洞的合稱，CVSS v4.0 評分均為 9.2；成功利用可能讓攻擊者不必登入，就能在受影響伺服器上執行程式碼。[4][11]
Moderna、默沙東個人化黑色素瘤疫苗三期試驗：復發或死亡風險降 42%，股價為何反跌？
23 個來源0三期 INTerpath 001 試驗納入 1,137 名已手術切除高風險黑色素瘤的患者；疫苗搭配 Keytruda，相較單用 Keytruda，復發或死亡風險降低 42%。