标签
作者发布了 Chronoformal Closure Theory (CCT)，这是一个新的数学框架，表明可实现性、最小观测和状态压缩等问题可以归结为有限组合结构，并对 AI 智能体具有潜在影响。该发布包含证明、代码和部分 Lean 形式化，邀请独立的数学审查。