SIGReg 目标作为变分自由能：JEPA 世界模型的主动推断理论解释

arXiv:2607.13612 将 JEPA 的预测损失与防坍塌正则化重新解释为主动推断中的变分自由能。论文比较 VICReg、LogDet、PairDist 与 SIGReg 的熵估计偏差，指出 SIGReg 在各向同性高斯嵌入假设下可消除该偏差，使信息瓶颈和实用价值对应关系精确成立，并用 Lean 4 机器验证核心代数；这些结论仍待实证检验。