AI 时代纯数学研究的未来：人类想象力与计算不可约性的角色

现代 AI 通过挖掘海量文献建立知识连接，但无法替代定义核心问题的纯数学研究。Wolfram Language 创始人指出，AI 擅长检索与组合已知结果，而纯数学的本质在于人类想象力引导的提问。相比之下，基于简单规则的计算能利用“计算不可约性”生成全新定理，但这仅是从计算宇宙中摘取的结果，仍需人类赋予其意义。