Google 研究员叹超大定理几乎零错误：数学文献是干净的训练数据泉源

一个规模庞大的著名定理经形式化验证后几乎零错误，Google 研究员 rbhar90 认为这证明人类数学家能力非凡。他将数学文献比作纯净的山泉式训练数据，认为其他科学领域文献要混乱得多，对 AI for Math 与训练数据质量讨论颇有启发。