Stephen Wolfram 分析 AI 时代纯数学研究的未来

What's the Future for Pure Math Research in the Age of AI?

Stephen Wolfram 认为 AI 能加速纯数学研究，人类仍需设定研究目标、选择问题并建立可共享的数学概念。自动形式化即使通过证明检查，也可能偏离原本要表达的命题，需要核对形式化表述是否准确。Wolfram 团队正在扩展 Wolfram Language，使其涵盖层、Lie 群和 Clifford 代数等纯数学构造，目标是提供人类和 AI 都能使用的精确计算表达。