Databricks（@databricks）宣布 Anthropic Claude Fable 5.1 以 Day-0 方式在平台可用，并与 Claude Opus 5、Sonnet 5 及 30+ 模型并列托管；可通过 Unity Gateway 连接编码智能体，统一路由、成本控制与可观测性。
Databricks 宣布 OpenAI GPT-6 Astra 以日零发布形式登陆平台，经 Unity Gateway 调用即可用于生产数据上的 agentic 推理：内部评测称在 OfficeQA Pro、OfficeQA Pro V2 与 Document Processing 上达到领先质量与效率，并复用既有治理、审计与成本管控（与 Claude、Gemini、Grok 等同一通道）。文档已给出接入说明。
Anthropic 于 9 月 1 日推出 Claude Fable 5.1（API：claude-fable-5-1），面向 Pro/Max/Team/Enterprise 及 Claude API、AWS、Google Cloud 与 Microsoft Foundry。标价仍为每百万 Token 输入 10 美元、输出 50 美元，但缓存读取降到 0.25 美元（比 Fable 5 低 75%），官方估计典型工作负载约便宜 25%、高代理负载最高约 45%。同代 Mythos 5.1 仅通过受信访问计划提供。
Anthropic 宣布 Claude 完成费马大定理的首个机器可验证 Lean 形式化证明：专家原估需数年，现为有史以来最大的 Lean 证明，约 1300 万行代码，并顺带形式化证明依赖的逾 2.9 万条其它定理。团队称这是 AI 辅助数学核验的重要一步，完整证明已开源到 GitHub。
讨论与评论
0登录后即可参与深度讨论
与广大 AI 开发者、工程师交流评测心得与前沿洞察