reentry-systems

本文提出了一种基于闭合循环回路的完全架构规范，用于安全的AGI，提供了形式化证明、Lean 4机器验证以及Python代码。该架构与当前前馈方法形成对比，从数学上保证了自我建模、自我保存和安全的目标导向行为。