Google 研究员称数学文献是干净训练数据

2026年10月28日，AGI Hunt 报道，Google 研究员 rbhar90 感叹：一个规模庞大的著名定理经形式化验证后几乎零错误，他认为这恰恰证明人类数学家能力非凡。他把数学文献比作纯净的山泉式训练数据，认为其他科学领域的文献要混乱得多，这一观察对 AI for Math 与训练数据质量的讨论颇有启发。报道未披露该定理的名称与验证过程细节，也未给出具体的错误率数字。

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

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