Wolfram 撰文探讨 AI 时代纯数学研究未来

2026年10月1日，据 AGI Hunt 报道，Stephen Wolfram 发布新文《AI 时代纯数学研究的未来何在》。文章探讨 AI，尤其是大语言模型与符号计算的结合，将如何改变纯数学的研究方式，内容覆盖从证明辅助、形式化到机器辅助猜想等环节，并认为数学家的角色与工作流可能因此被重塑。报道未披露更多细节，事件目前仍处于该文引发的讨论阶段。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。