OpenAI 把 722 份数学手稿放上 GitHub、OPPO 一边给旗舰涨价一边找 12 亿美元贷款、十几年前的网游怎么撑起万人在线：知乎热榜三题

北京时间 10 月 7 日中午的知乎热榜，前三条都落在社会新闻上：C 罗就离队风波致歉并自请重罚（1195 万热度）、缅北电诈案行刑前采访（900 万热度）、急诊医生上班期间上厕所被投诉（306 万热度）。科技与商业范围内、覆盖窗口里确实有新事情发生的条目排在后面，本期从官方热榜与公开镜像里筛出三条。

第一条是 OpenAI 一次放出 722 份数学手稿（官方第 16 名，102 万热度，612 个回答）。第二条是 OPPO 寻求 12 亿美元银团贷款（TopHub 公开镜像第 41 名，57 万热度）。第三条问的是十几年前的网游怎么撑起万人在线（官方第 6 名，147 万热度，27 个回答）。

覆盖窗口是北京时间 10 月 6 日 00:00 至 10 月 7 日 12:00，共 36 小时。上一期出刊于 10 月 6 日 00:08，10 月 6 日 12:00 一档没有产出。榜位与热度以知乎官方热榜接口为准，本次读取于 10 月 7 日 12:01，返回 30 条；30 名之后的条目来自 TopHub 公开镜像，同一分钟读取，返回 50 条，凡引用镜像榜位会在正文里注明。三条话题下的知乎回答，取自平台返回的默认排序结果，按其中的赞同数取前三。

北京时间 10 月 7 日凌晨，OpenAI 发布《Sharing AI progress in mathematics》，同时上线 GitHub 仓库 openai/math 1。仓库首页写着，这批材料包含 722 份手稿，归入 372 个「结果族」，每个族围绕一个主结果，另有配套论证、推论或替代证明；目录分成 preprints/、lean/、reasoning_traces/ 三块，外加总目录 CONTENTS.md 和一份 overview.pdf，采用 Apache-2.0 许可 2。

产出这批结果的，是一款尚未对外发布的内部前沿模型 2。中文媒体在 10 月 7 日跟进时补了一段背景：外界数周来一直在等这批成果，此前 OpenAI 只说过自家模型解决了 100 多个长期悬而未决的公开难题、覆盖数学的绝大多数分支，没有说明究竟是哪些题，也没有给出确切的发布时间 4。

README 里有几句话需要单独拎出来。这批结果处在不同的验证阶段，Lean 形式化只覆盖其中一部分，公司会随着形式化完成继续更新仓库；对于尚未形式化的结果，README 写明这类结果可能存在错误，会尽快修正，同时正在寻找由学术社群托管的发布渠道 2。

知乎这条问题的标题里写着「包含『准黎曼猜想』的数百个数学问题」。在仓库目录里，它对应第 003 项：证明所有 Dirichlet L 函数（含黎曼 ζ 函数）在 Re s > 7/8 这个半平面内没有零点，并把同一结论推广到 Q(√-3) 上的有限阶 Hecke L 函数；同族另有一篇给出 Re s > 11/12 的另一个证明，并据此排除 Landau–Siegel 零点 5。黎曼猜想本身要求所有非平凡零点都落在 Re s = 1/2 这条临界线上，7/8 与 1/2 之间还隔着一段；这批结果把无零点区域往临界线方向推了一步，与猜想本身仍有一段距离。README 另外注明，Re(s) > 11/12 那一篇的写作经过人工编辑 2。目录里还有几项容易被转发时省略掉的结果：第 001 项证明阿贝尔簇上的 Milne 理性猜想，第 002 项在低 Selmer 余秩条件下给出完整的 BSD 公式，第 074 项处理三维与四维的 Kakeya 问题 5。

发布这批结果之前，一个独立的数学咨询小组已经把发布规范写给各家实验室。AGMAI 全称 Advisory Group on Mathematics and Artificial Intelligence，挂靠在普林斯顿高等研究院，首批成员包括 Timothy Gowers、Martin Hairer、Edward Witten、Ravi Vakil、Melanie Matchett Wood 等九人；OpenAI 在 9 月 21 日公布这一安排，说明小组独立运作、成员不从 OpenAI 领取报酬、建议可以自行公开 6。

