观点：AI时代人类数学研究仍将存续

2026年10月16日，Hacker News出现热帖《AI时代我们还会继续数学研究吗》。作者认为，前沿大语言模型已能处理研究级数学中的多类问题，但数学不会被AI完全取代。文章将数学结果分为平凡、繁琐、连接线索、神启、形式化和无中生有六类，指出现有模型更擅长分布内、已形式化的任务；而证明除确立结论外，还承担传递理解、展现美感和生成新定义的作用，Lean等形式化证明工具并不能覆盖这些目标。作者据此主张人类数学研究在AI时代仍将继续。

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

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