AI News阅读时长 8 分钟
Claude 在 11 天内用 Lean 形式化费马大定理
Claude 智能体使用 Lean 和 Prove2Me 平台形式化费马大定理，生成的证明由数学家 Kevin Buzzard 独立验证。
人工智能ClaudeAnthropic智能体
继续阅读 →
Tag
Claude
18 篇文章
AI News阅读时长 10 分钟
Anthropic 称 Claude 缓解了 10 项可测量的 AI 对齐失效问题
Claude 自主检索文献、提出训练方法、运行实验，并在 10 项对齐失效问题上改善了可测量的安全行为。
人工智能ClaudeAnthropicAI 安全
继续阅读 →
AI News阅读时长 9 分钟
斯坦福研究发现，56%的可执行 Claude 任务具有后果影响或属于高风险任务
研究人员分析了近 250,000 段 Claude 对话，以衡量任务风险、人类控制、学习以及协作失败情况。
AILLMClaudeAnthropic
继续阅读 →
AI News阅读时长 9 分钟
欧盟《人工智能法案》规则下，未来 Claude 模型将在全球为文本添加水印
未来 Claude 模型将在生成文本中嵌入统计水印，并为受支持文件附加经签名的溯源元数据。
AIClaudeAnthropicAI 安全
继续阅读 →
AI News阅读时长 7 分钟
新椭圆曲线创下至少 30 阶的新纪录下界
一条可由独立方核查的曲线将已知椭圆曲线阶数纪录从至少 29 提升至至少 30，Claude 与两位数学家一同获署名。
AIClaudeAnthropicFable
继续阅读 →
AI News阅读时长 9 分钟
Claude 为 15 个靶点中的 14 个设计了经湿实验验证的蛋白结合剂
Anthropic 将 Claude 作为自主蛋白设计智能体进行测试，并在合同实验室中验证了 1,320 个设计中的 354 个。
AIClaudeAnthropic智能体
继续阅读 →
AI News阅读时长 8 分钟
Anthropic 发布 Claude Opus 5，以半价提供 Fable 5 级别的智能
Claude Opus 5 以一半的成本提供了类似于 Anthropic 顶尖模型 Fable 5 的能力，标志着 AI 在处理复杂、长时任务和企业应用方面取得了重大进展。
AILLMAnthropicClaude
继续阅读 →
AI News阅读时长 6 分钟
Anthropic 调整各订阅套餐的 Claude Fable 5 访问权限
Anthropic 宣布对其前沿 AI 模型 Claude Fable 5 在各订阅套餐中的访问方式做出重大调整，自 2026 年 7 月 20 日起生效，包括缩减高级用户的用量限制，以及将较低层级套餐转向按使用额度计费的模式。
AI大语言模型AnthropicClaude
继续阅读 →
AI Tools阅读时长 14 分钟
giffgaff 是什么？一张英国实体号码卡的激活、接码与低成本保号指南
如果你需要一个长期稳定的 +44 英国实体号码，giffgaff 比虚拟号更适合用来接收验证码、注册海外服务和低成本保号。
AIClaudeCodexCLI
继续阅读 →
AI News阅读时长 7 分钟
声明：美国政府指令暂停 Fable 5 与 Mythos 5 的访问（英中对照）
美国政府以国家安全为由要求暂停 Fable 5 与 Mythos 5 的访问，Anthropic 被迫停用并发表声明阐述其越狱防护立场与异议。官方声明英中对照解析。
AIAnthropicFableClaude
继续阅读 →
AI Skills阅读时长 7 分钟
Skill 推荐：Guizang PPT Skill，用 Agent 生成网页 PPT、配图与封面
Guizang PPT Skill 是一个值得关注的开源 PPT Skill，适合用 Agent 把文章、观点和产品分析整理成网页 PPT、配图与社媒封面。
AIAgentClaudeClaude CodeTool Use
继续阅读 →
AI Skills阅读时长 7 分钟
Skill 推荐：Anything to NotebookLM，把多来源资料整理成 NotebookLM 知识素材
一个值得收藏的 Claude Skill：把多来源内容整理成 NotebookLM 可用素材，适合学习、内容整理与个人知识管理。
AIClaudeClaude CodeTool UseAgent
继续阅读 →
AI News阅读时长 18 分钟
用 HTML 替代 Markdown：Claude Code 团队第一手实践（英中对照）
HTML 比 Markdown 拥有更强的信息密度、更好的可读性和更便捷的分享方式。来自 Claude Code 团队的第一手实践，英中对照，适合学习阅读。
AIClaudeClaude CodeTool Use
继续阅读 →
AI Tools阅读时长 7 分钟
CC Switch 接入 Claude Desktop 教程：用本地路由切换 OpenRouter 与 DeepSeek
CC Switch v3.15.0 开始把 Claude Desktop 做成独立管理面板，可以集中管理第三方供应商、模型映射与本地路由，减少手动填写 Claude Desktop 3P 配置的麻烦。
AIClaudeClaude CodeTool Use
继续阅读 →
AI Skills阅读时长 13 分钟
Skill 专题开篇：从提示词到可复用 AI 工作流
Skill 不是高级提示词，而是把提示词、模板、流程、脚本和资源沉淀成可复用 AI 工作流的方法。
AIAgentOpenAIAnthropicTool UseClaude
继续阅读 →
AI Tools阅读时长 15 分钟
CC Switch 是什么？一款统一管理 AI 编程工具与模型供应商的控制台
CC Switch 是一款开源跨平台桌面应用，可以统一管理 Claude Code、Claude Desktop、Codex、Gemini CLI、OpenCode、OpenClaw、Hermes Agent 等 AI 工具的模型供应商配置、本地路由、用量统计、MCP 与 Skills。
AIClaudeClaude CodeMCPTool Use
继续阅读 →
置顶
AI News阅读时长 18 分钟
AI 中转站到底是什么？低价 API 背后的风险、黑料与正规替代方案
AI 中转站不一定都是灰产，但低价 API 背后常有账号池、模型替换、数据采集、违规额度和余额跑路风险。
AILLMOpenAIClaude
继续阅读 →
AI News阅读时长 13 分钟
为什么 Claude、ChatGPT 容易触发账号风控？网络环境与 IP 信誉检测指南
AI 账号出现验证、限制或异常提醒，通常不是单一原因。本文整理网络环境、IP 信誉、地区一致性与浏览器泄露检测的排查方法。
AIClaudeOpenAI
继续阅读 →