AI 可验证领域将步数学后尘引讨论

2026 年 10 月 7 日，博主 rowlsmanthorpe 提出观点：随着 AI 在数学领域取得成果，所有可验证领域最终都会走上数学的路，因为这类领域的答案对错可机械检验，AI 能够快速迭代。该观点认为，真正悬而未决的是缺乏明确验证标准的不可验证领域会不会跟进；博主 charlieharris01 转发表示认同。同一批相关资讯还提到，OpenAI 已在 GitHub 发布 372 个 AI 生成的数学证明，数学界对此表示担忧。目前相关讨论仍停留在观点层面，报道中未给出进一步结论或后续进展。

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

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