Wolfram 撰文谈 AI 时代纯数学研究的未来
Wolfram 在文章开头回应了「AI 已能解数学题、是否还需要人类做数学研究」的讨论。他以 1988 年 Mathematica 问世时同样出现「数学被取代」的论调为例,指出 Mathematica 实际只是抬高了可做数学的层次,并催生了新数学。他认为符号积分这类问题求解虽被工具替代,但这并非纯数学的核心;纯数学是文明构建的最大智力结构,其价值不能仅由应用或「标准答案之书」来定义。原文信息有限,后续内容未完整给出。
推荐理由Wolfram 亲述 Mathematica 当年被指取代数学的旧事,可对照当下 AI 解数学题的争论。