AI写的数学证明，说到底还是人的脑子

OpenAI放出了一堆数学证明，评论区一片欢呼。但我看完这篇分析后，心里不太踏实。这些证明真的算"新"吗？还是只是把人类几十年积累的推理套路换了个皮肤？作者的观点很直白：AI的训练数据来自人类的论文、教材、代码，它能跑出来的定理路径，无非是在已有知识里做排列组合。我倾向于认同这个判断——至少在现阶段，AI不是在拓展数学的边界，而是在重述我们说过的话。真正该警惕的不是AI太强，而是我们太容易把"熟悉的输出"误认为"新的发现"。

原文：The OpenAI proofs are us · 来源：Hacker News