Bengio将目标函数的形式化验证视为从‘事后修补’转向‘事前约束’的关键工具，尽管当前对大模型尚难完全实现。