研究者盼 AI 加速数学证明验证:人工核验动辄数月

kfountou · x · 2026-09-13

一位数学研究者在讨论中描述 AI 对数学研究的实际痛点：他手上有三个满意的长期项目，每个证明文档长达 70–100 页，人工核验正确性需要数月；即使借助 Codex 或 Claude 自动形式化，也可能仍需数月。他认为更好的 AI 验证能力将大幅加速判断证明对错的过程。

这条回复反映出数学界对 AI 的核心期待不在生成证明，而在验证——形式化与自动核验仍是当前瓶颈。