AI

贾扬清离开英伟达约一个月后启动 Intent Lab：核心产品 Fleet 是"AI 工程团队"，把用户意图直接转化为生产级软件系统。已有成果：GLM-5.2 推理提速 534%、一行指令生成 SQLite 兼容数据库。

2026年7月30日 AI 早报：AI 与数学的"乘法效应"、国产 AI 安全智能体杀进全球前四、OceanBase 回应融资报道等今日亮点 + 7 篇全球重要新闻。

Claude Mythos Preview 60 小时撬开 NIST 后量子签名候选方案 HAWK 中人类两年审查没发现的密码缺陷——不是找代码 bug，是找数学本身的裂缝。AI 密码分析拐点来了。

MCP 2026-07-28 史上最大更新：砍掉会话状态实现无状态核心、企业级 Auth、MCP Apps。SDK 下载破 10 亿、950+ 服务器在跑——AI 工具互联的"HTTP 时刻"。

Codex 半年从不到 Claude Code 的 5% 反超到 1000 万周活。Altman 称其为"神风特攻"：关停 Sora、砍掉 Atlas、编程算力提 100 倍。深层规则是 RSI（递归自我改进）指数——模型参与自身迭代的能力。

WorkBuddy vs Codex 选型指南：腾讯全场景 AI 工作台 vs GPT-5.x 专业编码 Agent。两个都是工具但定位迥异——拆清底牌：什么场景该选谁，以及选的逻辑。

2026年7月29日 AI 早报：豆包搜索走出豆包、Kimi K3 与 Unlimited OCR 包揽全球前二、AI 仿真思维让教师回归育人等今日亮点 + 7 篇全球重要新闻。

Kimi K3 开源背后：2.8 万亿参数 + MoonEP/FlashKDA/AgentEnv 三套基础设施。黄仁勋联署公开信与白宫唱反调、硅谷 50 家站队——在芯片断供围墙内，中国 AI 重构 Transformer 三大件实现突围。

陶哲轩在 ICM 2026 上称数学正进入"百年危机"：不是逻辑地基，而是价值观地基。当 AI 把数学从"证明稀缺"推向"证明过剩"，验证什么、信任什么成为新问题。