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

Stephen Wolfram 发布新文《AI 时代纯数学研究的未来何在》，探讨 AI 尤其是 LLM 与符号计算结合将如何改变纯数学的研究方式。文章覆盖从证明辅助、形式化到机器辅助猜想等环节，认为数学家的角色与工作流可能被重塑。