研究者盼 AI 加速数学证明验证:人工核验动辄数月
kfountou · x · 2026-09-13
一位数学研究者在讨论中描述 AI 对数学研究的实际痛点：他手上有三个满意的长期项目，每个证明文档长达 70–100 页，人工核验正确性需要数月；即使借助 Codex 或 Claude 自动形式化，也可能仍需数月。他认为更好的 AI 验证能力将大幅加速判断证明对错的过程。
这条回复反映出数学界对 AI 的核心期待不在生成证明，而在验证——形式化与自动核验仍是当前瓶颈。
所属事件:强化学习学者吐槽 AI 写作质量差 宁压成果也不发(3 条相关)→
「研究」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- 把整台任天堂塞进 1GB 权重：Qwenputer 衍生出 Nesformer — idanbeck · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31
- 机器人操作新基准 MolmoSpaces-CommonSense:所有策略无一超过 30% — RanjayKrishna · 2026-10-31
- 用培养脑细胞做视频模型：mischief 1 上线，每秒仅 0.5 美分 — evilsocket · 2026-10-31
- 斯坦福 CS336 笔记:Percy Liang 讲透 Scaling Laws 的思维方式转变 — stanfordnlp · 2026-10-31