OpenAI或最早秋季推出“草莓”推理AI模型，能解决从未见过的数学问题

先说几个关键点。OpenAI最近有个大动作——代号“草莓”的新AI模型，最早今年秋天就要亮相了。这可不是什么小修小补的升级，而是一次实实在在的技术跃迁。“草莓”最厉害的地方在于，它能搞定以前从没见过的数学题，这可是当前那些聊天机器人想都不敢想的事。更关键的是，它还能为OpenAI下一代的旗舰模型“猎户座”铺路，提供高质量的“合成数据”来做训练。当然，考虑到成本，OpenAI也在琢磨着把“草莓”的精简版先推出来，以聊天机器人的形式试探市场。

划重点

① OpenAI计划最早于今年秋天推出代号为“草莓”的新AI模型，并已经向美国国家安全官员做了演示。② “草莓”可以解决以前从未见过的数学问题，并帮助改进OpenAI即将推出的“猎户座”大语言模型。③ OpenAI正考虑将“草莓”的精简版本以聊天机器人的形态推向市场，以帮助降低成本。

根据外媒报道，在OpenAI四处找钱、估值一路飙升到860亿美元的当口，它的研究团队也没闲着。“草莓”（内部代号Q*）这款新产品，目标很明确：要超越现有AI的天花板，去解那些真正烧脑的复杂问题。内部消息说，这款模型最早今年秋天就可能上线，大概率会集成在ChatGPT里。它能解数学题，能应对编程挑战，但这还不是全部——如果给它多点时间“琢磨”，它甚至能处理像产品营销策略这种偏主观的问题。有研究人员还专门演示过它解复杂字谜游戏，展示它在语言任务上的潜力。

推出“草莓”这事，本质上是在为下一个阶段的竞争做准备。现在各路玩家都在砸钱争生成式AI的头把交椅，“草莓”不仅要跑通多步骤推理这样的智能体任务，还要为OpenAI开辟新的收入来源。话说回来，OpenAI现在的业绩也确实猛，月收入已经飙到2.83亿美元，比去年翻了四倍，主要靠的就是大语言模型和ChatGPT的订阅。虽然亏损额可能更高，但资本市场显然更看好它的未来。

不过，OpenAI真正的未来，还得看“猎户座”。作为GPT-4的升级版，“猎户座”承载着巩固OpenAI领先地位的重任。毕竟现在竞争对手们推出的模型，性能已经在逼近GPT-4的水平了。至于今年能不能看到一个增强版ChatGPT上线的“草莓”简化版，现在还说不好。这个简化版是通过“蒸馏”技术压缩出来的，能在保持性能的同时，大幅降低运营成本。更关键的是，有知情人士指出，OpenAI正在用“草莓”的大模型生成“合成数据”，来训练“猎户座”。这一招如果走通，就等于跳出了传统模型依赖互联网海量真实数据的框框，靠AI自己生成的高质量数据来加速进化。

减少“幻觉”

智能体初创公司Minion AI的CEO、GitHub Copilot前首席架构师亚历克斯·格拉维利认为，用“草莓”生成的高质量训练数据，能显著降低模型的“幻觉”问题。他甚至描绘了一个理想场景：一个没有幻觉的模型，面对逻辑难题第一次就能给准答案。为什么能实现？核心在于“训练数据中的模糊性减少了，模型也就不需要反复自我猜测了。”

有意思的是，OpenAI的CEO山姆·奥特曼本月初还在社交平台上发了张“草莓”的图片，啥也没说，但已经吊足了市场的胃口。更意味深长的是，今年夏天OpenAI已经向美国国家安全官员演示过“草莓”项目。奥特曼在5月的一次活动中也透露：“我们已经积累了足够的数据来支持‘猎户座’这样的下一代模型，期间尝试了生成合成数据等多种实验。”他的言下之意很明确：要赶紧找钱，同时想办法压缩亏损。毕竟自2019年以来，OpenAI已经从微软那里融了130亿美元，而双方的合作条款——尤其是云服务器租用的成本——可能还在调整中，这可是OpenAI最大的支出项。

有利可图的用例

在航空航天、结构工程这类数学密集型领域，现有AI的局限性是显而易见的。所以，能搞定复杂数学问题的AI，市场潜力不言而喻。但这对于研究人员来说，绝对是个硬骨头——现有的生成式AI，像ChatGPT，经常给出一些让人哭笑不得的错误答案，而数学恰恰是不允许一丝失误的领域。

数学推理能力的提升，不仅仅是让AI会解难题，还能让它处理客户服务请求这类对话查询时，更精准、更高效。眼下，谷歌和多家创业公司也在推理技术上疯狂投入。谷歌DeepMind最近就宣布，他们的AI在国际数学奥林匹克竞赛中已经超过了大多数人类选手。而OpenAI的另一个竞争对手Anthropic，也宣称其最新大语言模型在推理能力上实现了飞跃，能写更复杂的代码、能解答图表题。还有更极端的做法，有些创业公司选择把复杂问题拆成小步骤来解决，虽然这种方法又慢又贵。

不管“草莓”最终会不会作为一个独立产品发布，市场对“猎户座”的期待已经拉满。所有人都等着看OpenAI能不能借它稳住领先地位，并持续实现可观的收入增长。有意思的是，谷歌最近抢先OpenAI推出了一款更灵活的AI语音助手，能应对用户的中断和话题转换。而在Lmsys Chatbot Arena这类模型评测榜单上，谷歌、xAI、Anthropic、Meta也追得很紧。虽然OpenAI目前仍然是商业买家和应用开发者的首选，但压力已经实实在在摆在了台面上。

伊利亚看到了什么？

“草莓”这个项目，其实可以追溯到OpenAI的首席科学家伊利亚·苏茨凯弗。几年前就是他发起的这项研究。不过，伊利亚最近已经离开OpenAI，另起炉灶，成立了一家竞品实验室。在他走之前，OpenAI的研究员雅库布·帕乔基和西蒙·西多尔，在伊利亚工作的基础上，开发出了新型数学解决模型Q*。这个进展，让一些关注AI安全的研究者感到惊讶。

回看时间线，在Q*模型问世之前，OpenAI团队已经在探索“测试时计算”这个概念了。它的核心思路是：让模型有更多时间去“想”，去深入拆解指令或问题的各个部分。而正是这一系列的突破，引发了后来OpenAI内部的一系列安全争议。最有戏剧性的是，在Q*模型问世前夕，正是由伊利亚领导的董事会，曾短暂解雇了奥特曼——当然，后来又迅速让他官复原职。当时，伊利亚还专门为此写了一篇博客文章，阐述相关研究。这些内幕，至今仍是AI圈津津乐道的话题。