AI 数学推理三强争霸：OpenAI / Anthropic / DeepMind 同解 Erdős 1946 难题
同一周内 OpenAI GPT-5.5 Pro Anthropic Claude Mythos DeepMind AlphaProof Nexus 三家各自攻克 Erdős 单位距离猜想 PoE 分布式推理 Lean 形式验证 深度对比分析
Claude Code
AI 快讯 20260525：微软叫停 Claude Code、DeepMind 破解 56 年数学难题、Uber 烧光年度 AI 预算
微软叫停 Claude Code 每人每月 $500-$2000 Uber 半年烧穿全年 AI 预算 DeepMind 几百美元解 9 个 Erdős 数学难题 物理 AI 2040 年达 3.25 万亿美元
AutoTTS：Claude Code 自我进化发现 AI 缩放算法
$39.9 成本 + 160 分钟，Claude Code 在离线模拟环境中自我进化，发现了比人类设计的测试时缩放策略更高效的推理算法。置信动量控制器 CMC 节省约 70% Token，精度持平。
CodeGraph v0.8.0：给 AI 编程 Agent 装一个本地知识图谱，省 35% 费用
CodeGraph v0.8.0 深度教程 — 一键安装即可让 Claude Code / Cursor 从预索引本地知识图谱查代码结构，7 个开源项目实测省 35% 费用、少 70% tool calls、提速 49%。19+ 语言、13 种框架路由识别。