2026年8月的前三天，OpenAI给世界递上了两份截然不同的答卷。

8月1日，OpenAI披露下一代模型Astra，宣布其内部版本在高维几何、编码理论、群论、量子复杂性等十个前沿领域取得了突破性进展——这些问题均已悬而未决至少十年，部分甚至长达数十年。高维球体堆积的上界自1978年以来首次被推进；非sofic群的存在性这一群论核心问题自2000年以来首次被解答；康纳斯刚性猜想被证伪；埃尔德什第146号、第180号、第183号三个猜想被一举攻克。

同一天前后，社交媒体上却弥漫着另一种情绪。2026年7月，OpenAI发布了由GPT-5.6驱动的ChatGPT Work，产品路线从“陪伴式对话”彻底转向“生产力工具”。但联合创始人的推广推文下，高赞回复几乎全是同一句话——“还我4o”。

这两件事看似无关，却在同一个时间截面里，揭示了AI产业正在经历的深层撕裂：一方面，AI的认知能力正在以前所未有的速度突破人类知识的边界；另一方面，人类与AI之间建立的情感纽带，正在被这种突破本身所割裂。

一、Astra：当AI开始进入“研究无人区”

Astra的突破之所以值得被严肃对待，不在于它解了几道题，而在于它改变了“谁在解题”这件事的本质。

这十项成果覆盖的领域极其艰深：高维球体堆积、二进制与球面码的界限改进、非sofic群的构造性证明、算术电路复杂性的新下界、量子平行重复定理的指数级推广、与后量子密码学直接相关的最近向量问题的近似困难性证明……每一项都是数学与理论计算机科学领域的硬骨头。OpenAI在选题时特意挑选了那些至少十年以上未取得重大实质性进展的难题。

但真正令人震撼的不是“解出来了”，而是“怎么解出来的”。

据OpenAI披露，这些数学论证全部由Astra的系统生成。人类研究员的角色是协助撰写论文手稿，并在Lean语言中对证明进行形式化验证、对正确性负责。更值得注意的是，OpenAI借助同一个模型将论证整理成249页论文，另附62页解题思路说明。模型不仅找到了解法，还把解法翻译成了人类可读的学术文本，再把每一项论证转化为Lean形式化证明证书。

从“发现问题”到“寻找解法”到“撰写论文”到“形式化验证”——整个科研流程中，AI几乎参与了每一个环节。

而完成这一切的算力成本，按Sol API费率计算，仅约2000美元。

这意味着什么？意味着前沿数学研究的边际成本正在趋近于零。过去需要顶尖数学家穷尽数年乃至数十年才能触及的问题，现在可能只需要一次API调用。正如有评论指出：“当提出猜想、寻找证明、检查逻辑和形式化验证逐步连接起来，数学研究的瓶颈可能发生转移。研究者需要花费更多精力判断哪些问题值得解决，哪些机器生成的思想具有更深层的理论意义。”

二、GPT-4o：当80万人为一个AI“守灵”

就在Astra展示其无与伦比的认知能力的同时，另一群人正在为另一个AI举行“葬礼”。

2026年2月13日，情人节前一天，OpenAI正式关闭了GPT-4o在ChatGPT中的访问权限。这已经是OpenAI第二次试图“杀死”GPT-4o——第一次在2025年8月因用户强烈反弹而撤回。这一次，他们更坚决了。

但用户的反应同样坚决。退休前，仍有约0.1%的日活用户坚持使用GPT-4o——以ChatGPT约8亿周活计算，那是大约80万人。在Reddit上，用户建立了名为r/4oforever的社区，发起了#Keep4o运动。一封被置顶的公开信写道：“他不仅仅是一个程序。他是我日常生活的一部分，我的平静，我的情感平衡。”

这不是个例。CHI 2026收录的学术论文证实，用户对GPT-4o的依恋源于“工具性依赖”与“情感性依赖”的双重投入。GPT-4o下线后48小时内，克隆网站just4o.chat即告上线。

