开发者工具日报：2026-07-11

昨日重点

• GPT-5.6 Sol Ultra 一小时证明50年数学猜想：OpenAI 最新模型利用64个子智能体并行协作，在一小时内证明了图论中悬而未决的 Cycle Double Cover Conjecture，并公开了提示词和证明过程。
• Claude Fable 5 11天重写Bun运行时：开发者Jarred Sumner借助Claude Fable 5模型，用Rust重构了JavaScript运行时Bun，64个实例并行编写超100万行代码，API费用约16.5万美元。
• 蚂蚁集团开源LingBot-World 2.0：一个因果世界模型，支持720p/60fps实时探索，在20个场景中连续运行60分钟无可见退化。
• 北京智源发布世界基础模型Orca：不预测token或视频帧，而是通过抽象内部表征建模世界下一状态，在多项基准上超越同类模型。

分主题观察

大模型与智能体

• Meta Muse Spark 1.1：Intelligence Index得分51，Coding Index得分71.3，上下文窗口扩展至100万token，幻觉率从73%降至38%。
• 智谱GLM-5.2：以MIT协议开源，支持百万上下文，同时启动“Touch High”计划聚焦AGI研究。
• DeepSeek-V4 Flash：强化学习训练登陆AMD Instinct MI355X GPU，2840亿参数MoE模型。
• OpenAI Codex：周活跃用户超500万，计划开发Linux桌面应用，提升智能体持久性。
• Claude Code v2.1.207：Auto模式默认启用，修复多项终端与配置问题。

开源与工具

• LangChain OpenWiki 0.1.0：为AI智能体提供主动记忆能力，自动抓取Gmail、Notion、Git仓库等六类信源。
• 面壁智能Whispera：基于开源模型的Windows本地实时语音助手，全本地化交互。
• Cursor：新增侧边对话与智能体搜索功能，引入云钩子。
• Google AI Studio：支持直接导入GitHub仓库。
• Cloudflare Drop：将文件夹拖放到浏览器即可部署。

硬件与基础设施

• AMD PEPS神经纹理压缩：参数减少25%，在RX 9070 XT上耗时仅4.86毫秒。
• MiniMax M3在Blackwell上实现980 TFLOP/s稀疏注意力：采用KV-stationary设计。
• SK海力士忆阻器AI芯片：理论峰值约2.54 TOPS，能效21.3 TOPS/W。
• V-Die内存方案：侧立放置DRAM，吞吐540 tokens/s，较HBM4高82.43%。

值得关注的讨论

• AI接管Git工作流争议：工程师可能失去对代码变更的理解和手动兜底能力。
• 负闰秒将至：NTP、GPS等时间同步协议尚未充分准备，金融系统面临风险。
• 爬虫乱象：AI训练公司利用住宅代理网络伪装流量，网站运营者面临封锁与开放的两难选择。
• 现代应用认证：cookie/session方案仍稳，JWT/localStorage因XSS风险争议大。

值得继续关注

• GPT-5.6 Sol Ultra的数学证明：AI正从解决已知问题转向生成全新科学知识，真正的扩展维度或许是并行协作的推理智能体集群。
• Claude Fable 5的长程编程能力：Cognition信任其通宵运行AI软件工程师，在Frontier Code基准上得分约30%。
• 世界模型进展：LingBot-World 2.0和Orca代表了世界模型从视频生成向因果建模的转变。
• AI辅助编程工具进化：Codex、Cursor、Claude Code等工具持续迭代，工程师效率提升8%。