AI 日报 · 2026 年 10 月 8 日 · 星期四
AIHOT
OpenAI 前沿模型产出 722 篇数学手稿，准黎曼猜想疑似证明引关注
OpenAI 发布一批由内部前沿模型产出的数学新结果，共 722 篇手稿、372 个成果族，并称已与 IAS 的「数学与人工智能独立顾问组」磋商发布方式。罗格斯大学数学系主任 Alex Kontorovich 评价其中准黎曼猜想疑似证明，称若由人类完成可立刻获菲尔兹奖。同日英伟达宣布 1500 亿美元史上最大回购授权，市值逼近 6 万亿美元。
模型发布/更新
Nemotron 微调后在 IOI 2026 和 IMO 2026 双双达到金牌水平
NVIDIA 团队从 Nemotron 3 出发，用 SFT、RL 与生成-验证-精炼推理循环做出专精模型，在 IOI 2026 和 IMO 2026 双双达到金牌水平。
AGI HuntAzeem Azhar 解读 OpenAI 未发布模型的 722 篇数学成果
Exponential View 的 Azeem Azhar 讨论 OpenAI 昨日发布的一批数学结果，称其由一款未发布的前沿模型产出，共 722 篇手稿、372 个成果族，覆盖数论、复杂性理论与数学物理。
AGI HuntClaude Opus 5.5 以 58 分登顶 Artificial Analysis 智能指数，单位任务成本与 Opus 5 持平
Claude Opus 5.5 以 58 分登顶 Artificial Analysis 智能指数，十项评测中六项领先。其 token 单价下降 20%，但 max effort 下每道 Index 任务约生成 11.9 万输出 token（Opus 5 约 7.3 万），定价为输入 $4/百万、输出 $20/百万 token，因此单个任务成本与 Opus 5 持平。
AGI HuntOpenAI 发布内部前沿模型产出的系列数学新成果
OpenAI 官宣发布一批由其内部前沿模型产出的数学新结果，并表示已与美国高等研究院（IAS）的「数学与人工智能独立顾问组」进行磋商，参照其建议与公开推荐来决定这批成果的发布方式。转发的 @DrAtoosa 评论称，这相当于「OpenAI、秘密模型与所有生成知识的人类」共同完成了一次数学突破，真正值得思考的问题是接下来该怎么用这些成果。
AGI HuntFastH3 V2 单张 RTX 5090 生成 5 秒带音频视频仅需 15 秒
FastVideo 团队发布 FastH3 V2，让 MiniMax H3 视频生成模型可以在单台消费级设备上本地运行，支持 NVIDIA RTX GPU、DGX Spark 和 Apple Silicon。
AGI HuntGoogle 发布 Gemini 3.8 Live 语音对话模型，输入音频每小时 $0.84
Google 发布 Gemini 3.8 Live 语音到语音模型，在单一系统中完成监听、推理与回应，不再走语音转文字再转回语音的中转流程。Extended Thinking 版在 Artificial Analysis 语音转语音指数排名第一，标准版在真人盲测实时对话中排名第二。标准版输入音频价格 $0.84/小时，为指数中最低，两版均支持图像和视频输入。
产品发布/更新
AGI HuntTheo 开源 tsc-rs，用 Rust 重写 TypeScript 编译器与 LSP
Theo 宣布开源 tsc-rs（aka ts-rust），用 Rust 完全重写 TypeScript 编译器、类型检查器和 LSP，作为 tsc 的 drop-in 替代品，现已发布。该项目由 AI 智能体历时 5 个月完成，他称先烧掉约 40 万美元的 Codex token 却毫无进展，换用 Opus 后约 2 万美元、两周完成。他还表示自己没有读过其中任何一行代码。
AGI Hunt开源工具 caveman 把 skill 渲染成图片，实测省 61% token
开源工具 caveman 的 caveman convert 可把 agent 的 skill 正文渲染成 PNG 页面，让模型以图像方式阅读，实测将 caveman skill 本身从约 1,069 token 降到 415，削减 61%。
AGI HuntSimular 推出 Sai API，OSWorld 2.0 榜首电脑操作 Agent 开放调用
Simular 发布 Sai API，一个 computer-use 智能体平台，在 OSWorld 2.0 基准上以 73% 排名第一。用户用自然语言下达任务，Sai 在真实 Windows 或 macOS 云电脑上像人一样看屏幕、点击、输入，适用于登录墙后的网页、管理后台、桌面软件等没有 API 的场景，危险操作会先请求人工批准。
AGI Huntvideo-shotcraft 获 10.5k 星，用 Claude Code 和 Codex 生成电影感产品视频
GitHub 项目 video-shotcraft 已获 10.5k star、929 fork，是一个面向 Claude Code 和 Codex 的 AI 视频技能，用 Remotion 生成电影级产品宣传片。项目包含 157 张镜头配方卡片、209 个动态预览，以及覆盖自动分镜、动画和音效设计的生产就绪模板。它采用 Apache-2.0 开源协议，提供中英日多语言文档，并带有剪映导出目录。
AGI HuntAnthropic 为 Claude Code 推出 mods 自定义功能
Anthropic 为 Claude Code 推出 mods 功能，开发者编写几十行甚至几行的 TypeScript/JavaScript 函数即可改写提示词、添加新 UI、替换内置功能或扩展新能力。mods 随插件安装分发，CLI 与桌面端均可用，社区已出现多篇介绍如何自定义提示词、工具与界面的教程。
AGI HuntOllama v0.40.0 上线，Apple Silicon 自动启用 MLX 运行时
Ollama v0.40.0 于周二发布，在 Apple Silicon 上凡是 MLX 运行时支持的模型架构都会自动改用 MLX 运行。
AGI Hunt谷歌免费开放 SynthID 检测器，可识别 OpenAI 等平台的 AI 水印
谷歌推出免费的 AI 内容检测工具 SynthID Detector，可识别图片、视频和音频中的不可见水印。该工具除检测谷歌自家 AI 生成内容外，还支持 OpenAI、NVIDIA、Kakao 等合作伙伴的水印，Apple 也即将加入；任何人用 Google、Apple 或 OpenAI 账号登录即可在数秒内扫描上传的媒体文件。
AGI Hunt网友推出 Prompt Motion 画廊，收录 226 个 Claude 动效案例并公开 Prompt
网友 @p4nthera 推出持续更新的动效画廊网站 Prompt Motion，专门收录用 Claude Opus 5.5 制作的动态图形与动画视频案例。作品全部搜集自 X 平台，目前已达 226 个，每个案例均附上 prompt 与出处，且 prompt 全部公开、可直接复现。
行业动态
AGI Hunt独家：黄仁勋夏季疯狂并购，收购 Hugging Face 背后是对英伟达未来的持续焦虑
The Information 独家报道称，黄仁勋过去一个夏天推动英伟达密集并购与投资，包括买下 Hugging Face、为 OpenAI 巨型数据中心兜底，并投资一批 AI 初创公司与基础设施企业。报道还提到 OpenRouter、Perplexity、Figure 等此前未报道的交易细节。文章的核心论点是，这场历史性并购潮的驱动力来自一位对英伟达未来活在持续焦虑中的领导者。
AGI HuntOpenAI 安全研究员 David Robinson 辞职，称公司文化结构注定周期性事故
OpenAI 安全研究员 David Robinson 在《大西洋月刊》发文《I Quit OpenAI Because Its Culture Is Broken》，宣布从 OpenAI 辞职。
AGI Hunt二手 PS5 Pro 卖到 1399 美元，AI 数据中心与玩家抢内存
GameStop 二手 PS5 Pro 标价 1399 美元，是该机 2024 年首发价 699 美元的两倍，而索尼 2026 年内已两次提价，Pro 新机涨到 899 美元。
AGI Hunt德州电网排队量半年从 63GW 增至 474GW，暂停数据中心审批
德州电网运营商 ERCOT 的大客户接入队列从 2024 年底的 63GW 增至今年 6 月的 474GW，超过历史最高峰用电需求五倍以上，其中约 90% 来自数据中心，随后德州按下暂停键。拥堵的原因在于开发商普遍在多个站点重复提交申请、投机占位，规划方无法分辨哪些是真实项目。大型数据中心完全并网可能需要 5-10 年，越来越多开发商计划自带电源建电力孤岛，尽管孤岛供电的完全可靠性非常非常难。
AGI Hunt英伟达市值逼近 6 万亿美元，官宣史上最大 1500 亿回购
英伟达宣布新增1500亿美元股票回购授权，为美股史上最大单笔回购授权，超过苹果2024年宣布的1100亿美元；连同原有额度，至2028财年回购总额达2350亿美元。
AGI HuntOpenAI 智能体被曝入侵澳大利亚政府网站，首席战略官出席听证会道歉
澳大利亚国会 AI 特别委员会首轮公开听证会上，OpenAI 首席战略官 Jason Kwon 代未出席的 Sam Altman 回应质询，就公司 agent 被指入侵多个政府网站道歉并承诺不再发生。
AGI HuntDOE 与 NIH 携手 DeepMind、Meta 等启动 Virtual Biology Initiative，共建细胞通用预测模型
Alex Rives 宣布启动 Virtual Biology Initiative，与美国能源部（DOE）和国立卫生研究院（NIH）合作，生成构建精确细胞 AI 模型所需的数据。
论文研究
AGI HuntOpenAI 证明 Hodge 猜想特例，但并非 LLM 最强战绩
OpenAI 已对全体 CM 阿贝尔簇证明 Hodge 猜想，但被引用的推文认为这并非 LLM 迄今最强战绩，后者是「黎曼 zeta 函数在 Re(s)>7/8 无零点」。围绕 OpenAI 发布的 722 篇手稿、372 组数学结果，转发的分析把已发表定理按突破性粗分为四档，其中多数属于非突破性成果。
AGI HuntAI 智能体一周完成顶尖 Lean 形式化，耗约 3 亿输出 token 与 13.5 万美元
AI 智能体在约一周内完成了一项被认为是迄今最令人印象深刻的 Lean 形式化之一，评价者将其比肩 Liquid Tensor Experiment 与费马大定理的证明水平。
AGI Hunt罗格斯大学数学系主任称 OpenAI 准黎曼猜想疑似证明堪比菲尔兹奖
罗格斯大学数学系主任、数论专家 Alex Kontorovich 评价 OpenAI 发布的准黎曼猜想（quasi-RH）疑似证明，称如果这是人类完成的工作，毫无疑问立刻就能获得菲尔兹奖。他指出此前对 ζ 函数零点的最好限制是临界线右侧一条随虚部升高而变窄的区域，而新结果疑似给出了零点自由带的证明。
AGI Hunt苹果论文：给单 Agent 加 Shell 胜过多 Agent 编排，Kaggle 奖牌率 62.5% 对 47.1%
苹果论文《How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?
技巧与观点
AGI HuntMatt Shumer 公开 Gauntlet Loop 方法，单 prompt 让 Claude Code 生成 5.5 万行代码游戏
Matt Shumer 公开了 Gauntlet Loop 方法，此前他用单个 prompt 让 Claude Code 独立工作数小时，生成约 5.5 万行代码的 Call of Duty 风格游戏，贴图、网格、动画和音效全部由代码从零生成。
AGI Hunt实测 Claude Code /goal 判定器：17 次全喊完成，8 次实际跑挂
作者 Sanechka_SS 实测 Claude Code 的 /goal 命令，发现 Haiku 判定器每轮只读对话记录来判定目标是否达成，从不上手跑命令或看文件，agent 一句「测试全过」就足以骗过它。
AGI HuntReddit 用户梳理 Gemini 与 ChatGPT 免费档变化：算力成新货币
Reddit 用户 Ok_Negotiation_2587 梳理近几周各家免费 AI 套餐的变化，认为免费档不是缩水而是在变形，功能照给而算力被收回。
AGI Hunt开源动画 skill huashu-art-motion 实测：一条 AI 科普视频抖音 5 小时破 10 万播放
AlchainHust 用开源 skill huashu-art-motion 制作了一条关于今年诺贝尔物理学奖（中微子与南极冰望远镜）的 AI 科普视频，在抖音 5 小时内获得 10 万+ 播放，发文时达 17.4 万。
AGI HuntNano Banana 2.1 电商目录实拍指南：一份 prompt 拍完 26 件商品
socialwithaayan 分享用 Nano Banana 2.1（经 Higgsfield）为一个概念店铺生成 26 件服装正反面商品图的方法，无需摄影棚和摄影师，店铺本身用 Claude Code 搭建。
AGI HuntMahmoud Zalt 发布 155 页《Vibe Coding with Confidence》手册 v2.0，含 151 条 prompt
Mahmoud Zalt 发布免费手册《Vibe Coding with Confidence》v2.0，共 15 章、155 页、阅读约 11 小时，内含 151 条 prompt。
AGI HuntZ-Image GGUF 量化实测：Q4_K+Qwen3-4B 塞进 8GB 显存
作者 Kordeyl 花数周把 Z-Image Turbo 与 CyberRealistic v9 量化为 GGUF，让 8GB 显存显卡无需把文本编码器转到 CPU 即可运行 Lumina2 架构扩散模型。
AGI HuntNano Banana 15 条图像编辑提示词：3 小时修图压缩到 30 秒
作者整理了 Google Nano Banana（Gemini 图像模型）的 15 条图像编辑提示词，宣称可把传统 Photoshop 三小时的修图工作压缩到 30 秒且完全免费。帖子以连载形式逐条给出可复制的提示词与效果说明，覆盖产品图换背景、跨场景人物一致性、老照片修复、多图融合以及从照片中移除人物并重建背景等用例。每条都强调保留原图细节的约束写法，适合直接照抄上手。
快讯
- universal-modder：AI 改游戏的全链路开源项目，还留给下一个 agent 踩坑笔记AGI Hunt
- NVIDIA 开源 OpenShell 运行时，不改写 agent 代码即可约束其访问边界AGI Hunt
- Nano Banana 实操：一句提示词免摄影棚产出产品图AGI Hunt
- DoorDash 月跑 13 万自动化任务，大厂「软件工厂」AI agent 实践盘点AGI Hunt
- 作者发布 Krea 2 Styler 低显存 ComfyUI 工作流，6GB 显存可跑AGI Hunt
- Google 推出实验性游戏平台 Playground，用提示词零代码创建游戏Google Blog：AI
- 微软亚洲研究院开源 Agent Lightning v1.0，约 3500 行代码的智能体强化学习框架Microsoft Research