Why Pure Reasoning is Not Enough: Nature as the Source of Mathematical Innovation
为何纯推理不足:自然作为数学创新之源
机构 * IBM T. J. Watson Research Center(IBM T. J. 沃森研究中心)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.AI
AI总结 研究认为人类数学推理受逻辑片段不可判定性和计算难题限制,依赖自然世界的模式匹配。通过追溯傅里叶变换等数学史及逻辑复杂性,表明物理启发的模式匹配是认知必要,为人工智能中语言模型规模大提供依据。