MIT教授称两家AI证明含无法溯源步骤

MIT教授Ryan Williams在访谈中表示，OpenAI与Anthropic生成的数学证明各有一处“radically novel”的新步骤，虽可理解，但无法说明其来源；多数步骤仍可追溯至已有工作。他说，两份证明的写作质量较差，目前对OpenAI证明的理解已相对充分。

AI 根据报道生成 · 16 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。