研究者叹超大定理几乎零错误：数学文献是干净的训练数据泉源
rbhar90 · x · 2026-10-28
有人赞叹一个规模庞大的著名定理经形式化验证后居然完全正确，堪称惊人成就。Google 研究员 rbhar90 附议：如此规模与复杂度的定理大致无 bug，恰恰证明人类数学家的非凡能力——数学文献就像一股纯净的山泉式训练数据，而其他科学领域的文献要混乱得多。这一对比对 AI for Math 与训练数据质量讨论颇有启发。
「漫话AGI」频道最新
- Kevin Xu：主权 AI 是 AI 泡沫中的又一个泡沫 — kevinsxu · 2026-10-28
- Kevins Xu：中国 AI 实验室高度依赖西方市场收入，美国对华收入为零 — kevinsxu · 2026-10-28
- 关于 RSI 的定义之争：算力被封死时，自我改进加速还算不算发生 — dfrsrchtwts · 2026-10-28
- Bland CEO 黑色预言：企业把 AI 转型押给了 IT 部门 — nlarusstone · 2026-10-28
- 特拉华拟允许 AI 智能体运营整家公司，遭国会调查 — Ars Technica AI · 2026-10-28
- 经济学家复现高盛 AI 失业图表：12 个月回归窗口结论站不住脚 — danielrock · 2026-10-28