双隐藏层 ReLU 网络计算 6 个数最大值的可手算证明

研究人员提出一种可完全通过手工验证的解析证明，证实两层隐藏层 ReLU 网络足以精确计算 6 个实数的最大值。该证明基于计算机辅助搜索发现的显式六边形恒等式，通过显式消项完成纯手工检验而无需运行验证程序。该成果同时给出了一个隐藏层宽度分别为 17 和 41、偏置为零且权重均为有理数的显式神经网络结构。