Anthropic
-
从命题到内核检查:Claude 11 天跑完费马大定理形式化,AI Agent 进入长周期数学验证阶段
Anthropic 称 Claude 用 11 天完成费马大定理的端到端形式化证明。相比结果本身,更值得关注的是 AI 在长时程 Agent、状态管理和形式化推理上的能力边界。
-
Anthropic 推出 Fable 5.1:降低调用成本,减少安全机制误触发
Anthropic 发布 Fable 5.1 与 Mythos 5.1。Fable 5.1 面向云平台和 API 用户开放,重点降低 token 成本、减少安全机制误触发,并将高隐私部署能力扩展至更多企业场景。
-
Claude Code 打通终端与桌面会话:AI 编程助手开始补上“工作连续性”短板
Anthropic 为 Claude Code 桌面端新增 /resume 功能,可恢复 CLI 终端中的历史会话。AI 编程助手正从单轮聊天工具,走向更重视上下文连续性的开发工作流工具。
-
Anthropic 展示自动化对齐研究员:AI 参与模型训练的一次低成本试验
Anthropic 展示自动化对齐研究员:AI 参与模型训练的一次低成本试验。
-
当 AI 开始主动攻击:百余家科技公司联名呼吁建立新防线
OpenAI、Anthropic、Google 等 100 多家公司联合签署公开信,呼吁应对 AI 驱动的网络攻击和失控风险。随着 AI 代理进入现实系统,安全治理正成为行业新焦点。
-
Anthropic打赢五角大楼官司:AI公司进入国防采购体系,先过合规与政策关
加州联邦法官裁定,特朗普政府将 Anthropic 列为供应链风险的做法违法。这起案件不仅是一次企业诉讼进展,也暴露出 AI 公司进入国防采购体系时必须面对的安全边界、合规程序和国家安全政策风险。
-
Anthropic 再签 450 亿美元算力协议,头部 AI 实验室资源竞赛进入新阶段
Anthropic 与英国基础设施公司 Nscale 达成约 450 亿美元算力租赁协议,头部 AI 实验室对训练资源的竞争正在进一步加剧。
-
OpenAI 正在企业市场追回 Anthropic:Ramp 数据揭示 B 端用户低忠诚度
Ramp 最新数据显示,Anthropic 仍在付费企业用户份额上领先 OpenAI,但 OpenAI 第三季度至今增长更快。企业客户随模型发布不断切换,大模型 B 端市场的忠诚度仍然不高。
-
全球AI模型密集上新:从通用大模型向多模态智能体加速演进
2025年以来,人工智能(AI)技术在大语言模型和多模态领域持续突破,全球科技巨头密集推出新一代AI模型,不仅在理解与生成能力上实现飞跃,更在实用性与效率层面迈上新台阶,标志着AI…
-
Anthropic 发布 AI 可解释性路线图:特征字典技术让神经网络内部逻辑首次透明可控
Anthropic 近日发布了一份题为《AI 系统的可解释性路线图》的研究报告,深入阐述了其在神经网络可解释性领域的最新突破,并首次对外公开了”特征字典”(…