◆ AI 总结

本期速报涵盖AI编程成本飙升、【开源模型社区进展】和AI辅助数学突破三大热点。Uber AI编码预算4个月耗尽全年额度，社区在本地成功跑通Qwen3.6-27B实现95.7%的SimpleQA得分。

模型动态

Qwen

本地运行Qwen3.6-27B达95.7% SimpleQA

开发者宣称在单张RTX 3090上完全本地运行Qwen3.6-27B+agentic search，SimpleQA得分达95.7%。另有方案在Windows原生vLLM环境下达到72 tok/s。[2][3]
OpenAI

GPT-5.4 Pro数学证明方法成功应用于60年悬而未决的Erdos猜想

GPT-5.4 Pro生成的数学证明方法成功应用于Erdos问题及其他60年未解的Erdos猜想，展示AI辅助数学研究的前沿进展。[4]

伯克利研究：AI改写散文会使个人文风趋同

伯克利论文发现，即使指令要求保留文风，多个AI模型修改后的文本风格仍会趋同，对创意写作和AI对齐有重要参考价值。[5]

产品工具

开发者发布dryscope和开源AI agent配置仓库

dryscope是一款用于代码仓库清理的Python CLI，可作为Claude Code skill使用。另有开源AI agent配置仓库获888星，包含生产级系统提示和RAG设置。项目地址：https://www.reddit.com/r/ClaudeAI/comments/1t1nlez/dryscope_a_claude_code_skill_for_narrowing_repo/[6][7]

行业资讯

Uber AI编码预算4个月耗尽2026全年额度

Uber在4个月内用完了2026全年AI编码预算，95%工程师使用AI工具，70%提交代码由AI生成，成本达每人每月500-2000美元。[1]
NVIDIA

英伟达与Uber高管称当前AI服务运营成本高于人力

英伟达与Uber高管表示，当前AI服务运营成本仍高于人力。此外，摩尔线程完成【DeepSeek-V4全链路工程化适配】。[8][9]