AI 创业播客日报｜陶哲轩开讲「数学 2.0」，SpaceX 转手倒卖算力给 Anthropic，开发者用 Opus 5.5 复刻 Adobe
本期在 X 上读取了 407 个关注账号的 5542 条推文，其中 201 条落在时间窗内；公众号方面，3 个账号的 17 篇文章在本期窗口内。
0:00 / 10:01
本期覆盖 2026 年 10 月 11 日白天（北京时间 09:00 至 22:00）：X 上读取 407 个关注账号的 5542 条推文，其中 201 条落在窗口内、涉及 72 位作者；量子位、36 氪、机器之心三家公众号共 17 篇文章在本期窗口内。此前 10 月 10 日晚报与 10 月 11 日早报两个时段没有成片，其间内容未在本期补做。下面按事件展开五条重点，其余按板块收进快讯。
陶哲轩开讲「数学 2.0」
陶哲轩在加州理工学院做了一场公开演讲。他原本定下的题目是《机器辅助证明》，因为最近几个月 AI 猛攻数学界，他把题目改成了《数学 2.0》。
他的判断是：数学一直运行在「证明稀缺」的环境里，谁先解出开放问题谁就被记为贡献；AI 正在让证明变得泛滥，建立在证明稀缺之上的数学 1.0 要落幕了。
他做了一个思想实验：让先进 AI 去找一种能通过三期临床的癌症疗法，算力烧完、药找到了，但没人说得清它的机理。他说解答的门槛确实降低了，但判断对不对、贡献多大、怎么和已有研究接上还得靠人，不然就会出现「解出了题，却没有相应增加人的理解」的错位。
关于数学为什么最先被冲击，他归纳了三个叠在一起的条件：证明可以被客观检验，数学对象和推理过程高度可数字化，大量高质量文献已经是数字形式。
OpenAI 连续重置换留存
负责 Codex 与 ChatGPT 的 Tibo 在做一个活动：连续 28 天每天发布新功能，哪天做不到就重置，今天是他第 6 天。
他先在 X 上写「把重置收进袋子，全部下发完毕」，又写「等我们到达完美那一天，重置会从那儿继续下去」，还发帖问 Pro 用户更想先拿到什么。这里重置的是 ChatGPT 与 Codex 的使用额度。
用 AI 协助创业的铁锤人 说重置提前到了。追踪 AI 前沿、分享 Agent 构建实践的 meng shao 说他很不看好这个活动：Claude 5.5 系列推出之后，大量用户从 Codex 转去了 Claude Code，Codex 当初用来争取用户的功能很快会被抹平，重置已经失去吸引力。(Tibo — Day 6 / Reset、Tibo — 重置全部下发、Tibo — 询问 Pro 用户、铁锤人、meng shao)
算力成了硬通货
量子位 一篇文章的标题是「硅谷 AI 现状：谁有算力谁是爹」。文章引外媒报道说，Anthropic 的 CEO 达里奥·阿莫迪今年找 Meta 要算力，被扎克伯格婉拒；随后 SpaceX 当起英伟达 GPU 的二道贩子，给 Anthropic 倒卖算力。
数字方面：SpaceX 8 月的首份财报里，季度 AI 业务收入 25.61 亿美元，同比增长 247%，环比翻了两倍；Anthropic 今年 5 月与 SpaceX 的协议规定，当月拿到超过 300 兆瓦新容量、涉及 22 万块英伟达 GPU，并提高 Claude Code 和 API 的额度。
文章还提到，谷歌 2024 年花 27 亿美元请回来的 Noam Shazeer 因为算力被重新分配，已经转投 OpenAI；同一篇引 SemiAnalysis 的数据说，H100 一年期租赁价格从 2025 年 10 月低点的每小时 1.70 美元涨到今年 3 月的 2.35 美元。(量子位)
「超级智能」成了新招牌
Salesforce 的 CEO 贝尼奥夫 在 X 上宣布，把 AIForce 改名成 SIForce，说「超级智能的时代来了」；改名只针对这家公司的智能体平台，不动公司名。
meng shao 说，马斯克带头响应，把 SpaceXAI 改名成了 SpaceXSI。微软 CEO 纳德拉 则在 X 上说，超级智能系统是黑箱，企业在部署时不该信任它们，要在它们周围配上强确定性的系统。
写产品与增长的 Aakash Gupta 说，微软 CEO 把这句话说出来了：地球上没有人，包括造这些模型的实验室在内，能解释 AI 模型为什么这么做。微软自己的技术博客 Command Line 说，Microsoft-Decision-1 之后会重定基到 MAI、OpenAI 等模型上。(The Next Web、meng shao、Satya Nadella、Aakash Gupta、Command Line)
用 Opus 5.5 复刻 Adobe 和 Office
Tom's Hardware 报道，软件工程师 Brandon Thomas 用 Claude Opus 5.5 做了七个免费开源的 Adobe 主要应用替代品，放在叫 ArtCraft 的 GitHub 项目里。
这一版他又加上了开源复刻的 Microsoft Office——Excel、PowerPoint 和 Word，报道说 Autodesk 这类订阅制软件可能是下一个。Aakash Gupta 说，一个人用大约一周时间克隆了价值一千亿美元的 Adobe 软件，然后全部免费放到 GitHub 上。
独立开发者 levelsio 说「软件已死」，接下来是个人软件的时代，每个人需要什么就自己做一个。前 X 产品负责人 Nikita Bier 说，当智力变得免费，他已经不确定「知识产权」是什么意思了。关注 AI 图像视频与设计的 歸藏 也发帖说，「一切都会被开源」和「游戏破解」这件事今天突然火了。(Tom's Hardware、Aakash Gupta、levelsio、Nikita Bier、歸藏)
其他快讯
新模型与产品发布
testingcatalog 发现，OpenAI 的 API 定价页上悄悄多出第二个生命科学模型 gpt-rosalind-discovery，价格和 gpt-rosalind-research 一样，输入每百万 5 美元、输出 25 美元。(testingcatalog)
高通 CEO 说，AI 公司希望手机到 2028 年能全天候跑千亿参数模型。(Chubby)
有人用 EmbeddingGemma 2 做了个本地搜索应用，Hugging Face 转出来说效果比 macOS 自带的 Spotlight 好；Unsloth 放出一个免费的 Colab notebook，可以训练自己的决策模型。(Hugging Face、Unsloth（meng shao 转）)
开发者 向阳乔木 找到一个能在 MacBook Pro 上本地跑的音乐模型，说质量堪比 Suno，已经开源。(向阳乔木)
产品应用与 Agent
量子位 写了民间版「DeepSeek Bot」：基于 DeepSeek Harness 的多 Bot 团队插件，每个 Bot 有独立的名字、角色、模型和长期记忆，还能设一个主管 Bot 来省 token；项目是 Apache 2.0 许可，上线不到一天拿到 250 多个星。(量子位)
Meta 的首席 AI 官 Alexandr Wang 转出一张 Coatue 的图表，说 Muse 的采用速度相对 ChatGPT、Grok 和 Gemini 非常快。(Alexandr Wang)
开源项目 Talorys 用一条命令把个人 AI 助手跑在 Cloudflare 的免费额度上，在 Hacker News 拿到 236 分。(GitHub)
有人用 Grok Bot 里的 Claude Code 全自动剪出一条年度混剪，素材也是 Grok Bot 自己找的；给智能体用的 3D 动画引擎 ManimGX 发布，说比 ManimCE 快 90 倍。(年度混剪（Jackywine 转）、ManimGX（Scobleizer 转）)
Orange AI 的 oran_ge 说，他用 Opus 5.5 给一期一个多小时的播客配上了白板解说视频，只花了 2% 的额度。(oran_ge)
开发者与开源生态
CC Switch 现在可以管理 Pi 的 MCP 服务器，安装、删除、编辑和跨应用分享都能做；Tamagui 3 发布。(Jason Young、Tamagui（daniel_nguyenx 转）)
融资与公司动态
36 氪 报道，智能眼镜品牌 NIMO 的母公司比特幻境完成数亿元天使轮融资、投后估值 15 亿元。(36 氪)
同一篇 36 氪 引观点网的数据说，智元机器人上半年出货超过 8600 台，占全球市场 35%、中国市场 45% 以上；同一条消息里，小马智行与 Uber 计划在欧洲五座城市部署超过 2000 辆 Robotaxi。(36 氪)
36 氪 还报道，「太一量生」成立八个多月累计融资超过 10 亿元人民币，量子编译器「洛书 LUOSHU」已经向全球开源。(36 氪)
以色列的 Rein Security 完成 2500 万美元 A 轮，做企业 AI 智能体的运行时安全，累计融资 3500 万美元；由 PillPack 创始人创办的 General Medicine 完成 1.2 亿美元 B 轮，a16z 领投。(CTech、Fierce Healthcare)
北京的 LivSyn Robotics 完成亿元级 A 轮，它的 RUDA 平台把不同机器人本体接到 AI 模型上。(TechNode)
36 氪 报道 31 岁的小米 MiMo 大模型负责人罗福莉晋升到 22 级，10 个月创下小米最快晋升纪录；同一天 MiMo 团队发布并开源 Xiaomi MiMo-V2.6 系列两个原生全模态模型，Pro 在 Artificial Analysis 综合智能指数拿到 46 分、位列开源权重模型榜首。(36 氪)
金融时报 引 PitchBook 的数据说，机器人与物理 AI 公司今年至今融资约 480 亿美元；；特斯拉的 Digital Optimus 已经能看着屏幕把《暗黑破坏神》的战役打通一半。(Financial Times、SiliconANGLE、Drive Tesla Canada)
政策与安全
金融时报 报道日本宣布进入「网络空间紧急状态」：二十多家日本大企业在近几周遭到网络攻击，其中 JR 东日本泄露了 167 万个邮箱地址。(Financial Times)
财富 报道美国两党法案 BAAJA 要为 AI 数据中心加速审批，简化环境评估、并把诉讼限制在联邦法院；Gary Marcus 发长文要求「暂时召回」所有带互联网访问的开放式 AI 智能体。(Fortune、Gary Marcus)
尼康的显微摄影比赛取消了一等奖，因为作者承认视频用了生成式 AI。Y Combinator 转出一位安全公司联合创始人的帖，说他们的 AI 在一个反复审计过的代码库里找到一个可以让任何人无限铸造 XRP 的漏洞，涉及 940 亿美元。(DPReview、Y Combinator)
研究与评测
机器之心 介绍 OpenRSI Index，让科研智能体在明确的实验边界下改进人类设计的训练方案，三个代表任务单次运行分别要 18432、20864 和 5815 个 H100 小时。(机器之心)
机器之心 介绍 LIBERO-MAX：把「机械臂伸到一半、东西被挪走」变成可重复的考题，14 种机器人策略各跑 1.6 万次、累计 22.4 万次仿真，所有策略成功率都掉了 11 到 25.7 个百分点。(机器之心)
机器之心 还介绍合肥一家成立三个月的公司白泽通境：世界模型 AWM 会给出自己判断的依据，端侧推理引擎 BAIZ-RUN 把权重压到 2 bit、激活压到 4 bit。(机器之心)
量子位 报道清华团队开源 VeriLoop E2，把「探索权」和「提交权」拆开，由外部证据决定什么可以留下；机器之心 的 X 账号说，一个模型能选对答案，却在自己实际只有六成把握时声称有九成九。(量子位、机器之心)
量子位 还写了 GPT-4o 的后续：OpenAI 将在 10 月 23 日停用 GPT-4o 最早的 API 快照，也就是 2024 年 5 月 13 日那一版；一份要求保留它的请愿已经有两万三千多人签名。(量子位)
算力与基础设施
彭博社 报道北京的 Neolix 运营着全球最大的无人配送车车队，共 2.7 万台，深圳正在测试无人车夜间送快递。(Bloomberg)
SemiAnalysis 自己在 X 上说，AI 建设需要的资本已经超过兜底方能覆盖的规模，银行和保险这类放贷方不愿承担太多风险。(SemiAnalysis)
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.