OpenAI公开数学证明：可信度该看哪一层

OpenAI 10月6日甩出个大动作：内部模型搞出了数学研究成果，连 Lean 形式化证明和预印本都直接开源了。

不过别急着喊“AI 攻克数学”。GitHub 上有代码，不代表这成果就板上钉钉了。

机器检查通过，只说明它在特定前提下的逻辑没毛病。还得核对它证明的范围，是不是真对应论文里吹的那个大命题。万一代码证明的只是个更窄的子集呢？

而且就算结论站得住，也得看是谁出的力。人类在旁边给提示、做筛选和修正占了多大比例，这决定了能不能把账全算到 AI 头上。

所以目前最稳的结论就是：OpenAI 公开了一堆能查的材料。至于算不算真正的数学突破，还得等大家去对完预印本、核完代码再说。