标签
作者发布了 Chronoformal Closure Theory (CCT)，这是一个新的数学框架，表明可实现性、最小观测和状态压缩等问题可以归结为有限组合结构，并对 AI 智能体具有潜在影响。该发布包含证明、代码和部分 Lean 形式化，邀请独立的数学审查。
本文评估了双智能体LLM中继中用于旅行规划的交接压缩，比较了JSON提取和叙述摘要等方法，发现结构化表示能更好地保持约束。