energy-invariant
시스템의 총 에너지가 보존되거나 특정 임계치 이상으로 유지되어야 한다는 원칙으로, 모델의 성능이나 정보량이 업데이트 과정에서 손실되지 않도록 보장한다.
Z3와 Lean 4로 검증하는 AI 가중치 업데이트의 안전성