随机比特早报：2026-05-22 —— AI 从解题到证伪，Agent 正在吞噬整条工具链
GPT-next 用不到 1000 美元推翻了 80 年数学猜想，Google 和 Anthropic 在 Agent 编程赛道贴身肉搏，开源模型迎来史上最密集的发布潮。与此同时，NVIDIA 和字节跳动的财报像一面镜子的两面——卖铲子的盆满钵满，挖金子的利润蒸发。以下是今天的精选：
🔬 前沿突破
- OpenAI GPT-next 推翻 80 年 Erdős 离散几何猜想 —— 不到 $1000 算力，AI 完成了一个数学家穷尽一生未解的证伪。从 IMO 银牌到推翻经典猜想，LLM 的数学推理能力曲线仍在陡峭上升。
- 开源模型大井喷：Gemma 4 / DeepSeek V4 / Kimi K2.6 / MiMo 2.5 / GLM-5.1 —— 一周内五大厂商同步放出新一代开源模型，Qwen 3.6 35B 甚至在 12GB 显存上跑出 110 tok/s。开源阵营的能力密度已经卷到让闭源模型的护城河肉眼可见地收窄。
🏟️ 巨头激战
- Google I/O 2026 余波：Antigravity 翻车 + 搜索 Agent 化 —— Gemini 3.5 Flash、Spark 集中亮相，但 AI 编程工具 Antigravity 被社区指控"货不对板"。更深层的信号是：Google 正把搜索框本身改造成 Agent 入口，The Neuron 直呼"Google Search 已死"。
- Anthropic “Code with Claude” 发布会 —— MIT Tech Review 评价"展示了编程的未来——不管你喜不喜欢"。Claude Code 近期日均迭代，Workflow tool、agents --json 等密集上线，Anthropic 在 AI coding 赛道已经打出了自己的节奏。
- Meta 向开源项目 Heretic 发法律通知 —— 一边高喊"Llama 开源改变世界"，一边挥舞法律大棒禁止衍生分发。社区信任正被侵蚀，Meta 的"开源"承诺边界再次成为焦点。
🛠️ Agent 工具链爆发
- Chrome DevTools MCP（40k+ Stars） —— Google 官方出手，让 coding agent 通过 MCP 协议直接操控 Chrome DevTools。AI agent 终于有了官方途径调试浏览器端代码，工具链最后一块拼图到位。
- Simon Willison 发布 Datasette Agent —— 用自然语言查询和可视化 SQLite 数据库。和 Chrome DevTools MCP、CLI-Anything 同期爆发，印证一个清晰趋势：一切开发者工具都在 agent 化。
💰 资本暗流
- NVIDIA Q1 FY2027 营收同比暴增 85% —— AI 芯片需求持续爆发，全球 H100 总需求传闻达 43 万张。卖铲子的人赚到手软，Cerebras 也以 $60B 估值启动 IPO。
- 字节跳动 2025 净利润因 AI 投入暴跌超 70% —— 和 NVIDIA 的暴增形成完美镜像。AI 军备竞赛的账单已经到了：投入天量资源，回报仍在远方。
- 小红书重组：成立 AI 一级部门 Dots —— 柯南任总裁，AI 被提升至一级部门。继百度、阿里、字节之后，又一家中国互联网巨头完成 AI 组织架构升级，这已是行业共识动作。