Claude真把概率论“圣杯”推倒了？9.7万行Lean代码通过双内核检查，但人类同行评审还没开始
形式化证明已经过机械验证，数学命题与证明价值仍需独立专家确认。
Anthropic开源formal-math渗流项目，Claude生成约9.7万行Lean代码，证明θ(pc)…
13 000
不是视频模型，却把动画、3D和小游戏全写出来了：Claude Opus 5.5代码作品刷屏
从78秒磨砂动画、U-Net课件到3D城堡、仓库系统和网页游戏，Opus 5.5展示了代码生成视觉内容的新上限，但它与文生视频仍是两条不同路线。
Claude Opus 5.5代码生成视觉作品刷屏：动画、AI课件、3D场景、交互界面和网页游戏都能做。本文还…
6个Claude Code神作，Anthropic亲选：两轮做出医学影像查看器，纯代码造出一座城
从医学影像到会走路的城市：AI编程正在把灵感直接变成作品
Anthropic亲选的6个Claude Code创意项目：Canvas人脸涂鸦、3D牙科影像、代码关系图、可…
Claude终于有中文界面了，但别急着登录：支持中文≠中国大陆开放
网页端和桌面端开始出现简体、繁体中文选项，但官方支持地区名单没有同步变化；看懂菜单与获得服务资格，是两件不同的事。
Claude部分网页端与桌面端用户开始看到简体中文、繁体中文界面，但Anthropic官方支持地区名单仍未包含…
Anthropic把电商Agent底牌全开源了！代码、架构、安全与评测一次给全
一套能跑的购物与商家Agent参考架构，把单主模型、Skills、流式UI、缓存、记忆、安全审批和状态切片评测都摆上了桌面。
Anthropic开源Commerce Agents参考架构，覆盖零售、旅行、通信与票务四类场景。本文详解单主…
Claude Fable 5.1灰度测试传闻升温：新模型将至，服务稳定性更值得关注
灰度测试传闻撞上连续服务波动：Fable 5.1哪些信息已确认，哪些仍只是推测？
Fable 5.1被曝进入小范围灰度测试，但Anthropic尚未正式确认。本文区分已确认事实与传闻，并复盘C…
一个汉字就让Claude代码高亮走慢路：Anthropic两周合并3000次改动，把网页整体提速3倍
非Latin-1字符会让V8把整段Markdown存成UTF-16，代码高亮正则因此走上较慢的双字节路径；20行修复只是这场由AI主攻、人类把关的性能冲刺之一。
Anthropic用内部Claude模型在两周内优化claude.ai和桌面端，13项核心指标平均提速3.1倍…
Claude Fable 5.1 与 Mythos 5.1 深度解析：科研、编程、价格与安全机制
同一底层模型、两套安全边界：Fable 5.1面向通用编程与知识工作，Mythos 5.1把更强科研能力留给受审核机构
Anthropic发布Claude Fable 5.1与Mythos 5.1。本文详解两者区别、性能基准、金星…
Claude Code Desktop新增/resume，可直接选择并继续CLI终端会话；配合/desktop…