每日文摘
每日科技/AI 摘要 2026-09-10
今日共采集 90 条，新增 86 条，科技/AI 相关约 20 条，深挖 8 篇。（苹果秋季发布会日：折叠屏 iPhone 发布，AI 侧取"换脑"角度）
陶哲轩长文：AI 正在冲击数学的百年开放传统
来源：新智元 · 一句话：“证明消化不良”——AI 生成证明的速度远超人类消化的能力
- 要点：
- 陶哲轩发文（较"愤怒"更接近冷静的危机感）：AI 生成数学证明的速度已远超人类消化证明的速度，威胁数学界百年来的开放协作传统（成果能被人类同行理解、验证、传播）
- 与 Tanya Klowden 合著哲学长文《AI 时代的数学》：数学的目标应重新确立为"解决未解问题、验证结果正确、确保能被清楚传达"；人类必须为成果负责；数学正在进入"工业时代"
- 这是他本周第三次就此发声（9/6 “污染难题”→9/8 素数纪录感想→今日长文），N-S 抢跑风暴的直接背景
- 为什么值得看：本栏"AI 数学周"的收束性观点——陶哲轩给出了建设性答案而非单纯担忧：形式化验证（如 Anthropic 的 FLT）正是"确保能被清楚传达"的工程化路径
- 扩展资料：
OpenAI 算力告急：Astra 需求"前所未有"，或暂停新 Pro 订阅
来源：新智元 · 一句话：上线 6 天就要限购，Agent 能力直接驱动消耗放大
- 要点：
- Codex 负责人 Tibo：Astra 需求热度"远超此前经历的一切"，若持续可能短暂暂停新 Pro 订阅；老用户不降级、新算力优先保存量体验
- 逻辑：Agent 数量增长 20% 而 token 总需求增长 300% 的非线性完全可能；同款剧本——GitHub 已因 agent 工作流耗尽算力暂停 Copilot Pro/Pro+/Student 新注册
- 为什么值得看：Astra 发布周的第四幕（发布→道歉补偿→数学风暴→算力告急）；“算力配给"成为前沿模型的常规运营手段，与本周 Salesforce 账单、smart router 议题同源
- 扩展资料：
苹果发布会：首款折叠屏 iPhone 15999 元起，AI 给 25 亿设备"换脑”
来源：量子位 / 新智元同题 · 一句话：无折痕折叠屏是壳，AFM 3 家族换脑是魂
- 要点：
- 首款折叠屏 iPhone（书式内折）：外屏约 5.3-5.5"、内屏约 7.8"（近 4:3）、无折痕屏幕、展开 4.5mm、A20 Pro（2nm）；15999 元起（顶配 26499）
- AI 侧：**AFM 3 家族（5 个基础模型）**取代 2024 年的 30 亿参数端侧+云端组合，覆盖端侧与 Private Cloud Compute；Siri AI 全新版本（个人情境理解），支持中文，宣称 25 亿设备"AI 重生"
- 设备墙：需 ≥12GB 统一内存，仅 iPhone 16 及以后支持——超 13 亿部旧 iPhone 被排除在换脑之外
- 为什么值得看：消费级 AI 的最大规模分发实验；对照本周 Meta Muse 信任之问——苹果的隐私架构（PCC）是它对同一问题的回答
- 扩展资料：
Qwen3.8-Flash 架构大改：训练 FLOPs 仅为上一代 1/9
来源：智猩猩 · 一句话：125B MoE 激活 6B，训练成本降近 90%
- 要点：
- 对比 Qwen3.7-Plus（397B-A17B）：约 1/3 激活参数、约 1/3 训练 token、约 1/9 训练 FLOPs（口径为官方报告基线）；14 个预训练基准 8 个领先，性能超 Opus 4.6、接近 4.8
- 原生 262K 上下文（生产版 1M）、为上下文密集场景（agentic coding、工具工作流）设计；NVIDIA 已在 GB300 上实测 agentic coding
- 为什么值得看：架构效率革命的量化样本（呼应本周 SMELT 循环架构研究）；DeepSeek 同日宣布 Flash 系列降价 60%（见一句话）——成本曲线双杀
- 扩展资料：
腾讯开源 TeamAI：团队级 Agent/Harness 进 Git 仓库
来源：架构即人生 · 一句话：Skills/Rules/Hooks/MCP/Docs 统一进共享 Git，“团队级 Harness 的包管理”
- 要点：
- teamai-cli（MIT）：
teamai init订阅源、pull拉最新、push发升级 PR——团队成员谁摸索出更好用法就像改代码一样经 Git 协作迭代；统一支持 9 款 AI 编码 agent - 定位解读：“团队版 AGENTS.md”——把团队使用 agent 的规则/技能/文档变成统一可管理的资产，让团队通过 AI 持续变聪明
- teamai-cli（MIT）：
- 为什么值得看：skill 生态从个人走向团队的第一个大厂方案；与你的跨机器 Skill 分发规范（KB 里那套 symlink+纪律）解决的是同一问题——值得对照借鉴其 PR 化协作机制
- 扩展资料：
千问：开源"最贵"模型，学习功能全免费，月活 2 亿全球增速第一
来源：ai热爱家 · 一句话：3 个月 2 亿月活，“开源生态+C 端入口"双轮
- 要点：
- 千问 2.03 亿月活全球第三（仅次 ChatGPT/豆包），552% 增速全球第一；累计开源 300+ 模型、衍生 17 万个全球第一
- Qwen3-Learning 学习模型免费不限次（拍照答疑/批改，效果对标付费服务）；AI PPT/写作/文库/讲题四功能全免费；Qwen3-Max-Thinking（1T 参数、36T token 预训练）为"史上最贵"旗舰
- 为什么值得看：与淘宝 Token 充值（上周）、Muse Spark 价格战连成"AI 平民化"叙事——训练最贵的模型 + 全免费 C 端入口的组合拳，商业逻辑在生态而非订阅
- 扩展资料：
MetaRSI-v1：首个统一元递归自我改进架构
来源：机器之心Pro · 一句话：不是让 AI 变强，是让"变强的方式"本身变强
- 要点：
- 一套统一 RSI 领域的架构语言：一个内核、两条编排轴、三个算子、元 RSI 层、五大定律；首次提出自我改进的统一形式
- 严格 RSI 的定义要求：不仅改进输出结果，还要改进"自身改进过程”——对应"元进化"（跨任务迁移的改进能力）
- 为什么值得看：把本周的 RSI 材料仓（GLM-6.0 全自训练、九问 ScienceDiscovery、智谱 vs 架构派两路线）整理成统一理论框架的尝试；概念先行，工程验证待观察
- 扩展资料：
同一模型 Token 差 70 倍：AI 编程工具的成本黑洞在框架
来源：InfoQ · 一句话：“启动税”+缓存命中率，选框架比选模型更影响账单
- 要点：
- 三项基准实测：同模型下不同 agent 框架 token 消耗差 70 倍——主因是"启动税"（系统提示+工具说明的固定开销）与缓存命中率差异；多 agent 架构固定开销随数量线性放大
- 对照：Netflix 开源 Headroom 已砍 2000 亿冗余 token、省 70 万美元
- 为什么值得看：AI 账单系列的微观篇——企业级选型应同时评测"框架税"；个人用户的对应动作：精简系统提示、利用缓存（本周 context-mode 的"只有 stdout 进上下文"是同款解法）
- 扩展资料：
今日一句话
- NS 方程被数学家"手撕"后续：果壳《你是不是看过我的草稿？》——Buckmaster 声明全貌见本栏昨日科技源速递（果壳/量子位/36氪三源）
- DeepSeek 下调 Flash 系列价格，最高降幅 60%（创业家）
- 字节将 TRAE、扣子团队并入豆包：AI 办公从拼生态转向拼交付（代码拆解师）
- Reasonix：让长跑编码代理便宜可审计，三个半月 3.3 万星（代码拆解师）
- JetBrains 开始接受"程序员不再需要 IDE"（代码拆解师）
- 豆包手机二代 9/16 开卖：AI 真要替你点外卖了（ai热爱家）
- DeepSeek 面试大改：“应届 ACM 金牌选手肯定懵逼”（36氪）
- “AI 男友"半年赚 880 万美元，闯进全球 AI 收入榜前四（人人都是产品经理）
- 1.6 万星开源包搞定截图/分屏/剪贴板等 Mac 小工具（Mac玩机研究所）