套餐咨询
AI INTELLIGENCE / LONZON
经过来源核对的 AI 新闻与使用变化，按事件时间阅读，不按本站收录时间刷榜。
实际覆盖起点：；不代表覆盖此后所有 AI 事件。
据 openai/math 仓库 history.md（2026-10-07 更新），因《Algebraicity of Weil classes on split abelian eightfolds》存在一处符号错误，破坏了 stabilization-trace 消去论证及两篇依赖它的构造，OpenAI 撤回 3 篇手稿（上述一篇 +《Algebraicity of Kuga–Satake Correspondences for K3 Surfaces》+《The rational Hodge conjecture for products of K3 surfaces》）；另修复 14 篇、更新 13 篇引用、新增 6 项形式化，累计顶线结果形式化比例 300/719 ≈ 42%。这是 OpenAI「722 篇 AI 数学手稿」弧里的首次撤回动作（与已发布条同弧、非重复）。
吹得最猛的能力先自己撤回了；AI 数学成果进入「被同行挑错、逐篇修/撤」的常态阶段。撤回的 3 篇并非 Lean 验证。
据 Penguin Mail 官网与 GitHub 仓库（HN 讨论 item 49984716，2026-10-06），一个叫 Penguin Mail 的开源 Linux 邮件客户端发布 v1.0.0：Rust + GTK4 / libadwaita，GPL-3.0-or-later，把 Gmail / Outlook / 任意 IMAP / POP3 连同日历、联系人、OpenPGP / S-MIME 收进本地 App。内置可选 AI 助手——默认关闭，选了模型后走 LM Studio / Ollama 本地跑，发信或改设置前会先问一句；官网称无自建服务器、无追踪、无广告。
「本地模型 + 默认关闭 + 动作前确认」这套隐私优先设计，正成为开源工具对 Big Tech「要把你邮件读一遍」的回应；但「无服务器 / 无追踪」为作者自述、未独立审计，长期维护未知。
据 OpenAI 官方仓库 openai/math（2026-10-06 建立），OpenAI 公开一批由内部未发布前沿模型产出的数学手稿与证明工件：共 722 份手稿、归入 372 个 family，平均每个结果约消耗「3 小时 ChatGPT Pro 思考量」的算力（评测约 4,000 道题），并公开 10 个 family 的推理摘要与部分 Lean 形式化证明。仓库自述：并非所有结果都有 Lean 形式化，未形式化的结果可能存在问题；个别写作（如 Re(s)>11/12 零无区）经人工编辑以便阅读。发布参考了普林斯顿高等研究院「数学与 AI 顾问组」的公开建议。（OpenAI 官方页面 openai.com 直连 403，故以官方 GitHub 发布地为一手源。）
AI 做数学从「能解题」进入「公开发表 + 可形式化验证 + 有治理框架」阶段；但结果均为 OpenAI 自报、未经第三方独立复现，未形式化部分官方自认可能有问题。
据 OpenAI 官方开发者文档，Decisions API（POST /v1/decisions）已进入 public beta：给定文本 / 图片，返回 predicate（0–1 概率）、choice（选项集择一）、score（按评级打分）三类结构化答案，官方称比 Responses API 快约 10 倍，当前仅支持 gpt-6-luna 一个模型，并称预计数周内 GA。文档页未标注精确日期，eventAt 取其 HN 提交时间（item 49984025，2026-10-06T20:57:25Z）。
分类、路由、审核这类高频低创造性调用，正从「让模型写一段话再解析 JSON」变成「直接要一个概率」，agent 编排里最烧钱的解析层被产品化；但官方「快 10 倍」无第三方复测，GA 未定。
据 Sierra 官方博客（2026-10-06），Sierra 与 Meta 联合推出开放标准 Personal Agent Protocol，首批合作方包括 Genesys、Instinct、Rocket、Shopify、Stripe、Walmart。做法：建在 OAuth 上，用户决定给 agent 只读还是写权限，企业决定 agent 能干哪些事；agent 可走企业网站、API（MCP / OpenAPI）或企业自有 agent 三条路。v0.1 规范计划本月晚些时候发布，并配套参考实现。目前仅为提案。
个人 agent 从「帮你点网页」转向「直连企业系统」，卡点从能力变成身份与授权标准；但 v0.1 未发布、落地未知，Meta 自家 Muse 正陷隐私争议，其牵头起草「消费者授权」标准的动机需打问号。
据 GitHub 仓库 FeSens/openTPU（HN 讨论 item 49980715，2026-10-06），一个开源 AI 加速器项目把 RTL、ISA、模拟器、编译器与 profiler 放进单一仓库，自称「由 AI 开发」（基于 auto-arch-tournament 的经验），目标硬件为 Inspur YPCB-00338（Xilinx Kintex-7 xc7k480t）PCIe 卡，可跑 LFM2.5-230M、Qwen3-0.6B、Qwen3.5、Gemma 4 等模型（如 LFM2.5-230M int8 解码 59.0 tok/s），并称硬件输出与模拟器逐 bit 一致。
「AI 自我改进」的链条正从软件层往硬件层延伸：AI 能不能设计出跑自己推理的芯片；但「由 AI 开发」是作者自述、AI 参与程度无独立验证，性能数据全部自测，项目为单人 / 小团队作品。
据 TechCrunch（2026-10-06），Anthropic 借 SF Tech Week 扩大 Claude for Startups 计划：符合条件的初创可获一年 Claude Team（最多 5 个 Premium 席位）、$1,000 API 额度、更高 API 速率上限，以及最高 $45,000 的合作方权益；资格为近五年成立或近两年融资（二选一）。
模型厂商补贴战从「降价」打到「发福利」，用免费席位与额度锁定早期开发者，抢生态入口、抬高迁移成本；「最高 $45K」是上限值不是普遍可得，权益细节以官方页为准。
据 Google 官方博客（2026-10-06），DeepMind 发布 EmbeddingGemma 2：740M 参数、Apache 2.0 开放权重，把文本 / 代码 / 图片 / 音频 / 视频映射进同一向量空间；可模块化裁剪（纯文本最低 270M，视觉编码器 170M、音频 300M 可选），向量维度可从 768 动态截到 128（存储最高省 6 倍），Pixel 11 Pro 量化后纯文本约占 191MB 内存、全模态约 567MB。官方称 MTEB Code 由 68.76 升至 78.68，v1 下载量已超 2000 万。
端侧「检索 / 记忆」快速成熟：便宜、可离线、数据不出设备，补齐本地 RAG 与隐私场景的拼图；跑分均为 Google 自评，须以官方 model card + 第三方复测为准。
据日经亚洲（2026-10-07），中国 AI 开发势头不减：DeepSeek、小米等公司上月合计发布 16 款模型，无视 Anthropic CEO Dario Amodei 以风险上升为由的放缓呼吁。全文其余统计与细节位于付费墙后，未逐一独立核验。
「pacing 之争」本质是商业模式之争——闭源厂商要放慢，靠开放权重起家的中国厂商没动力，开源与闭源路线分化被发布节奏坐实；「16 款」统计口径（是否含微调 / 小版本）与正文其余数字未核验。
据 TechCrunch 采访（2026-10-06），Khosla 公开押注前 DeepMind 工程师 Shivani Poddar 的 Wajo，理由是它从架构上把 trust & safety 放在第一位、而 Muse、Instinct 不是。Wajo 的 Fo agent 可跨 iMessage / WhatsApp 办事、用虚拟卡代付，必要时还能雇真人完成任务；公司称已覆盖 107 国、9 月底上线以来增长 10 倍，Jeff Dean、Gokul Rajaram 参投（未披露金额）。TechCrunch 记者实测显示代打电话等场景披露不清。
个人 agent 赛道从「能不能办事」转向「敢不敢把数据交给你」；但用户数 / 国家 / 增长均为创始人自报、无第三方数据，Khosla 为投资人、口径自带立场。
据 Mistral 官方博客（2026-10-06），上线 Mistral Large 4（昵称 le Chonk）公开预览：1 万亿总参数、490 亿激活参数多模态 MoE，160+ 语言；预览 API 已开放（$1.36/M 输入、$4.18/M 输出），权重月底才放出。官方称在 3,800 张 Nvidia Grace Blackwell 于自家欧洲数据中心从零训练，网络安全能力进全球前五，并称 Claude Opus 5.5 / GPT-6 Astra 在同款网安测试上因拒答接近零分。「前五」「漏洞复现 82%」等均系官方自评，无第三方复测。
欧洲主权 AI 主打「开放权重 + 可自部署 + 合规网安」，卡在美国闭源模型拒答与欧盟合规之间；但权重尚未发布，「前五 / 近零分」为厂商自评，须以 model card + 第三方复测为准。
据 SemiAnalysis Newsletter（2026-10-05），其通过观测各 AI 订阅计划的用量计量器实测：在中端「日常主力」档（Opus 5.5 vs GPT 6.1 Sol）同一 $200 档位下，Anthropic 的 API 等价额度约为 OpenAI 的 5 倍；文中称订阅虽仅占 Anthropic 整体收入约 10%，却消耗 40%+ 的推理算力，并称 OpenAI 已将 $200 档的 API 等价价值腰斩、新增 $500 档。方法为 SemiAnalysis 单家自研（观测用量计量器），非厂商披露；「5x」是 API 等价价值口径，不等于实际成本。
订阅制是 AI 实验室最重的隐性补贴，「谁在悄悄调额度」比模型榜单更能看出打法和现金流压力；适合做「AI 工具成本」硬素材。
DEVELOPMENT TIMELINE
左边是较早记录，右边是现在；节点只归纳本站已核实的新闻。
2026-09 · 2026-09-01—2026-09-30
这一阶段的共同点是能力已经落到基础设施与合规层：模型不只比回答质量，开始进芯片设计、生物设计与系统权限。对读者有用的判据是看一条新闻有没有触及数据、能耗、权限这三类不好回退的东西。
来源：GitHub（omlahore/RemoveMacAI） ↗ 原文链接、Hacker News 讨论 ↗ 原文链接
2026-10-H1 · 2026-10-01—2026-10-15
上半月最值得记住的两条：一是模型继续降价、小模型可用，让本地与免费方案更现实；二是 agent 落地卡在权限与合规，瓶颈已不在模型能力。
来源：JFrog Security Research（JFSA-2026-001694382） ↗ 原文链接、CVE 记录 CVE-2026-105192 ↗ 原文链接
来源：CNBC ↗ 原文链接
来源：Axios ↗ 原文链接、Yahoo News（BeInCrypto 稿，作者 Lockridge Okoth；转述 Axios） ↗ 原文链接