Google研究员肯定超大定理形式化验证

Google研究员rbhar90附议一项针对规模庞大的著名定理的形式化验证结果，称验证“完全正确”，并将其视为人类数学家能力的体现。 他还认为，数学文献可成为质量较高、较“干净”的AI训练数据，而其他科学领域的文献因内容混杂程度更高，训练数据质量相对更差。这一观点把该形式化验证案例与AI for Math及训练数据质量讨论联系起来。

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

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