Cortex：受治理代码智能体的不动点理论技术报告

研究人员提出了 Cortex，一种用于执行前治理、需求追踪以及迭代验证和修复的监督层，并建立了受治理代码智能体的不动点理论。在单调验证与持久证据假设下，穷举迭代至多在需求数量步内达到最小不动点，公平后果调度也可达到相同闭包。研究还定义了 Gauntlet 评估体系等五类评估方法，用于对比原生与受治理智能体的表现。