AI 数学的瓶颈已从「找证明」转向「验证明」

2026年10月7日，AGI Hunt 报道，rohanpaul_ai 提出，AI 数学研究的瓶颈已从寻找证明转移到检查证明。该观点认为，随着模型生成证明的能力不断提升，验证环节开始成为新的制约，形式化验证与专家评审如今才是稀缺资源，而不再是证明的生成本身。报道仅提出这一判断，未给出具体案例、数据，也未点名涉及的模型或项目，因此事件目前仍停留在观点层面，尚无后续进展或反驳意见。

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

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