X 简报 · 2026-07-26 · 张腾甘的每日简报

🤖 AI/ML

@FinanceYF5：Shouqiao Wang 借助 GPT-5.6 Sol 和 Codex 工作流在 5 天内攻克 6 个开放的 Erdős 问题，并公开证明、提示词与部分 Lean 形式化结果，展示了智能体正在把数学研究变成可复现流程。🔗 链接
@FinanceYF5：Stripe 据称正洽谈以最高 100 亿美元收购 OpenRouter，若成交将接近其上一轮估值的 8 倍，说明模型路由层正在成为 AI 基础设施的战略入口。🔗 链接
@FinanceYF5：黄仁勋把模型蒸馏视为 AI 之间的正常学习，并判断未来互联网内容将主要由 AI 生成，这为开放模型与闭源模型之间的知识流动提供了鲜明立场。🔗 链接
@indigox：一篇关于 Engram 的讨论指出 KV Cache 存储单篇维基内容就可能消耗约 80GB HBM，而模型权重能以更高比特效率形成模糊联想，提醒长期记忆系统的核心瓶颈可能是寻址而非容量。🔗 链接
@gregisenberg：Jack Dorsey 的 Buzz 把社区共享算力、开放模型和私有数据结合，让一群人共同拥有并训练垂直智能资产，可能催生“集体大脑”与闲置算力市场的新商业模式。🔗 链接
@Saboo_Shubham_：Andrew Ng 团队的开源 AI coworker 可接入 GPT、Claude、Gemini、GLM 和 Ollama，并提供 25 项以上集成及 Slack 入口，降低了企业部署多模型智能体的门槛。🔗 链接
@emollick：Fable 独立构思并实现了一款用手势“作画”来生长城市的塞尚风格游戏，说明前沿模型已能把美术概念、交互机制和可玩原型一次串起来。🔗 链接
@steipete：OpenClaw 用 12 个子智能体并行做端到端 QA、压力测试、修复和 PR 编排，且新模型跨上下文压缩后仍能追踪复杂行为问题，智能体工程正从辅助编码走向自主质量体系。🔗 链接
@willdepue：公开危险能力评测会把生物与网络风险变成可爬坡优化的目标，因此建议只公布低中高等级并保留具体数字，这揭示了“测量能力”本身也可能加速能力扩散。🔗 链接
@rauchg：把研究资料放进文件夹、用 AGENTS.md 定义格式，再让 CLI 智能体持续检索和关联历史成果，说明文件系统加自然语言规则正在成为一种轻量而可迁移的个人研究基础设施。🔗 链接
@rauchg：软件时代的核心产品正从单次交付的应用转向能自主启动、维护和扩张项目的“智能体工厂”，这会重写团队规模与软件护城河的定义。🔗 链接

💻 Tech

@simonw：Ruff 0.16.0 将默认启用规则从 59 条扩至 413 条，仅 sqlite-utils 就暴露 1618 个问题，Python 项目升级后需要留意突然扩大的静态检查面。🔗 链接
@yongfook：一位独立开发者发现 Google 引荐流量今年几乎腰斩并拖累注册转化，单靠写内容获客正在失效，YouTube、Newsletter 与创作者合作的重要性进一步上升。🔗 链接
@npew：一名 Waymo 乘客因无法修改路线且客服功能失灵而被困在车内，暴露出自动驾驶商业化不仅要解决驾驶安全，还要设计可靠的人类接管与救援通道。🔗 链接

🌐 其他热点

@elonmusk：Starlink 卫星从轨道拍到完成飞行后的 Starship，首次把卫星星座变成大型航天器任务的外部观测节点，为在轨遥测和事故复盘增加了新视角。🔗 链接

📊 扫描 218 条 | 覆盖 24.8h | 精选 15 条