当前标签：Claude
Claude 11 天验完费马大定理，数学家却说没多出一点新东西
Anthropic 宣布 Claude 用 11 天完成费马大定理的首个机器验证形式化证明，1300 万行 Lean、约 3 万个定理。数学家却说它没贡献新数学。真正值得看的是背后那个让几十个智能体协作的脚手架，以及它给数学验证带来的变化。
AI成了武器，也成了猎物：一周安全事件背后，智能正在被"资产化"
这个九月初的AI圈，表面上还是熟悉的味道：Anthropic发布Claude Fable 5.1，科研跑分Terminal-Bench-Science从上代的24.7%飙到52.6%，缓存读取降价75%，重度Agent场景整体成本最多省45%；Meta紧接着甩出Muse Spark 1.3，Terminal-Bench 2.1拿到88.8分追平GPT-5....