#极值问题

NeuralCert：神经网络辅助数学构造的精确认证框架

该论文提出 NeuralCert 框架，将高维变分试探函数以紧凑可分离表示学习，经谱诊断与剪枝后通过多模评估实现精确认证，使数值证明完全显式且可独立验证。在三个极值问题上，神经优化分别实现了发现更优构造、揭示经验不变量以导向证明、以及暴露优化障碍三种贡献。该框架可在普通个人电脑上运行，指向计算发现…