⌘ K
… 读取采集状态 同步中...
雷

Anthropic / Claude

Anthropic 的全部动态：Claude 系列模型、Claude Code、安全研究路线与公司进展的持续追踪。

407条精选相关主题OpenAI / ChatGPTGoogle / Gemini安全对齐

最新精选

第 201–220 条 · 共 407 条
9月6日周日
  1. 硅星人Pro93

    Claude 完成费马大定理首个完整形式化证明，同期 GPT-6 Astra 向付费用户开放

    Anthropic 宣布 Claude 在 11 天内完成费马大定理首个端到端、可由计算机完整检查的 Lean 形式化证明，生成约 1300 万行 Lean 代码，包含超过 3 万个中间定理，证明使用其中约 29500 个，工程规模超过 Lean 核心数学库 Mathlib 的 5 倍。

    推荐理由：文章给出了11天内完成形式化的关键架构和代码规模，读者可据此判断自动化证明的工程路径。

9月5日周六
  1. 数字生命卡兹克88

    实测 GPT-6 Astra：性能追平 Claude Fable 5 与前端审美史诗级强化

    GPT-6 Astra 向订阅用户推送，作者实测认为其综合能力追平 Claude Fable 5 且额度更高。在速度方面，大型系统审查任务耗时从 GPT-5.6 Sol 的20分钟缩短至10分钟，GUI 操作速度翻倍。代码能力上，模型减少了过度设计，能深入发现并修复性能问题；前端3D建模细节与材质效果显著超越前代。此外，Codex 支持跨窗口笔记机制，可减少长任务中的信息丢失。

    推荐理由：作者对比了GPT-6 Astra与GPT-5.6 Sol的速度与代码深度，并展示了前端3D建模的显著提升。

  3. 量子位78

    陶哲轩警告GPT-6孪生素数突破可能污染数学探索过程

    陶哲轩批评GPT-6发布后将孪生素数间距上界推至186的突破，认为AI黑盒解题会掩盖探索路径产生的衍生价值。他提到Anthropic和Axiom同期将该间距缩小至188和212，并指出牛津大学数学家Julia Stadlmann在8月31日曾将上界缩至240。

    推荐理由：陶哲轩借GPT-6与同行竞争指出，AI掩盖失败路径与黑盒过程可能阻断数学界从探索中衍生新方法的机制。

  4. APPSO93

    Claude 用 11 天完成费马大定理计算机验证证明

    Anthropic 公布研究成果，Claude 在几乎自主运行下用 11 天完成费马大定理的首个端到端计算机验证证明。过程中 Claude 使用 Lean 编程语言生成约 1300 万行代码，构建了约 3.03 万个定理，其中最终证明使用了 2.95 万个中间定理。

    推荐理由：报道详细解析了 Claude 利用多智能体协同与 Lean 语言，以 11 天生成千万行代码完成费马大定理形式化验证的技术路径。

  5. 深思SenseAI82

    Claude成入口Salesforce握数据，垂直AI靠完整工作过程突围

    Salesforce与Anthropic推出Claudeforce，将客户数据、权限与37项销售技能接入Claude，使销售人员无需打开Salesforce即可执行核心任务。文章结合a16z合伙人Seema Amble观点分析指出，老牌软件掌控记录与权限，大模型公司争夺入口，垂直AI公司的机会在于掌握某项工作从开始到结果的完整过程，而非仅依赖数据或界面。

    推荐理由：原文将企业AI竞争拆解为记录、入口与完整工作过程三类资产，为判断垂直AI公司生存空间提供了清晰框架。

  6. DeepTech深科技90

    Anthropic 研究：Claude 借助多智能体协作完成费马大定理首个完整形式化证明

    Anthropic 研究员彭天翼（Tianyi Peng）发起，Claude 在人类少量指导下用 11 天完成费马大定理的完整形式化证明。数十个 Claude 智能体借助 Prove2Me 协作，生成约 1300 万行 Lean 代码，证明使用了约 2.95 万个中间定理，过程消耗约 60 亿输出 token。

    推荐理由：文章解析了Claude多智能体协作形式化费马大定理的工程细节与核验路径，有助于理解大型数学证明的自动化边界。

  7. 新智元87

    Anthropic Fable 5.1 更新 API 规则切断蒸馏路径

    Anthropic 发布 Fable 5.1 引入上下文一致性验证，若客户端篡改思考块及上下文将直接报错或强制删除思考块。该规则先适用于 2026年8月31日后创建的新账户，旨在防止利用上下文注入技术非法蒸馏模型，同时通过提高缓存命中率降低合法开发者的 API 成本与延迟。

    推荐理由：原文详解了新规的验证机制与合法开发者的迁移选项，为评估API集成与蒸馏生态影响提供了直接依据。

  8. 新智元94

    Claude 11天完成费马大定理首个端到端机器证明

    Anthropic宣布Claude仅用11天完成了费马大定理的首个端到端机器验证证明。Claude在此过程中编写了1300万行Lean代码，产出30300条可验证定理，其中29500条被采纳，总消耗达60亿Token。

    推荐理由：报道指出由清华姚班出身的彭天翼主导，Claude通过Prove2Me平台在11天内生成了30300条可验证定理，完成了费马大定理的机器证明。