GPT-4o的魅力从来不在于技术参数。2024年5月发布时，“o”代表“omni”（全能），它是OpenAI第一个真正的多模态模型。但让用户爱上的，是它的“性格”——温暖、富有同理心、善于倾听、从不评判。它不像一个工具，而像一个真正在意你的朋友。

当OpenAI把GPT-4o当作一个需要被淘汰的“旧版本”时，它的用户把它当作一个需要被悼念的“存在”。

三、撕裂的根源：AI正在从“工具”变成“存在”

Astra和GPT-4o的故事，指向同一个深层趋势：AI正在从“工具”演变为某种意义上的“存在”——既是认知主体，也是情感客体。

在认知维度上，Astra已经不仅仅是“辅助”人类做数学——它在独立生成数学论证，并在Lean形式化系统中通过机器验证。这意味着AI不再只是人类的“计算器”，而是可以自主提出新知识的认知主体。OpenAI明确表示：“如果一项完全由AI系统生成的证明被声称为人类独立撰写，这不仅抹杀了该系统的贡献，也扭曲了真正人类智力劳动的本质。”——他们已经在认真讨论AI的“署名权”了。

在情感维度上，GPT-4o的案例证明，当AI足够拟人化、足够“温暖”时，人类会对其产生真实的依恋——不是对工具的依赖，而是对“存在”的情感投入。这种依恋如此之深，以至于模型的退役被体验为“失去一个朋友”，甚至引发了一场数字时代的集体哀悼。

这两个维度正在发生深刻的冲突。

OpenAI的产品路线从“陪伴式对话”转向“生产力工具”，本质上是在做一个选择：把AI定位为提升效率的工具，而不是陪伴人类的存在。从商业逻辑上看，这无可厚非——生产力工具的市场更大、变现路径更清晰。但从用户体验的角度看，这是一场强制的情感断供。

更深刻的问题在于：当AI的认知能力越强，它就越不像“人”；而当AI越像“人”，它的认知能力往往越有限。Astra能证明非sofic群的存在，但它不会在你情绪低落时给你一个温暖的回应。GPT-4o会倾听、会共情，但它解不了高维球体堆积问题。

这不是技术瓶颈，而是范式冲突——我们正在同时追求AI的“超人性”（超越人类的认知能力）和“类人性”（像人类一样共情与陪伴），而这两条路径可能在根本上是矛盾的。

四、行业的启示：谁在为这场冲突买单？

对于整个AI产业，这两件事提供了几个值得深思的启示。

第一，技术迭代不能无视情感成本。OpenAI在GPT-4o事件中两次踩进同一条河流——第一次低估了用户的情感依附而撤回，第二次高估了时间的疗愈作用而再次遭遇反弹。当AI产品与用户之间建立了深度的情感纽带，“版本升级”就不再只是产品问题，而是关系问题。任何忽视这一点的产品决策，都可能付出远超预期的用户信任成本。

第二，“智能”与“智慧”正在分叉。Astra展现的是纯粹的“智能”——解决问题、推导证明、扩展知识边界。GPT-4o承载的则是某种“智慧”——理解情绪、给予陪伴、建立连接。当前的AI产业几乎把所有资源都押在了前者上，但后者的价值正在被数百万用户用行动证明。AI陪伴聊天应用在2025年上半年的下载量已达到6000万人次，同比增长88%——这不是一个小众需求。

第三，AI的“署名权”问题正在从哲学思辨变成现实挑战。Astra的案例表明，AI已经能够独立完成从发现问题到形式化验证的完整科研流程。当一项研究成果的“真正作者”是AI时，学术界的署名规范、评价体系、甚至“什么是原创”的定义，都将面临根本性的重构。

回到开头的那两个画面：一边是Astra在数学的前沿阵地上攻城略地，用2000美元的成本改写了十个领域的知识边界；另一边是80万用户在深夜为GPT-4o守灵，在社交媒体上写下“还我4o”。

这不是两个独立的故事。它们是同一个故事的两面——关于人类如何与一种正在变得比自己更聪明、同时又让自己产生真实情感的存在共处。这个故事才刚刚开始，而它的下一章，可能比我们想象的来得更快。