MIT 教授：OpenAI 与 Anthropic 的 AI 数学证明含无法溯源的全新步骤

ChrSzegedy · x · 2026-11-15

MIT 教授 Ryan Williams 在 MIT 的访谈中透露，他和一批研究者已基本理解 OpenAI 与 Anthropic 给出的 AI 生成数学证明的全部组成部分，多数步骤都能追溯到已有工作的来源；但两家模型的解法中各有一个步骤显得「radically novel」——可以理解，但说不清它从哪来、意味着什么。他坦承证明的写作质量相当差，并认为目前对 OpenAI 的证明已有相当好的理解。这是研究者对前沿模型数学推理能力的一次罕见一手评估。