Search

直接匹配不多，已補上最新動態。

Tag: #epistemic-logic3 results

AI 認知推理機制：Theory of Mind Utility 形式化規範

Theory of Mind Utility (ToM-U) 引入了一種形式化的計算框架，用於建模代理人如何推斷他人的信念。透過使用 Local Epistemic World Models (LEWMs)，它提供了一種結構化的方法來追蹤認知狀態，且無需依賴神經實現的假設。

這篇研究論文探討了作為認知邏輯基礎問題的 Muddy Children Puzzle 的歷史起源。文中追溯了該謎題在過去兩個世紀中，透過各種文學與邏輯出版物的演變過程。

與常見信念相反，在KD45個體信念下，共同信念並非KD4，僅保留D與4性質，並新增移位自反性C(Cφ → φ)。本文證明KD4加上此公理仍不完備，需額外依代理人數的公理。此結果完全刻畫共同信念，解決長期未決問題。

GDS Holdings 顯示，AI 相關資料中心訂單的增長速度快於已確認收入。這項趨勢反映需求強勁，但基礎設施擴建週期也使獲利延後。

隨著 AI 工作負載提高對系統資源的需求，Microsoft 正重新最佳化 8GB 以上裝置的 Windows 記憶體使用。文章認為，舊版相容性、整合服務、WebView2 與分散的資源管理，正壓縮本地模型和 AI Agent 可用的記憶體空間。

量子位報導星海圖與產業夥伴共同討論具身智能從模型走向生產力的路徑。文章強調透過產業協作，推動具身智能真正落地到多個行業。

OpenAI 表示 Codex 活躍使用者已突破 2,000 萬，第三方追蹤數據則顯示其近期增速超越 Claude Code。Claude Code 目前規模仍較大且深受開發者採用，但隨著 Anthropic 接近早期市場飽和，其高速成長已經放緩。