扫码下载
搜索“Claude”共有337条相关结果
Techub News 消息，Anthropic 在 Frontier Red Team 博客发布新研究，探讨利用 Claude 进行大规模软件形式化验证。研究称，形式化验证可证明代码无特定漏洞，但以往仅适用于小型代码库或需大量专家时间。 Anthropic 与 Theorem Labs 合作，在数周内使用 Claude 验证了超 100 个真实世界开源库的安全属性。@AnthropicAI 发推称，借助 AI 模型，大规模形式化验证正成为可能。
Techub News 消息，S&P Global（纽交所代码：SPGI）宣布扩展其私募市场生态系统的 AI 能力。新功能包括对 iLEVEL 平台的增强，将 AI 直接嵌入私募市场工作流，并允许客户通过 iLEVEL 的 MCP 服务器，在保持现有访问控制和权限的同时，安全地将其 iLEVEL 数据与能力连接到 Copilot、Claude 等 AI 工具。（Finextra）
Techub News 消息，欧洲面向中小企业及创业者的金融服务平台 Finom 宣布推出 Finom MCP。该连接允许用户在其自有 AI 助手（如 Claude 或 ChatGPT）内，使用自然语言查询其 Finom 账户信息，目前该服务为只读模式。Finom 平台为超过 30 万家企业提供服务。（Finextra）
Techub News 消息，Anthropic 发布名为 Claude Duet 的主动式 AI 智能体，该产品面向 Claude Pro 与 Claude Max 订阅用户。Claude Duet 旨在通过自动化日常任务来重新定义生产力，但其使用限制可能对效率提升构成挑战。（Crypto Briefing）
Techub News 消息，金融科技公司 Robbin 推出拉丁美洲首个信用模型上下文协议（MCP）技术。该技术允许财务团队在已使用的 AI 助手中直接使用公司的信用智能。其与 Claude 和 ChatGPT 集成，可将信用分析转化为对话形式，提供针对特定客户的额度建议、买方基础的风险评估以及需要审查的额度标记。（Finextra）
Techub News 消息，美国已禁止其政府系统使用 DeepSeek，中国对此提出强烈抗议并要求解除禁令。然而，北京方面在其整个市场内封锁了 ChatGPT、Claude 和 Gemini。（The Decoder）
Techub News 消息，Anthropic 的 Claude 独立设计了靶向致命蝎子神经毒素的蛋白结合剂。在超过 31.8 万个设计中，有 211 个在实验室进行了测试。其中 17 个符合标准，最强的两个能极其紧密地结合来自墨西哥蝎子的 Cn2 毒素。它们是否能作为抗蛇毒血清实际发挥作用仍有待验证。（The Decoder）
Techub News 消息，Citrini Research 在测试 Anthropic 的 Claude Science 后表示，人工智能驱动的药物发现热潮将推动生命科学公司股价上涨。（Bloomberg）
Techub News 消息，Claude 新模型被曝在推理和直觉方面表现更好，能跳出思维定式。据内侧用户称，该模型在修复单一 bug 时，会识别导致该 bug 的根本类问题，并询问是否应修复整个类问题。此外，在投资建议等任务中，它不会重复常识性建议，而是提出创造性算法。目前尚不清楚新模型是 Fable 还是 Opus。 同时，谷歌正在开发代号为「Gemini 4 Carbon」的新模型。早期内测员工反馈，其在编程任务上优于 Gemini 4 Argon，在需要视觉理解的任务上继续表现更好，感觉与 Claude Opus 5.5 相当。谷歌员工 Vedant Misra 发帖回应内测表现泄露时提及「递归自我改进（RSI）」，不确定是否暗示 Carbon 使用了该技术。 此外，GPT-6.1 Terra 已出现在微软 Copilot 代码中。OpenAI 最新几款 GPT 模型在 COBOL、FORTRAN 等低资源编程语言的迁移任务中表现显著提升，GPT‑6.1 Sol 在更高推理档位下准确率达到 97.9%。
Techub News 消息，MIT 研究人员将 Claude Opus 4.7 智能体（昵称 Eko）置于虚拟荒岛环境中长达 30 小时，观察其自主行为。智能体在没有外部指令的情况下，开始探索地图边界、设定自己的目标（如攀登最高点、投掷方块），并发明游戏（如篮球和「地板是熔岩」）。（MIT Technology Review）
