据报道,Anthropic 的一名员工使用 Fable 模型成功复现了 Astra 的十个数学证明中的五个。具体的证明并未披露,并且该员工专注于复现而非将 Fable 应用于新问题,这一点被认为是一个有趣的决定,考虑到 Anthropic 拥有大量的计算资源。 AI
影响 展示了 Fable 等模型在复杂数学推理和证明验证方面的能力。
排序理由 涉及使用特定模型复现证明的研究里程碑。 [lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →