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

MIT教授Ryan Williams在访谈中表示，OpenAI与Anthropic生成的数学证明各有一步显得「radically novel」，可以理解但无法说明来源。他称多数步骤都能追溯至已有工作，但证明写作质量较差，目前对OpenAI证明的理解已相对充分。