数学家质疑 AI 自主证明能力：模型只是概率矩阵插值

just_steve_h · x · 2026-10-09

一场关于 OpenAI 数学成果的争论：有人认为模型「自己想出」了证明方法，但发帖人 juststeveh 反驳称，模型并没有真正「自行发现」任何东西——只是把数十亿文本片段喂进算法，产出大型概率矩阵，再在输入与其他算法的约束下生成文本而已。