jd_pressman：神经网络能否拆分为可证明的纯函数子网络？

jd_pressman 提出，神经网络中的许多子网络本质上是纯函数，原则上可被规约并形式化验证。核心难点在于，VQGAN 等模块的规格说明与训练数据分布深度纠缠，难以独立形式化。