機器之心● 精選AI 評分72
Comma 用單主會話與共享事實清單實現 Agent 長期記憶
常駐型個人智慧體 Comma 公開了長期記憶的工程實現：每個工作區只保留一條主會話，所有 Agent 共享一份由快速決策模型 Jev 維護的事實清單，寫入前和每輪迴復後都由 Jev 判斷內容是否該共享、清單是否過時、Agent 是否偏離任務。團隊版按受眾劃分記憶，並用 Lean 實現的資訊流控制核心檢查每次對外傳送的讀者權限；等待外部事件由 Agent 自己編寫的 eBPF Loop 承擔，其記憶體隔離有約 4 萬行 Lean 證明。