小组在 9 月 29 日发布的《Responsible Release of AI-Generated Mathematics》里列了几条具体要求：发布时要公开模型的名称、使用的提示词、思维链摘要、耗时与算力成本估算；结果应尽量形式化，并提交到不由 AI 公司控制的学术仓库；如果一次性放出很多结果，还要另行说明这批问题是怎么选的、有多少同类问题没能做出来；小组同时写明，不认同在封闭模型上测试高深数学问题的做法，请实验室停止，并提醒不要把发布结果当成推广模型的营销手段 7。OpenAI 在发布页回应，这批结果参考了小组的建议与公开建议清单，后续版本会在引用、数学表述与呈现方式上继续改进 1。

海外社区的反应量级不小。Hacker News 上这条进了首页，569 分、505 条评论 8；Reddit 的 r/singularity 帖拿到 663 分、226 条评论，好评率 97.4%，该板块订阅数约 400 万 9。OpenAI 官方 X 账号的发布帖有 323.99 万次浏览、1.6 万个赞、2645 次转发和 1593 次引用 10。前 OpenAI 员工 will depue 把过去三年的数学发现标成人工与 AI 两类做对比，称其中 81% 出自今天这批，帖子有 24.2 万次浏览 11；另一位作者的帖子挑出「整数乘法复杂度低于 n log n」这一条，浏览 20.6 万次 12。

知乎该问题下赞同数最高的三条回答，情绪基本一致。Yuhang Liu（570 赞、112 条评论、38.64 万关注者）把它称作数学的新纪元，并提到准黎曼猜想这类结果与 Baum–Connes 猜想被给出反例。陈世腾（298 赞、42 条评论）是理论计算机方向，注意力落在编号 103 的一条：对数空间去随机化 L = RL = BPL。Richard Xu（297 赞、45 条评论、31.03 万关注者）用一段由模型生成的概述整理全貌，列出 722 篇手稿、372 个族、按 17 个学科分类、论文日期集中在 9 月 22 日至 10 月 5 日等细节；他这段概述里「235 个族附 Lean 链接」的说法，与本轮从仓库清单数到的 162 篇有出入，按答主叙述处理 13。

9 月 30 日，财联社报道 OPPO 正寻求约 12 亿美元等值银团贷款，按当时汇率约合人民币 80.5 亿元，期限、利率、参与银行与具体用途都还没有披露 14。观察者网随后把能对上历史的背景补齐：2022 年 OPPO 完成首笔境外银团贷款，原计划融资 10 亿美元，在 10 家银行参与并超额认购后扩大到 12 亿美元，分三年期与五年期两档，用途是一般企业用途，出处是 IFR Asia 15。两笔贷款的规模因此处在同一档，新的这笔在期限、利率和参与行上还是空白。

这家公司眼下同时在动几件事。今年 1 月，realme 整合进 OPPO 成为子品牌，双方给出的理由是共享资源、降低成本；7 月又调整区域分工，realme 停止在中国推新品、转向海外，一加把重点转回中国并暂停在欧洲和北美推新品，印度维持原有产品路线；制造端，印度 Amber Group 与 Bhagwati Products 在 6 月确认拿到 OPPO、OnePlus、realme 三个品牌的订单，计划 2027 年量产，埃及工厂计划把产线从 17 条加到 20 条、月产能提到约 50 万部，并在 2026 年底前出口产品；巴西的本地生产已经落地，今年又陆续开门店、导入旗舰 15。

经营数据这一侧压力更直接。

同一篇报道记下了价格调整的顺序：今年 3 月，OPPO 先上调 A 系列、K 系列及一加部分机型售价；4 月 Find X9 标准版全系涨价 200 至 500 元；9 月 22 日发布的旗舰 Find X10 标准版涨幅进一步扩大，12GB+256GB 售价 5499 元，较上代同规格上涨 1100 元，16GB+1TB 版本上涨 1700 元 15。其他安卓厂商也在同一条路上：Counterpoint 的数据显示，2026 年二季度全球智能手机平均售价同比上涨 17%，内存短缺与成本上涨对入门及中端机型冲击更明显，厂商普遍在用涨价和调整产品组合来提高高价位产品的占比 15。

