❯ OpenAI 公开内部模型产出的 722 篇数学手稿，涉及 372 组新结果，多数尚待数学界核验
一次放出 722 篇OpenAI 10 月 6 日宣布，公开一批由内部前沿模型产出的数学新结果：722 篇手稿，归为 372 组相关结果，放在 GitHub 的公开仓库里。据 Runtime Wire 梳理，这些结果来自向模型提出的约 4000 个研究问题，平均每个结果消耗的算力相当于 ChatGPT Pro 思考约三小时。产出它们的模型尚未发布，也没有公布名称。
一个提示词，一个代理据《科学美国人》报道，372 组结果几乎都出自同一种做法：把同一个提示词交给单个 AI 代理，其中一些可能尝试了多次。内容涵盖数论、组合、理论计算机科学和数学物理。少数结果没有走标准流程，包括关于黎曼 ζ 函数和一类霍奇猜想的工作。
并不都经过验证仓库为许多结果附上了 Lean 形式化证明，也就是能由计算机逐步检查的证明，但不少手稿还没有。OpenAI 自己提醒，未形式化的结果可能有问题，引文和表述也还需要打磨。它说发布方式参考了设在普林斯顿高等研究院的“数学与人工智能”独立顾问组的建议，该顾问组没有决定权。
数学界的不安WIRED 独家报道称，OpenAI 8 月曾召集约 40 位数学家，讨论 AI 能力超过人类后该怎么办，并暗示模型已解决数百个长期未决的问题。有与会者说公司当时保证不会一次性放出全部结果，OpenAI 发言人表示“不知道”有此保证。一位数学家对 WIRED 说，头部 AI 公司给人“黑帮行为的观感”。几百篇证明同时出现，逐一核对它们对错和价值的工作落到了数学家身上。
▮ SIGNAL证明可以成批生产之后，数学里稀缺的环节从“想出证明”变成了“确认证明”，而后者目前仍然只能靠人。
❯ Mistral 发布万亿参数模型 Large 4，第三方评测称其为中美之外最强模型
绰号“Le Chonk”法国 AI 公司 Mistral 10 月 6 日发布 Mistral Large 4 的公开预览版，官方绰号“Le Chonk”。据 AI Weekly 介绍，它总参数 1 万亿，每次激活 490 亿，支持 160 多种语言，包括欧盟全部官方语言。模型当天通过 API 开放，每百万输入 Token 收费 1.36 美元、输出 4.18 美元；权重定于 10 月 27 日公开。
在欧洲自己的机房里训练Mistral 称，这款模型用 3800 块英伟达 Grace Blackwell GPU 在它自己位于欧洲的数据中心训练，训练数据中有很大一部分是多语言内容。公司公布的成绩包括：编程测试 DeepSWE 约 62%，网络安全测试 Cybench 93%。AI Weekly 提醒，62% 仍落后于成绩在 74% 上下的闭源模型，各项数字需要第三方验证。
第三方怎么看评测机构 Artificial Analysis 给它的综合智能指数打了 38 分，称法国重新拥有了中美之外最聪明的模型，成绩与 DeepSeek V4.1 Flash 相当。Mistral CEO 对路透说，新模型在包括网络安全在内的一些方面超过了中国模型，“欧洲无法竞争”的说法并不成立。
给欧洲客户的理由对数据必须留在本地的欧洲企业和政府部门，一款在欧洲训练、可以自行部署的开放权重模型，解决的是合规和主权问题，而不只是性能问题。它和前一天发布的美国模型 Reflection Beam 一样，把对手设定为中国的开放模型，而不是 OpenAI 或 Anthropic 的闭源旗舰。
▮ SIGNAL欧美的开放模型都在以中国模型为标尺，开放权重这条赛道上，领跑者是谁已经没有争议。
❯ Anthropic 把 Mythos 5.1 开放给更多经审核的安全团队，并新设可做授权渗透测试的档位
两个项目并成一个Anthropic 10 月 6 日宣布扩大“网络安全验证计划”，把此前单独运作的 Project Glasswing 并入其中。经过审核的安全人员可以使用 Claude Mythos 5.1、Opus 5.5 和 Sonnet 5.5，这些模型在安全任务上受到的限制比普通用户少。Mythos 此前只向 Glasswing 成员开放。
三档权限据 SiliconANGLE 介绍，新计划分三档。防御档面向事件响应、恶意软件分析等工作，个人研究者也可申请，几天内答复；红队档允许对获得授权的系统做渗透测试，只接受机构；最高一档限制最少，面向获准测试电网、电信网络等关键系统的机构，审核需要美国政府参与。
今年已找出十多万个漏洞Anthropic 同时公布了一组数字。据路透报道，33 家 Glasswing 伙伴今年 4 月到 7 月发现了超过 12.9 万个经核实的漏洞，Anthropic 自己对开源软件的扫描在 4 月到 10 月又发现 5500 个，其中 3.3 万多个被评为严重或高危。公司估计实际影响至少是这个数字的五倍。
放得更开，也盯得更紧防守方拿到更强的工具，是为了赶在攻击者之前修补漏洞。代价是，参加计划的机构必须同意 Anthropic 保留数据用于监测滥用；即便在红队档，部署勒索软件这类行为仍会被实时拦截。能力给谁、给到什么程度，由 Anthropic 和美国政府的审核决定。
▮ SIGNAL最强的漏洞挖掘模型没有公开发售，而是按身份分档发放，网络安全领域的 AI 正在形成一套类似军品出口的许可制度。
❯ Google 发布图像模型 Nano Banana 2.1，生成价格比上一代低约一半
更好，也更便宜Google 10 月 6 日发布图像生成与编辑模型 Nano Banana 2.1。Google 的 Logan Kilpatrick 在 X 上表示，新模型图像质量更高，修复了前代的许多问题，并且有了更低的价格。它已在 API、AI Studio 和 Gemini 应用中上线。
价格减半据 The Decoder 报道，Nano Banana 2.1 基于 Gemini 3.6 Flash，取代今年 2 月发布的 Nano Banana 2。生成一张 1K 分辨率的图片收费 3.36 美分，上一代是 6.70 美分；4K 图片从 15.10 美分降到 7.56 美分。旧模型将于 10 月 29 日停用。
改进在哪Google 称新模型“全面”优于前代：画面质量和文字渲染更好，多轮对话中人物更一致，生成宽幅全景和信息图的能力更强，最多可参考 14 张图片，并能联网搜索。The Decoder 也指出，虽然它在一些基准上超过了更高档的 Nano Banana Pro，但实际使用中 Pro 生成的图往往仍然明显更好。
谁最在意这个价格大量调用图像接口的广告、电商和设计工具公司，成本直接减半。这款模型同时接入了 Google 搜索的 AI 模式、Google Ads 等产品，Google 是在用降价把图像生成变成自家各条产品线的默认功能。
▮ SIGNAL图像生成正在从“能不能画好”转向“一张图几分钱”，价格每降一次，就有一批原本用不起的场景变得划算。
❯ Meta、Sierra 联合沃尔玛、Stripe 等推出“个人代理协议”，为 AI 代理访问商家定规则
一份开放标准Meta 和 AI 公司 Sierra 10 月 6 日宣布推出“个人代理协议”（Personal Agent Protocol），参与制定的还有 Genesys、Instinct、Rocket、Shopify、Stripe 和沃尔玛。据 Sierra 的公告，这是一项任何人都可以实现的开放标准，目的是让替消费者办事的个人 AI 代理能安全地与商家系统打交道。
要解决的麻烦个人代理是替用户订票、购物、处理售后的 AI 助手。TechCrunch 报道称，这类代理现在常被商家的主动屏蔽和反爬虫防护拦在门外，夹在中间的是消费者。商家这边的顾虑是，它们没有可靠的办法分辨访问者是人还是代理，也看不到代理在自己的系统里做了什么。
权限由用户和商家分头掌握协议建立在通用的 OAuth 授权标准之上。代理可以先以访客身份访问，也可以在用户登录后操作；用户决定给代理只读还是可写的权限，商家决定代理能使用哪些功能。代理可以通过网站、接口或商家自己的 AI 代理接入。0.1 版规范计划在 10 月晚些时候发布，支付等扩展功能在后续计划中。
谁在场，谁不在场Meta 自己有个人助理 Muse，Instinct 也做个人代理，它们需要商家放行；沃尔玛、Shopify 和 Stripe 代表愿意开放的商家和支付方。标准能走多远，取决于更多大型零售和平台公司是否加入。对商家来说，接入意味着多一个销售渠道，也意味着把一部分与顾客的直接接触让给代理。
▮ SIGNAL代理替人购物的第一道障碍不是技术而是许可，谁能把商家拉进同一套协议，谁的助理就能办成更多的事。
❯ DeepSeek 接近完成至少 800 亿元融资，腾讯和宁德时代出资最多
超出原定目标据彭博援引知情人士报道、The Next Web 转述，DeepSeek 接近完成一轮至少 800 亿元人民币（约 120 亿美元）的融资，腾讯和电池制造商宁德时代是出资最多的两家。它原本的目标是约 500 亿元；按已签署的条款书计算，最终金额可能接近 1000 亿元。
从量化基金里走出来的实验室DeepSeek 开发大语言模型，起源于创始人梁文锋的量化对冲基金幻方。它 2025 年初发布的开源模型 R1 让它受到全球关注，今年又推出了 V4 系列。报道称，投资者的兴趣超出预期，与它最新模型发布后的反响有关。
今年的第二笔大钱今年早些时候，DeepSeek 已融资约 500 亿元，估值在 520 亿至 590 亿美元之间，其中梁文锋本人出资约 200 亿元，腾讯约 100 亿元，宁德时代约 50 亿元，京东、网易和国家人工智能产业投资基金也有参与。彭博称，本轮是为计划在 2027 年初进行的上市做准备；DeepSeek 已聘请中信证券筹备可能的科创板上市，时间、估值和规模尚未确定。
腾讯为什么加码The Next Web 的分析是，腾讯与 DeepSeek 绑得更紧，有助于它在国内竞争中不掉队。腾讯自己也做模型，却在 DeepSeek 的两轮融资里都是主要出资方，说明它更看重能持续用上最强的国产模型，而不是一定要自己做出来。
▮ SIGNAL中国头部实验室一年内两次融到数百亿元，出钱的主力是产业公司而不是财务投资人，它们买的是模型供给，不只是股权回报。
❯ 月之暗面完成上市前最后一轮融资，估值约 500 亿美元，拟明年一季度赴港上市
估值到了 500 亿美元据彭博援引知情人士报道、雅虎财经转载，月之暗面（Moonshot AI）已完成上市前最后一轮私募融资，估值约 500 亿美元，今年夏天时为 315 亿美元。公司已秘密递交上市申请，目标是 2027 年一季度在香港上市，可能募资最高 50 亿美元。
Kimi 背后的公司月之暗面 2023 年初成立，创始人杨植麟曾就读于清华大学，并在 Meta 和 Google 工作过。它的主要产品是聊天机器人 Kimi，最新的 K3 模型今年 7 月发布。投资方包括阿里巴巴、腾讯和五源资本。
收入增长很快报道称，月之暗面今年 6 月披露的年度经常性收入为 3 亿美元，目前约为 10 亿美元，预计年底达到 20 亿美元。年度经常性收入是按当前订阅和合同推算的一年收入，不是已实现的全年数字。承销团由美国银行担任整体协调人，中金公司、德意志银行和高盛担任保荐人，与投资者的初步沟通最早本月开始。
上市路上的变数报道同时提到风险：监管部门正在对月之暗面和 DeepSeek 进行数据安全方面的调查，外界还有关于其使用受限英伟达芯片的指控，上市时间可能因此变动。它和 DeepSeek、可灵都把上市定在 2027 年，届时中国 AI 公司将集中接受公开市场的定价。
▮ SIGNAL半年内收入从 3 亿美元涨到 10 亿美元，估值从 315 亿涨到 500 亿美元，中国模型公司开始用收入而不是用户数向资本市场讲故事。
❯ 快手旗下可灵选定中金、高盛和瑞银筹备港股上市，拟募资至少 10 亿美元
承销行已经选好据彭博援引知情人士报道、AI Weekly 转述，快手旗下的 AI 视频业务可灵（Kling）已选定中金公司、高盛和瑞银，筹备在香港上市，计划募资至少 10 亿美元，最早明年挂牌。讨论仍在进行，规模和时间可能变化。
做 AI 视频生成可灵是快手拥有的 AI 视频生成业务，用户输入文字或图片，由模型生成视频。它的竞争对手包括字节跳动的 Seedance、生数科技和 PixVerse。报道称，OpenAI 的 Sora 退出这个市场之后，可灵进入了商业化阶段。
7 月刚融了 28 亿美元可灵今年 7 月完成 28 亿美元融资，投前估值约 150 亿美元，投资方包括阿里巴巴、腾讯和百度。这笔钱到账不到三个月，上市筹备就已启动。
收入还是空白AI Weekly 指出，可灵至今没有公开披露过收入，港交所的招股文件将是它第一次交出这项数字，150 亿美元的估值能否在公开市场站住还未可知。谁在为 AI 视频付费、付多少，是投资者最想看到的答案。
▮ SIGNALAI 视频公司至今都在用估值说话，可灵上市会第一次让外界看到这门生意的真实账目。
❯ SpaceX 拟举债 400 亿美元购买英伟达芯片，由 Apollo 牵头
400 亿美元买芯片据《金融时报》援引知情人士报道、InvestingLive 转述，SpaceX 正寻求筹集 400 亿美元债务资金，用于购买英伟达的 AI 芯片。其中约 100 亿美元是银行贷款，约 300 亿美元是投资级债券，由 Apollo Global Management 牵头，债券基金 Pimco 是洽谈参与的少数几家出资方之一。交易预计 2027 年完成。
火箭公司的 AI 生意SpaceX 在今年 6 月上市前吸收了马斯克的 xAI，通过名为 Colossus 的数据中心运行 Grok 模型，全部使用英伟达硬件。它还把算力出租给其他 AI 开发者，客户包括 Anthropic 和 Google。报道称，Colossus 2 的英伟达芯片数量到 12 月可能增加一倍以上。
AI 成了发债大户摩根士丹利估计，到 2028 年 AI 基础设施需要 1.5 万亿美元的外部融资。本周债券市场上，AI 相关的大额发行接连出现，博通的银行团在为 600 亿美元芯片融资找投资者，Waymo 也扩大了举债规模。消息传出后，SpaceX 盘后股价下跌约 1%，英伟达上涨约 0.5%。
英伟达的客户在借钱下单这笔钱最终会变成英伟达的收入，但偿还它的是 SpaceX 出租算力和运营模型的现金流。Apollo 把债券分销出去之后，承担风险的是买入这些债券的投资者。如果算力租金下跌或客户减少，压力会沿着这条链传回去。
▮ SIGNAL英伟达的订单越来越多由客户举债支付，芯片需求的强弱，已经和信用市场愿意放多少贷绑在了一起。
❯ Waymo 把首笔债务融资从 30 多亿美元扩大到 50 亿美元，用于扩充车队和支付算力
首次举债就加码据彭博援引知情人士报道、Crypto Briefing 转述，Alphabet 旗下的自动驾驶公司 Waymo 把它的第一笔债务融资从 30 多亿美元扩大到 50 亿美元。这是一笔没有评级的私募贷款，由高盛安排，出资方包括 Pimco、黑石和 Sixth Street Partners，利率为基准利率加 5.25 个百分点。
每周 50 万单付费行程Waymo 运营无人驾驶出租车，目前在美国十几个城市每周提供超过 50 万次付费行程。它的目标是到 2026 年底在全球 20 个城市达到每周 100 万次，并计划进入伦敦、东京和慕尼黑。
钱花在车和算力上报道称，资金将用于扩充车队，以及支付不断上升的 AI 和算力成本。今年 2 月，Waymo 刚完成 160 亿美元股权融资，投后估值 1260 亿美元。此前它一直靠出让股权筹钱。
为什么改成借钱借债不会稀释包括 Alphabet 在内的现有股东。Waymo 已经有稳定的行程收入，贷款方因此愿意在没有评级的情况下放款，但 5.25 个百分点的利差说明这笔钱并不便宜。车队每扩一倍，车辆和算力都要先投入，收入则要等车上路之后才有。
▮ SIGNAL自动驾驶走到了能用未来车费做抵押借钱的阶段，这比任何一次技术演示都更能说明它已经是一门生意。
❯ 数据中心运营商 DayOne 递交赴美上市申请，上半年收入增至三倍多，近七成来自一家客户
正式递表总部在新加坡的数据中心开发和运营商 DayOne 10 月 6 日向美国证监会递交上市申请，拟在纳斯达克发行美国存托股，代码 DODC。据 Mingtiandi 报道，文件显示它今年上半年收入 5.12 亿美元，去年同期为 1.515 亿美元；净亏损从 1260 万美元扩大到 7720 万美元。发行股数和价格区间尚未确定，此前有报道称它拟募资最高 50 亿美元，估值 200 亿美元。
从万国数据分拆出来DayOne 2022 年作为万国数据（GDS）的国际业务成立，2025 年 1 月改用现名，万国数据仍持股 19.4%。它在马来西亚、新加坡、印尼、泰国、日本以及芬兰等地建设和运营数据中心，把机房和电力租给科技公司。今年 6 月，它完成 45 亿美元 C 轮融资，由 Coatue 和高瓴领投。
在建规模比已投产的还大公司已投入运营的容量为 962 兆瓦，在建 1328 兆瓦，其中 99.3% 已被客户预订；完成这些项目还需投入 114 亿美元，预计 2028 年底前建成。截至 6 月底，它的未偿债务为 44 亿美元。承销商包括摩根士丹利、摩根大通、美银证券和花旗。
一家客户撑起近七成收入招股文件披露的最大风险是客户集中：上半年 69.2% 的收入来自一家未具名的科技和短视频公司，前两大客户合计占 84.3%；马来西亚贡献了 87% 的收入。投资者买入的实际上是这一两家客户在东南亚的算力扩张，一旦它们调整计划，DayOne 的增长和偿债能力都会受影响。
▮ SIGNAL数据中心公司的招股书里，最值得看的往往不是收入增速，而是那一行“最大客户占比”。
❯ Anthropic 招股书披露：CEO Dario Amodei 去年薪酬 1800 万美元，多数为股票和期权
1800 万美元据路透社报道、The Next Web 转述，Anthropic 的 IPO 招股书显示，CEO Dario Amodei 2025 年总薪酬为 1800 万美元，其中大部分是股票和期权。他的妹妹、公司总裁 Daniela Amodei 去年总薪酬为 1640 万美元。两人的基本工资在 7 月翻倍，达到 140 万美元。
在科技公司里算中等这个数字高于 Alphabet 的 Sundar Pichai（1090 万美元）和亚马逊的 Andy Jassy（210 万美元），远低于甲骨文联席 CEO Clayton Magouyrk 的 6.275 亿美元。高管薪酬数据公司 Equilar 的 Courtney Yu 评论说，创始人“靠已经持有的股权财富就够了”。董事会还承诺向 Dario Amodei 授予更多限制性股票，其中一部分以任职年限和公司上市为条件。
八成股份承诺捐出招股书提到，Amodei 和另外六位联合创始人承诺把个人持有的 Anthropic 股份的 80% 捐给慈善事业。另据 The Information，Anthropic 2025 年报告的慈善捐赠为 5.4 亿美元，在一项与《财富》500 强的对比中，排在其后的贝莱德是 1.09 亿美元。
投资者看的是哪一项对一家目标估值超过 2 万亿美元的公司，高管现金薪酬不是重点。投资者更在意股权激励和慈善配股带来的稀释，以及创始人减持或捐赠股份的节奏。招股书是 6 月秘密递交的，上市预计在今年秋季。
▮ SIGNAL创始人的薪酬数字很克制，真正的财富转移写在股权和捐赠安排里，上市之后这些条款会比工资单受到更多追问。
❯ 开发者借助 Claude Opus 5.5 做出七款对标 Adobe 的开源软件，自称距专业可用还很远
七个仓库，两天上线一个名为 ArtCraft 的项目在 9 月 30 日到 10 月 1 日之间，在 GitHub 账号 storytold 下发布了七个开源软件仓库，每个对标一款 Adobe 应用。据 GIGAZINE 介绍，它们分别是对标 Photoshop 的 PhotoCraft、对标 Illustrator 的 VectorCraft、对标 Premiere 的 FilmCraft，以及对应 Lightroom、Acrobat、After Effects 和 InDesign 的四款，全部用 Rust 从头编写，在本地处理文件，不需要订阅。
开发者归功于 Opus 5.5据 OrcaRouter 的分析，项目方把开发速度归功于 Claude Opus 5.5，称用 8 个并行代理在几个小时内完成了约 70 个菜单项和若干主要子系统。到 10 月 7 日上午，PhotoCraft 在 GitHub 上获得 6691 个星标。
宣传与实际项目称 Photoshop 的 625 个菜单项已全部接上命令，但 OrcaRouter 指出，命令存在不等于输出与 Photoshop 一致：在 170 个测试文件中，像素完全匹配的是 115 个；适合收费工作的程度估计只有 25% 到 35%。七款里只有 PhotoCraft 和 PrintCraft 处于早期测试阶段，其余五款仍在开发。项目自己也写明，它“还不能替代日常专业工作中的 Photoshop”。
对 Adobe 意味着什么七款 Adobe 单品订阅合计每月约 147 美元。一个项目能在几天里做出外形相似的替代品，说明“把功能做出来”的成本在快速下降；但专业用户依赖的文件兼容、插件生态和稳定性，仍需要长期打磨。短期内受影响的更可能是只用到基础功能的轻度用户。
▮ SIGNALAI 让复刻一款软件的界面和菜单变得很便宜，却还没有让“达到专业可用”变便宜，这两者之间的差距正是老牌软件公司眼下的护城河。