Anthropic 曾试图审查的诗集
一位编辑在整理 1930 年出版、今年进入公共领域的诗集《Intellectual Things》时，发现 Claude AI 的对话界面拒绝为其中一首诗提供解读；随后他使用 API 方式提问，得到了完整回答。这件事显示出 AI 内容审核的边界并不稳定，同样的模型在不同入口可能给出截然不同的响应。
标签： Anthropic
Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码
Anthropic 旗下模型 Claude 完成费马大定理的首次完整形式化证明，生成超过 1300 万行 Lean 代码。这个原本专家预计需要多年才能推进的项目，在一个月内完成，也是目前最大的 Lean 形式化证明。
Claude 完成 Fermat 大定理的首个全机器校验形式化证明
Anthropic 旗下的 Claude 用 11 天完成了费马大定理的首个全机器校验形式化证明，把 1995 年 Andrew Wiles 的人类证明转化为 Lean 证明助手可以逐步验证的代码。这件事的意义在于，AI 不仅能“解题”，还能把跨越数百年数学研究的知识链条补全成机器可验证的形式。
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
Anthropic 的 Claude 通过多智能体协作，在 11 天内自动完成了费马大定理的端到端计算机形式化验证，将原本预计需要数年的数学工作压缩至两周内。这项成果展示的并非 AI 提出新证明，而是 AI 在严格形式化验证领域的规模化能力。
OpenAI 发布 GPT-6 Astra 提示词指南，含 slop 词屏蔽清单
OpenAI 在 GPT-6 Astra 的官方模型文档中发布了一套提示词指南，包含对“slop 词”的禁用清单和减少追问、增强执行力的提示模板。这套指南帮助开发者规避新模型出现多余确认、过度使用列表格式及空泛套话等行为偏好。
Authors Wrangle With Publishers Over $1.5 Billion Anthropic A.I. Settlement
Anthropic 与部分作者就约 15 亿美元的 AI 版权诉讼和解，但条款细节仍在博弈。该案结果将直接影响大模型训练数据的合规成本，以及内容创作者在 AI 产业链中的议价能力。
我们需要为AI健康炒作找到解药
Anthropic 创始人 Dario Amodei 和 Google DeepMind 联合创始人 Demis Hassabis 近期先后放言“AI 几年内可治愈多数疾病”，但多位医学专家公开反驳，认为这是典型的“AI 健康炒作”，忽略了人类行为对慢性病的决定性影响。
WorldFlowAI / 一站式 Claude Code 资源合集
一位 Anthropic 黑客松获奖者将他 10 多个月高强度使用 Claude Code 的完整配置整理成开源插件合集，覆盖 Agents、Skills、Hooks、Commands 和规则文件，相当于把顶级开发者的 AI 编码工作流直接打包成可安装的工程资产。
AI Agents Listing
Product Hunt 上出现了一个名为 AI Agents Listing 的新产品页面，试图聚合当前分散的 AI Agent（智能体）工具与生态信息。在 Agent 成为大模型落地主要形态的当下，这类目录型产品开始承担“入口”角色，值得关注但需甄别信息完整度。
别再只给人写页面了：AI 已经开始自己点你的按钮、填你的表单
Anthropic 在 8 月下旬密集放出了 computer use、browser use 与 Claude in Chrome 等能力，AI 从此能直接操作浏览器、点击页面按钮和填写表单。这意味着网页不再只是给人看的界面，也成了机器 agent 需要读懂并操作的接口，前端开发的验收标准正在多出一个“机器…