9月4日周五
  3. 大模型智能92

    谷歌发布 Gemini 3.8 Flash 和 Gemini 3.8 Flash Cyber

    谷歌发布 Gemini 3.8 Flash 和网络安全版 Gemini 3.8 Flash Cyber，输入成本 0.75 美元/百万 Tokens，输出成本 3.75 美元/百万 Tokens，单任务成本 0.58 美元，生成速度 305 tokens/s。

    推荐理由：原文将3.8 Flash的基准成绩与旗舰模型对比，并补充了网络安全版本漏洞发现能力，读者可据此判断低成本模型在代码与安全场景的可用性。

  4. 深度学习与NLP77

    OpenAI采购数万台Mac进行强化学习训练，苹果成为英伟达强劲对手

    OpenAI和Anthropic正大规模采购或租用Apple Mac mini和Mac Studio，专门用于训练“计算机使用智能体”。苹果M系列芯片的统一内存架构在强化学习等AI工作负载中展现了性能优势，推动Mac成为苹果财报中增速最快的业务。英伟达视苹果为本地AI领域最大竞争对手，并针对性发布DGX Spark，但Mac高端型号目前面临数月断货问题。

    推荐理由：揭示了Mac硬件因统一内存优势在AI强化学习场景中的意外机遇，以及由此引发的苹果与英伟达竞争格局。

9月3日周四
  1. 新智元72

    OpenAI 关停 Atlas 后推新 ChatGPT 桌面版内置浏览器

    OpenAI 核心高管 Tibo Sottiaux 宣布 ChatGPT 桌面版成为其主力浏览器，效率显著提升。该版本整合了 Codex 并内置独立浏览器组件，替代了 8 月 9 日停服的独立产品 Atlas。OpenAI 放弃独立浏览器形态，转而在 AI 工作流中直接调用网页导航、登录及多标签能力，并保留 Codex Chrome 扩展以复用既有数字身份。

    推荐理由：梳理了OpenAI将Atlas浏览能力并入ChatGPT桌面版的路线，揭示了AI从独立浏览器转向嵌入执行组件的行业转向。

  2. 新智元82

    Claude 计算机使用功能升级后台操作模式

    Anthropic 升级 Claude 计算机使用功能，默认在 macOS 后台窗口运行，支持用户并行操作。新架构采用 API 连接器、内置浏览器和屏幕交互三级降级策略，目前向 Pro 和 Max 用户开放测试。

    推荐理由：原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。

  3. 钛媒体AGI82

    Anthropic 发布 Claude Fable 5.1 并大幅降低缓存读取价

    Anthropic 发布 Claude Fable 5.1 及 Mythos 5.1，将缓存读取价从每百万 token 1 美元降至 0.25 美元，降幅 75%。该调价使典型任务成本下降约 25%，高度 Agent 化任务最高降 45%。Fable 5.1 在 Terminal-Bench-Science 0.1 评测得分翻倍至 52.6%。

    推荐理由：文章指出 Anthropic 通过大幅降低缓存读取价，将竞争焦点从单次推理转向长时域 Agent 的持续记忆成本。

  5. 硅星人Pro85

    Fable 5.1 全网实测：写作更自然但格式约束失效

    Fable 5.1 实测显示在长篇写作中去 AI 味显著提升，文字难度降至初一水平；但面对字数、引用数量等硬性限制时会生成超额或捏造内容，且 ARC-AGI 测试每任务成本比前代降低 32%。

    推荐理由：全网实测揭示了Fable 5.1在写作去AI味和长任务表现上的实质进步与格式约束失效的短板。

  6. Hugging Face Blog60

    Hugging Face 开源 funes：为编码智能体提供自有记忆层

    Hugging Face 开源了 funes，为 Claude Code、Codex 等编码智能体提供本地持久记忆层。它索引本机已有会话，支持跨智能体、跨机器调用，并可发布为私有的 Hugging Face dataset。测试显示，相比摘要或手写交接，使用 recall 在两项任务上分别便宜 8 倍和 4 倍。

    推荐理由：工具以本地命令接入编码智能体，把跨会话历史变成可检索记忆，读者可评估对多环境开发的迁移价值。