ICML论文:小方程拟合数据被证明是NP难问题

MilesCranmer · x · 2026-07-07

ICML 2026收录论文《科学有多难?》(How Hard Is Science?)从计算复杂性视角研究科学发现的本质:作者证明了寻找能拟合数据的小型方程属于NP难级别问题,为符号回归与自动科学发现的计算局限提供了严格理论依据。 该结论揭示了当前AI辅助科学发现方法的根本性瓶颈,对理解机器学习能力边界具有重要意义。

原文链接 →