Wolfram 探讨 AI 时代纯数学研究

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

AI 根据报道生成 · 56 分钟前更新

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