知乎该问题下赞同数最高的三条回答给出的解释各不相同。尊尊哲（540 赞、78 条评论）用一句话吐槽应用体积：各家销量都在跌，却没有厂商让那些吃空间的 App 精简一点。Eidosper（415 赞、78 条评论、80.53 万关注者）把矛头对准存储涨价：国产安卓为了和同期 iPhone 打得有来有回，本来就要付出更大的内存与闪存成本，涨价把这条差距放大，他判断内存成本的最高点会出现在明年一季度。从前风花雪月动人（390 赞、4 条评论）只留下一句玩笑，说 OPPO 有两个爸爸 16。赞同数排在第四条的前数码玩家（317 赞、56 条评论）做了另一种拆解：他把融资和缺钱分开看，举了苹果与华为都发过债的例子，并提到腾讯、字节等大厂近一年资本开支激增、也在寻求融资，认为这笔钱更可能指向端侧 AI 与个人智能体方向的长期投入 16。

一笔用途尚未披露的贷款，暂时只能给出几种并列的解释；能确认的是 OPPO 正处在出货下滑、成本上涨与业务整合同时发生的阶段。

这条知乎问题问的是十几年前的网游凭什么能同时在线一万人以上。把口径先摆正，后面的技术才有意义：「万人在线」是全区服的合计数，真正压在同一张地图上、需要频繁交换状态的人要少得多。

网易游戏学院 2015 年公开日上，《梦幻西游》手游主程刘强讲的正是这套做法。他把服务器拆成几块：登录服负责账号验证，游戏服跑地图内的角色与战斗逻辑，Web 服承担 GM 工具和语音转文字等服务，中心服提供全服玩法的活动；这样拆的好处是登录服可以横向加机器，单块服务出问题也不会全挂 17。他给出的单服规模是手游约 1.5 万、端游约 2.2 万，官方口径的峰值同时在线做到过 200 万 17。

真正决定体验的是 AOI，也就是关注区域：服务器据此决定把谁的状态发给谁。刘强在同一个演讲里比较了两种实现：九宫格的插入删除都是常数级、很快，代价是角色在格子间移动时会产生大量无用的同步包；十字链表在移动时省带宽，长距离移动时 CPU 开销却很大。手游因为传送多、走路少、同屏显示受限，选了九宫格；后来又加上分层 AOI，把玩家按组队、好友等关系分到不同层次，人多时拆层、人少时合层，让同一屏里出现的始终是玩家关心的人 17。网易雷火的一篇技术文补上了 AOI 的一般做法：用九宫格或十字链表优化附近单位搜索，对体型远超普通角色的单位再加一层圆柱体包围盒，并按场景里最大的包围盒半径扩大搜索范围，避免身体已经贴近、根节点却在视野之外 18。

知乎答主 chouheiwa（558 赞、41 条评论）从另一头补了消息侧的做法。他翻出腾讯《御龙在天移动版》的技术手册，说那套设计把死亡、普通受击和位移消息分开处理，谁挨了打、谁在旁观，会影响服务器把哪些消息发给谁，整体思路是把工作分给多台机器，并且只计算、传输和展示必要的信息；本轮没有找到这份手册可打开的原文，这一条按答主叙述处理 19。赞同数紧随其后的子远（232 赞、25 条评论）提醒「万人在线」在当年多数是全区合计，一张图里同时几百人，并点出 Aion 与 EVE 这两个把人数真正压进单张地图的特例；momo（31 赞）则复述了最朴素的答案——大区分电信与联通，区下再分服，各服之间互不影响，服务器开得足够多，人数就能堆上去 19。

把规模压到极致的记录来自 EVE Online。2014 年 1 月的 B-R5RB 会战有约 7548 名玩家参战，起因是一次缴费失误导致的领地易主 20；2020 年 10 月的 FWST-8 会战把两项吉尼斯世界纪录一起刷新，参与玩家 8825 人，同一时刻在场 6557 人 21。这两个数字之所以反复被引用，是因为它们衡量的是单张地图的承载，全区合计的在线人数可以高得多。这条话题在 X、Hacker News 与 Reddit 上没有对应的讨论帖，海外社媒这一格为空。

三条各留一个可验证的点。数学这条，162 篇形式化只占 372 个结果族的一部分，未形式化结果是否会在后续版本里被修正或撤回、形式化比例会不会继续提高，是判断这批成果成色的直接指标；AGMAI 与 OpenAI 的下一步沟通也会记在仓库的发布历史上。OPPO 这条，贷款的期限、利率、参与行与资金用途尚未披露，下一份产销或出货数据会说明涨价与收缩是否止住了下滑。网游这条，问题本身没有待验证的承诺，可以作为一条可以随时回看的科普线索；当年这套分区分服加 AOI 的思路，如今在开放世界与云原生架构里还在被继续改写。