先分清：发布手稿不等于学界确认
2026年10月6日，OpenAI官方发布页说明，已把其内部模型生成的数学研究成果发布在GitHub，并为许多证明提供了Lean形式化版本；发布页还说明后续仍会补充。这是可确认的发布信息，但不等同于数学界已公认这些成果。报道中出现的定理细节、成果数量或生成速度，未经独立核实不应当作事实。阅读这类消息，第一步是区分“公司发布了什么”和“学界确认了什么”。
读摘要：先找原命题，再看证明条件
建议把一篇AI数学手稿拆成三层读。第一层是摘要，它由作者或AI自行概括，代表研究者的自我陈述，不代表验证结果。第二层是原命题，即文中明确陈述的定理或猜想；先确认命题准确说了什么，再查它与已有结果的关系；看不懂的地方可以记为待理解，不急于评价价值。第三层是证明条件，包括用了哪些假设、引理和已有定理，这些条件是否成立，推理是否有跳步。以自拟的简单例子说明：要验证“两个偶数之和是偶数”，先令m、n为整数，用偶数定义写出a=2m、b=2n，则a+b=2(m+n)，于是结论成立。此类基础例子能帮助建立“证明必须覆盖一般情形”的习惯，而不是只检查几个具体数字。
证明检查：Lean验证与同行评议是两回事
Lean形式化版本是把证明转换成严格逻辑表达，让计算机检查每一步是否由前提推出。证明通过检查，意味着在所采用的公理、定义和实现范围内，该形式陈述的推理通过检查；还需要确认形式陈述准确对应论文要证明的问题；它并不保证整个系统无矛盾，也不等于学界已接受。同行评议还会评价问题是否新颖、方法是否有启发、结论是否与已有文献兼容，这些是自动化检查覆盖不到的部分。因此，看到“已通过形式化验证”时，应读作“在此系统内逻辑成立”，而非“已被学术界认定为真”。
关注局限：把AI手稿当作研究辅助材料
AI生成的手稿也可能缺少问题背景、动机或价值判断，阅读者仍需分别理解形式化检查覆盖了哪些命题，以及其他部分的验证状态。建议不要只看标题或摘要，而是对照原始发布页面，关注发布方是否承诺补充信息；同时留意后续是否有独立的复现或同行评议。对学习者来说，这类新闻的真正启示是：数学能力不仅包括解题，也包括检查证明结构。可以练习在摘要中画出主断言，在正文中找出该断言的假设，并询问“验证方式到底是什么”。保持这种习惯，就不会被“AI证明了某难题”的简化说法带走。
参考资料
