数学家给出形式化证明:靠“学习”达到人类水平 AI,本质上是 NP-hard六位认知科学家发表名为“Ingenia 定理”的形式化证明:即便在完美数据的理想条件下,通过学习实现人类水平 AI 本质上仍是 NP-hard 问题,直指“规模化必然通向 AGI”的叙事缺乏定理支撑。logang·2026年10月10日